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

zbMATH Keywords

dynamic programmingreachabilitycontrol synthesishybrid automatonstochastic hybrid systems

Mathematics Subject Classification ID

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)

Compositional abstraction-based synthesis for networks of stochastic switched systems ⋮ Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems ⋮ Control synthesis for stochastic systems given automata specifications defined by stochastic sets ⋮ Quantitative model-checking of controlled discrete-time Markov processes ⋮ Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations

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