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 : Friday, November 16, 2018 - 1:23:41 AM

Identifiers

  • HAL Id : hal-00326039, version 1

Citation

Hervé Guéguen, Marie-Anne Lefebvre, Othman Nasri, Janan 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

281