Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Safety verification and reachability analysis for hybrid systems

200944 citationsJournal Article

Authors

Hervé Guéguen · Supélec

Marie-Anne Lefebvre · Supélec

J. Zaytoon · Centre d'Excellence en Technologies de l'Information et de la Communication

Othman Nasri · Laboratoire de Recherche en Informatique

Topics & Keywords

Safety Systems Engineering in Autonomy Formal Methods in Verification Software Reliability and Analysis Research

Publication Details

Published in: Annual Reviews in Control

Volume 33, Issue 1, pp. 25-36

DOI: 10.1016/j.arcontrol.2009.03.002

Field-Weighted Citation Impact: 18.45

Safety verification and reachability analysis for hybrid systems | Researchclopedia