Skip to Main content Skip to Navigation
Journal articles

Safety verification and reachability analysis for hybrid systems

Hervé Guéguen 1 Marie-Anne Lefebvre 2 J. Zaytoon 3 Othman Nasri 4
1 IETR - Institut d'Électronique et des Technologies du numéRique
2 IETR - Institut d'Electronique et de Télécommunications de Rennes
3 CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804
4 LRI - Laboratoire de Recherche en Informatique
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.
Document type :
Journal articles
Complete list of metadata
https://hal-supelec.archives-ouvertes.fr/hal-00396205
Contributor : Myriam Andrieux Connect in order to contact the contributor
Submitted on : Wednesday, June 17, 2009 - 10:58:44 AM
Last modification on : Thursday, January 20, 2022 - 12:54:05 PM

Identifiers

Collections

CNRS | UNIV-RENNES1 | SUPELEC | SUP_IETR | SUP_ASH | IETR | UMR8623 | TDS-MACS | UR1-MATH-STIC | UR1-UFR-ISTIC | IETR-AUT | URCA | CRESTIC | UNIV-RENNES | INSA-GROUPE | INSA-RENNES | UR1-MATH-NUM | EC-PARIS | UNIV-NANTES

Citation

Hervé Guéguen, Marie-Anne Lefebvre, J. 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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles