Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems

DOI10.1109/TAC.2016.2535128zbMath1359.93537arXiv1410.8054OpenAlexW2963922879MaRDI QIDQ2979266

No author found.

Publication date: 3 May 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.8054

Mathematics Subject Classification ID

Dynamic programming (90C39) Optimal stochastic control (93E20) Markov and semi-Markov decision processes (90C40) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Symbolic control for stochastic systems via finite parity games ⋮ Fault-tolerant safe control design of switched and interconnected nonlinear systems ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

This page was built for publication: Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems