| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 694925 | Annual Reviews in Control | 2009 | 12 Pages |
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.
Related Topics
Physical Sciences and Engineering
Engineering
Control and Systems Engineering
Authors
Hervé Guéguen, Marie-Anne Lefebvre, Janan Zaytoon, Othman Nasri,