Safety verification and reachability analysis for hybrid systems

Hervé Guéguen; Marie-Anne Lefebvre; Janan Zaytoon; Othman Nasri

Safety verification and reachability analysis for hybrid systems

Hervé Guéguen ¹ Marie-Anne Lefebvre ² Janan Zaytoon ³ Othman Nasri ⁴

1 IETR - Institut d'Electronique et de Télécommunications de Rennes

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

Domain :

Computer Science [cs] / Automatic Control Engineering

Engineering Sciences [physics] / Automatic

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

Safety verification and reachability analysis for hybrid systems

Identifiers

Collections

Citation

Export

Metrics

455

Contact

Safety verification and reachability analysis for hybrid systems

Identifiers

Collections

Citation

Export

Share

Metrics

455

Contact