Hybrid control synthesis for eventuality specifications using level set methods
DOI10.1080/00207170310001622512zbMATH Open1040.93035OpenAlexW2016373407MaRDI QIDQ4454760FDOQ4454760
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
Recommendations
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)
Cited In (12)
- Time-optimal control for discrete-time hybrid automata
- Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
- Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints
- Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates
- 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
- A novel unified framework for solving reachability and invariance problems
- Supervisory target control for hybrid systems
- Controller synthesis for hybrid systems with a lower bound on event separation
- Fault recoverability analysis of switched systems
- Fault-tolerant control for a class of hybrid systems with uncontrollable switching
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)
