Reachability computation for safety analysis: an approach based on linear inclusion abstraction - CentraleSupélec Access content directly
Other Publications Year : 2006

Reachability computation for safety analysis: an approach based on linear inclusion abstraction

Hervé Guéguen
Institut d'Electronique et de Télécommunications de Rennes
CV

Domains

Automatic Control Engineering

Myriam Andrieux  : Connect in order to contact the contributor

https://hal-centralesupelec.archives-ouvertes.fr/hal-00287210

Submitted on : Wednesday, June 11, 2008-11:21:49 AM

Last modification on : Friday, March 24, 2023-2:52:50 PM

Not file

Dates and versions

hal-00287210 , version 1 (11-06-2008)

Identifiers

  • HAL Id : hal-00287210 , version 1

Cite

Hervé Guéguen. Reachability computation for safety analysis: an approach based on linear inclusion abstraction. 2006. ⟨hal-00287210⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

SUPELEC UNIV-RENNES1 CNRS INSA-RENNES IETR SUP_ASH SUP_IETR CENTRALESUPELEC UR1-MATH-STIC UR1-UFR-ISTIC IETR-AUT UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
104 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More