Safety Verification and reachability analysis for hybrid systems. - CentraleSupélec Access content directly
Conference Papers Year : 2008
No file

Dates and versions

hal-00326039 , version 1 (01-10-2008)

Identifiers

  • HAL Id : hal-00326039 , version 1

Cite

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⟩
134 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More