Safety verification and reachability analysis for hybrid systems

Abstract : Safety verification and reachability analysis for hybrid systems is a very active research domain. Many approaches that seem quite different, have been proposed to solve this complex problem. This paper presents an overview of various approaches for autonomous, continuous-time hybrid systems and presents them with respect to basic problems related to verification.
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00396205
Contributor : Myriam Andrieux <>
Submitted on : Wednesday, June 17, 2009 - 10:58:44 AM
Last modification on : Friday, November 16, 2018 - 1:24:22 AM

Identifiers

Citation

Hervé Guéguen, Marie-Anne Lefebvre, Janan Zaytoon, Othman Nasri. Safety verification and reachability analysis for hybrid systems. Annual Reviews in Control, Elsevier, 2009, 33 (1), pp.25-36. ⟨10.1016/j.arcontrol.2009.03.002⟩. ⟨hal-00396205⟩

Share

Metrics

Record views

455