Control synthesis for stochastic systems given automata specifications defined by stochastic sets
From MaRDI portal
Publication:503162
DOI10.1016/j.automatica.2016.10.013zbMath1352.93045MaRDI QIDQ503162
John Lygeros, Maryam Kamgarpour, Tony A. Wood, Sean Summers
Publication date: 11 January 2017
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2016.10.013
93C41: Control/observation systems with incomplete information
93B50: Synthesis problems
93E03: Stochastic systems in control theory (general)
93B03: Attainable sets, reachability
Cites Work
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
- 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
- Stochastic system controller synthesis for reachability specifications encoded by random sets
- Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
- Formal Verification and Synthesis for Discrete-Time Stochastic Systems
- Receding horizon control for temporal logic specifications
- On the connections between PCTL and dynamic programming
- Quantitative automata model checking of autonomous stochastic hybrid systems
- A stochastic reach-avoid problem with random obstacles
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
- Control design for specifications on stochastic hybrid systems
- Iterative temporal motion planning for hybrid systems in partially unknown environments
- Linear Time Logic Control of Discrete-Time Linear Systems
- The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes
