Fingerprint
Dive into the research topics where Elena Vanneaux is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Lazy controller synthesis for monotone transition systems and directed safety specifications
Ivanova, E., Saoud, A. & Girard, A., 1 Jan 2022, In: Automatica. 135, 109993.Research output: Contribution to journal › Article › peer-review
Open Access -
Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration
Ivanova, E. & Girard, A., 1 Jul 2021, In: IFAC-PapersOnLine. 54, 5, p. 109-114 6 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Lazy safety controller synthesis with multi-scale adaptive-sampling abstractions of nonlinear systems
Ivanova, E. & Girard, A., 1 Jan 2020, In: IFAC-PapersOnLine. 53, p. 1837-1843 7 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications
Saoud, A., Ivanova, E. & Girard, A., 1 Dec 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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access