Forward Inner-Approximated Reachability of Non-Linear Continuous Systems

Eric Goubault; Sylvie Putot

doi:10.1145/3049797.3049811

Chapitre D'ouvrage Année : 2017

Forward Inner-Approximated Reachability of Non-Linear Continuous Systems

(1) , (1)

1

Eric Goubault

Fonction : Auteur
PersonId : 1172095
IdHAL : eric-goubault
ORCID : 0000-0002-3198-1863

Laboratoire d'informatique de l'École polytechnique [Palaiseau]

Sylvie Putot

Fonction : Auteur
PersonId : 184976
IdHAL : sylvie-putot
ORCID : 0000-0001-5624-3755
IdRef : 181622769

Laboratoire d'informatique de l'École polytechnique [Palaiseau]

Domaines

Informatique [cs] Systèmes et contrôle [cs.SY]

Sylvie Putot : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02633117

Soumis le : mercredi 27 mai 2020-12:02:01

Dernière modification le : lundi 19 février 2024-12:23:29

Dates et versions

hal-02633117 , version 1 (27-05-2020)

Identifiants

HAL Id : hal-02633117 , version 1
DOI : 10.1145/3049797.3049811

Citer

Eric Goubault, Sylvie Putot. Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. HSCC '17: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, ACM, pp.1-10, 2017, ⟨10.1145/3049797.3049811⟩. ⟨hal-02633117⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS LIX X-LIX X-DEP-INFO UNIV-PARIS-SACLAY

12 Consultations

0 Téléchargements

Forward Inner-Approximated Reachability of Non-Linear Continuous Systems

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager