Inner and outer reachability for the verification of control systems - Département d'informatique Accéder directement au contenu
Chapitre D'ouvrage Année : 2019

Inner and outer reachability for the verification of control systems

Eric Goubault
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Sylvie Putot
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 : lundi 19 février 2024-12:23:29

Fichier non déposé

Dates et versions

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

Identifiants

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
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More