Controllers for reachability specifications for hybrid systems

• 31 March 1999
• journal article
• Published by Elsevier in Automatica
• Vol. 35  (3) , 349-370
• https://doi.org/10.1016/s0005-1098(98)00193-9

Abstract

Keywords

• HYBRID SYSTEMS
• SAFETY PROPERTIES
• CONTROLLED INVARIANCE
• MULTI-OBJECTIVE CONTROLLERS