Limited-information control of hybrid systems via reachable set propagation

DOI10.1145/2461328.2461331zbMath1362.93081OpenAlexW2074882418MaRDI QIDQ2986906

Daniel Liberzon

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.2461331

zbMATH Keywords

hybrid systemsreachable setsquantized control

Mathematics Subject Classification ID

Control/observation systems with incomplete information (93C41) Sampled-data control/observation systems (93C57) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (2)

Finite data-rate feedback stabilization of switched and hybrid linear systems ⋮ Finite abstractions with robustness margins for temporal logic-based control synthesis

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: Limited-information control of hybrid systems via reachable set propagation