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

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.

Domaines: Automatique; Automatique / Robotique

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