Supervisory target control for hybrid systems

DOI10.1080/0020717031000123328zbMath1047.93004OpenAlexW2051955897MaRDI QIDQ4459051

Anastasios Trontis, Michael P. Spathopoulos

Publication date: 25 March 2004

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/0020717031000123328

zbMATH Keywords

optimizationsynthesishybrid systemshybrid automatagamevalue functiondynamic programingsupervisory target control

Mathematics Subject Classification ID

Dynamic programming in optimal control and differential games (49L20) Control/observation systems involving computers (process control, etc.) (93C83) Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (4)

Reachability and optimal control for linear hybrid automata: a quantifier elimination approach ⋮ Supervisory control of hybrid systems based on model abstraction and guided search ⋮ Suboptimal target control for hybrid automata using model predictive control ⋮ Synthesis of controllers for target problems of hybrid systems using approximate computation

Cites Work

• The algorithmic analysis of hybrid systems
• Dynamic noncooperative game theory
• Controllers for reachability specifications for hybrid systems
• Verification of logic controllers for continuous plants using timed condition/event-system models
• A theory of timed automata
• Ellipsoidal techniques for reachability analysis: Internal approximation
• O-minimal hybrid systems.
• On the regularization of Zeno hybrid automata
• Control design for integrator hybrid systems
• Synthesis of supervisory controllers for hybrid systems based on approximating automata
• Discrete approximation and supervisory control of continuous systems
• A unified framework for hybrid control: model and optimal control theory
• Hybrid control synthesis for eventuality specifications using level set methods
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Supervisory target control for hybrid systems