Hybrid control synthesis for eventuality specifications using level set methods

DOI10.1080/00207170310001622512MaRDI QIDQ4454760zbMATH OpenOpenAlexFDO

Authors Anastasios Trontis, M. P. Spathopoulos

Publication date 8 March 2004

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

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

zbMATH Keywords

level setsreachabilityeventuality specificationhybrid control synthesis

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Variable structure systems (93B12) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Controllers for reachability specifications for hybrid systems
• scientific article; zbMATH DE number 1794373
• scientific article; zbMATH DE number 1301611
• Supervisory target control for hybrid systems
• scientific article; zbMATH DE number 1444360

Cited in

(13)

• Hybrid systems tools for compiling controllers for cyber-physical systems
• A novel unified framework for solving reachability and invariance problems
• Supervisory control of hybrid systems based on model abstraction and guided search
• Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
• Suboptimal target control for hybrid automata using model predictive control
• Controller synthesis for hybrid systems with a lower bound on event separation
• Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates
• Synthesis of controllers for target problems of hybrid systems using approximate computation
• Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints
• Fault-tolerant control for a class of hybrid systems with uncontrollable switching
• Supervisory target control for hybrid systems
• Fault recoverability analysis of switched systems
• Time-optimal control for discrete-time hybrid automata

This page was built for publication: Hybrid control synthesis for eventuality specifications using level set methods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4454760)