Calcul d'atteignabilité pour des systèmes hybrides non linéaires par approximations affines garanties

Othman Nasri; Hervé Guéguen; Marie-Anne Lefebvre

Conference Papers Year : 2010

Calcul d'atteignabilité pour des systèmes hybrides non linéaires par approximations affines garanties

(1) , (2) , (3)

1
2
3

Othman Nasri

Function : Author

Laboratoire de Recherche en Informatique

Hervé Guéguen

Function : Author
PersonId : 2103
IdHAL : herve-gueguen
ORCID : 0000-0001-5333-3704
IdRef : 080644805

Institut d'Électronique et des Technologies du numéRique

CV

Marie-Anne Lefebvre

Function : Author
PersonId : 4597
IdHAL : marie-anne-lefebvre
IdRef : 082986495

Institut d'Electronique et de Télécommunications de Rennes

CV

Keywords

Sûreté atteignabilité systèmes hybrides

Domains

Automatic

Myriam Andrieux : Connect in order to contact the contributor

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

Submitted on : Thursday, June 10, 2010-2:59:07 PM

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

Dates and versions

hal-00491040 , version 1 (10-06-2010)

Identifiers

HAL Id : hal-00491040 , version 1

Cite

Othman Nasri, Hervé Guéguen, Marie-Anne Lefebvre. Calcul d'atteignabilité pour des systèmes hybrides non linéaires par approximations affines garanties. CIFA 2010 Conférence Internationale Francophone d'Automatique, Jun 2010, Nancy, France. pp.NC. ⟨hal-00491040⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

SUPELEC UNIV-NANTES EC-PARIS UNIV-RENNES1 CNRS INSA-RENNES IETR SUP_ASH SUP_IETR UMR8623 CENTRALESUPELEC TDS-MACS UR1-MATH-STIC UNIV-PARIS-SACLAY UR1-UFR-ISTIC IETR-AUT UNIV-RENNES INSA-GROUPE UR1-MATH-NUM NANTES-UNIVERSITE

160 View

0 Download

Calcul d'atteignabilité pour des systèmes hybrides non linéaires par approximations affines garanties

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share