Skip to Main content Skip to Navigation
Conference papers

Safety Verification and reachability analysis for hybrid systems.

Document type :
Conference papers
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00326039
Contributor : Myriam Andrieux <>
Submitted on : Wednesday, October 1, 2008 - 11:52:48 AM
Last modification on : Monday, November 16, 2020 - 2:18:16 PM

Identifiers

  • HAL Id : hal-00326039, version 1

Citation

Hervé Guéguen, Marie-Anne Lefebvre, Othman Nasri, J. Zaytoon. Safety Verification and reachability analysis for hybrid systems.. 17th IFAC World Congress 2008, Jul 2008, Séoul, South Korea. 8949-8959 (11 p.). ⟨hal-00326039⟩

Share

Metrics

Record views

324