Reachability for partially observable discrete time stochastic hybrid systems

DOI10.1016/j.automatica.2014.05.012zbMath1297.93030arXiv1401.5756OpenAlexW2054675873MaRDI QIDQ466266

J. Herrera, D. Rodríguez-Gómez

Publication date: 24 October 2014

Published in: Automatica (Search for Journal in Brave)

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

zbMATH Keywords

optimal controlhybrid systemsreachabilitystochastic control

Mathematics Subject Classification ID

Dynamic programming (90C39) Optimal stochastic control (93E20) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (4)

Observer and control design in partially observable finite Markov chains ⋮ A dynamic game approach to distributionally robust safety specifications for stochastic systems ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Filtering method for linear and non-linear stochastic optimal control of partially observable systems

Uses Software

• ToolboxLS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Planning in partially-observable switching-mode continuous domains
• The flexible, extensible and efficient toolbox of level set methods
• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
• Switching mode generation and optimal estimation with application to skid-steering
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• A stochastic games framework for verification and control of discrete time stochastic hybrid systems
• Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
• Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
• Monte Carlo Value Iteration for Continuous-State POMDPs
• A general recursive discrete-time filter
• Risk-sensitive control and dynamic games for partially observed discrete-time nonlinear systems
• Risk-sensitive optimal control of hidden Markov models: structural results
• Safety Control of Hidden Mode Hybrid Systems

This page was built for publication: Reachability for partially observable discrete time stochastic hybrid systems