Hybrid control synthesis for eventuality specifications using level set methods

DOI10.1080/00207170310001622512zbMath1040.93035OpenAlexW2016373407MaRDI QIDQ4454760

Anastasios Trontis, Michael 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

reachabilitylevel setseventuality specificationhybrid control synthesis

Mathematics Subject Classification ID

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

Related Items (9)

Reachability and optimal control for linear hybrid automata: a quantifier elimination approach ⋮ A novel unified framework for solving reachability and invariance problems ⋮ Time-optimal control for discrete-time hybrid automata ⋮ Fault recoverability analysis of switched systems ⋮ 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 ⋮ Supervisory target control for hybrid 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