Empreinte digitale
Passez en revue plus en détail les thèmes de recherche où Elena Vanneaux est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
-
Lazy controller synthesis for monotone transition systems and directed safety specifications
Ivanova, E., Saoud, A. & Girard, A., 1 janv. 2022, Dans: Automatica. 135, 109993.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration
Ivanova, E. & Girard, A., 1 juil. 2021, Dans: IFAC-PapersOnLine. 54, 5, p. 109-114 6 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
Lazy safety controller synthesis with multi-scale adaptive-sampling abstractions of nonlinear systems
Ivanova, E. & Girard, A., 1 janv. 2020, Dans: IFAC-PapersOnLine. 53, p. 1837-1843 7 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications
Saoud, A., Ivanova, E. & Girard, A., 1 déc. 2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. Institute of Electrical and Electronics Engineers Inc., p. 6255-6260 6 p. 9029784. (Proceedings of the IEEE Conference on Decision and Control; Vol 2019-December).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert