Inner and outer reachability for the verification of control systems

Eric Goubault; Sylvie Putot

doi:10.1145/3302504.3311794

Chapitre D'ouvrage Année : 2019

Inner and outer reachability for the verification of control 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-02632550

Soumis le : mercredi 27 mai 2020-11:00:22

Dernière modification le : mercredi 30 octobre 2024-19:41:06

Dates et versions

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

Identifiants

HAL Id : hal-02632550 , version 1
DOI : 10.1145/3302504.3311794

Citer

Eric Goubault, Sylvie Putot. Inner and outer reachability for the verification of control systems. Proceedings of the 22th ACM International Conference on Hybrid Systems: Computation and Control, ACM, pp.11-22, 2019, ⟨10.1145/3302504.3311794⟩. ⟨hal-02632550⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

30 Consultations

0 Téléchargements

Inner and outer reachability for the verification of control systems

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager