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.
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, January 8, 2021 - 3:42:49 AM