Control design for specifications on stochastic hybrid systems
DOI10.1145/2461328.2461374zbMath1364.93263OpenAlexW1976952121MaRDI QIDQ2986935
John Lygeros, Sean Summers, Maryam Kamgarpour
Publication date: 16 May 2017
Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2461328.2461374
Formal languages and automata (68Q45) Discrete-time control/observation systems (93C55) Dynamic programming (90C39) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60) 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 (7)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on two problems in connexion with graphs
- Enhancing model checking in verification by AI techniques
- Receding horizon control for temporal logic specifications
- Model Repair for Probabilistic Systems
- Markov decision processes and regular events
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Controlling a Class of Nonlinear Systems on Rectangles
- Diagnostic Information for Realizability
This page was built for publication: Control design for specifications on stochastic hybrid systems