Publications Conference proceedings (21) Efficient Data-Driven Abstraction of Monotone Systems with Disturbances Author(s): Anas Makdesi; Antoine Girard; Laurent Fribourg Published in: IFAC Conference on Analysis and Design of Hybrid Systems, 2021 Publisher: IFAC DOI: 10.1016/j.ifacol.2021.08.473 Abstraction of Monotone Systems Based on Feedback Controllers Author(s): Vladimir Sinyakov, Antoine Girard Published in: IFAC World Congress, 2020 Publisher: IFAC Predictive and Symbolic Control: Performance and Safety for Non-linear Systems Author(s): Zakeye Azaki; Antoine Girard; Sorin Olaru Published in: CAO 2022 - 18th IFAC Workshop on Control Applications of Optimization, 2022 Publisher: IFAC DOI: 10.1016/j.ifacol.2022.09.039 Stability of discrete-time switched linear systems with ω-regular switching sequences Author(s): Georges Aazan; Antoine Girard; Paolo Mason; Luca Greco Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control,, 2022 Publisher: ACM DOI: 10.1145/3501710.3519543 Lazy Safety Controller Synthesis with Multi-Scale Adaptive-Sampling Abstractions of Nonlinear Systems Author(s): Elena Ivanova, Antoine Girard Published in: IFAC World Congress, 2020 Publisher: IFAC Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration Author(s): Elena Ivanova; Antoine Girard Published in: 7th IFAC Conference on Analysis and Design of Hybrid Systems, Issue 2, 2021 Publisher: IFAC DOI: 10.1016/j.ifacol.2021.08.483 Data-Driven Abstraction of Monotone Systems Author(s): MAKDESI, Anas; GIRARD, Antoine; FRIBOURG, Laurent Published in: Proceedings of Machine Learning Research, Issue Learning for Dynamics and Control Conference, 2021 Publisher: Proceedings of Machine Learning Research Compositional Synthesis of Symbolic Controllers for Attractivity Specifications Author(s): Apaza-Perez, W,; Girard, Antoine Published in: 60th IEEE conference on Decision and Control, 2021 Publisher: IEEE DOI: 10.1109/cdc45484.2021.9682817 Formal Synthesis from Control Programs Author(s): Vladimir Sinyakov, Antoine Girard Published in: IEEE Conference on Decision and Control, 2020 Publisher: IEEE Safety controller design for incrementally stable switched systems using event-based symbolic models Author(s): Zohra Kader, Adnane Saoud, Antoine Girard Published in: 2019 18th European Control Conference (ECC), 2019, Page(s) 1269-1274, ISBN 978-3-907144-00-8 Publisher: IEEE DOI: 10.23919/ecc.2019.8796232 Symbolic models for incrementally stable switched systems with aperiodic time sampling Author(s): Zohra Kader, Antoine Girard, Adnane Saoud Published in: IFAC-PapersOnLine, Issue 51/16, 2018, Page(s) 253-258, ISSN 2405-8963 Publisher: IFAC DOI: 10.1016/j.ifacol.2018.08.043 Symbolic models for incrementally stable singularly perturbed hybrid affine systems Author(s): Zohra Kader, Antoine Girard Published in: 2019 American Control Conference (ACC), 2019, Page(s) 3002-3007, ISBN 978-1-5386-7926-5 Publisher: IEEE DOI: 10.23919/acc.2019.8815249 Safety control, a quantitative approach Author(s): Alina Eqtami, Antoine Girard Published in: IFAC-PapersOnLine, Issue 51/16, 2018, Page(s) 187-192, ISSN 2405-8963 Publisher: IFAC DOI: 10.1016/j.ifacol.2018.08.032 Formal Controller Synthesis from Hybrid Programs Author(s): Vladimir Sinyakov, Antoine Girard Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18, 2018, Page(s) 271-272, ISBN 9781-450356428 Publisher: ACM Press DOI: 10.1145/3178126.3186998 A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems Author(s): Alina Eqtami, Antoine Girard Published in: 2019 18th European Control Conference (ECC), Issue Naples, Italy, 2019, Page(s) 536-541, ISBN 978-3-907144-00-8 Publisher: IEEE DOI: 10.23919/ecc.2019.8796276 A symbolic approach to voltage stability and power sharing in time-varying DC microgrids Author(s): Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg Published in: 2019 18th European Control Conference (ECC), 2019, Page(s) 903-909, ISBN 978-3-907144-00-8 Publisher: IEEE DOI: 10.23919/ecc.2019.8796095 Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity Author(s): Vladimir Sinyakov, Antoine Girard Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4355-4360, ISBN 978-1-7281-1398-2 Publisher: IEEE DOI: 10.1109/cdc40024.2019.9029740 Reference Tracking for Linear Time Invariant Systems with a Relay Control * Author(s): Zohra Kader, Antoine Girard Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 2485-2490, ISBN 978-1-7281-1398-2 Publisher: IEEE DOI: 10.1109/cdc40024.2019.9030267 Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications* Author(s): Adnane Saoud, Elena Ivanova, Antoine Girard Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 6255-6260, ISBN 978-1-7281-1398-2 Publisher: IEEE DOI: 10.1109/cdc40024.2019.9029784 Compositional Synthesis for Symbolic Control Author(s): Antoine Girard Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18, 2018, Page(s) 136-136, ISBN 9781-450356428 Publisher: ACM Press DOI: 10.1145/3178126.3196957 Invariant Sets for Assume-Guarantee Contracts Author(s): Antoine Girard; Alessio Iovine; Sofiane Benberkane Published in: 61st IEEE Conference on Decision and Control 2022, 2022 Publisher: IEEE DOI: 10.1109/cdc51059.2022.9993344 Other (4) Data-Driven Models of Monotone Systems Author(s): Anas Makdesi; Antoine Girard; Laurent Fribourg Published in: HAL, 2022 Publisher: HAL Assume-guarantee contracts for discrete and continuous-time systems Author(s): Adnane Saoud, Antoine Girard, Laurent Fribourg Published in: 2019 Publisher: na Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems Author(s): Adnane Saoud, Antoine Girard, Laurent Fribourg Published in: 2019 Publisher: na Synthesis of Input-to-State Safety and Attractivity Controllers using Nested Sequences of Abstractions Author(s): W. Alejandro Apaza-Perez; Antoine Girard Published in: HAL, 2022 Publisher: HAL Thesis dissertations (1) Efficient Synthesis of Safety Controllers using Symbolic Models and Lazy Algorithms Author(s): Elena Ivanova Published in: 2021 Publisher: Université Paris-Saclay Peer reviewed articles (15) Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems Author(s): Adnane Saoud, Antoine Girard, Laurent Fribourg Published in: IEEE Transactions on Automatic Control, 2020, Page(s) 1-1, ISSN 0018-9286 Publisher: Institute of Electrical and Electronics Engineers DOI: 10.1109/tac.2020.2992446 Abstraction of Continuous-time Systems Based on Feedback Controllers and Mixed Monotonicity Author(s): Sinyakov, Vladimir; Girard, Antoine Published in: IEEE Transactions on Automatic Control, Issue 68 (8), 2023, ISSN 0018-9286 Publisher: Institute of Electrical and Electronics Engineers DOI: 10.1109/tac.2022.3205423 Safe Learning-Based Model Predictive Control Using The Compatible Models Approach Author(s): Anas Makdesi; Antoine Girard; Laurent Fribourg Published in: European Journal of Control, 2023, ISSN 0947-3580 Publisher: Lavoisier DOI: 10.1016/j.ejcon.2023.100849 Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems Author(s): Adnane Saoud; Antoine Girard; Laurent Fribourg Published in: "IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2021, 66 (3), pp.1055-1070. ⟨10.1109/tac.2020.2992446⟩", Issue 8, 2021, ISSN 0018-9286 Publisher: Institute of Electrical and Electronics Engineers DOI: 10.1109/tac.2020.2992446 Symbolic Observer-Based Controller for Uncertain Nonlinear Systems Author(s): W. A. Apaza-Perez; Antoine Girard; Christophe Combastel; Ali Zolghadri Published in: IEEE Control Systems Letters, Issue 6, 2021, ISSN 2475-1456 Publisher: IEEE DOI: 10.1109/lcsys.2020.3034274 Stability of Shuffled Switched Linear Systems: A Joint Spectral Radius Approach Author(s): Georges Aazan; Antoine Girard; Luca Greco; Paolo Mason Published in: Automatica, 2022, ISSN 0005-1098 Publisher: Pergamon Press Ltd. DOI: 10.1016/j.automatica.2022.110434 Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications Author(s): Elena Ivanova, Adnane Saoud, Antoine Girard Published in: Automatica, Issue 135, 2022, ISSN 0005-1098 Publisher: Pergamon Press Ltd. DOI: 10.1016/j.automatica.2021.109993 Symbolic Models for a Class of Impulsive Systems Author(s): Abdalla Swikir, Antoine Girard, Majid Zamani Published in: IEEE Control Systems Letters, Issue 5/1, 2021, Page(s) 247-252, ISSN 2475-1456 Publisher: IEEE DOI: 10.1109/lcsys.2020.3001501 Optimal multirate sampling in symbolic models for incrementally stable switched systems Author(s): Adnane Saoud, Antoine Girard Published in: Automatica, Issue 98, 2018, Page(s) 58-65, ISSN 0005-1098 Publisher: Pergamon Press Ltd. DOI: 10.1016/j.automatica.2018.09.005 Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions Author(s): Antoine Girard, Gregor Gössler Published in: Acta Informatica, Issue 57/1-2, 2020, Page(s) 245-269, ISSN 0001-5903 Publisher: Springer Verlag DOI: 10.1007/s00236-019-00341-x Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach Author(s): Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard Published in: IEEE Transactions on Control of Network Systems, Issue 2/8, 2021, Page(s) 702-712, ISSN 2325-5870 Publisher: IEEE CONTROL SYSTEMS SOCIETY DOI: 10.1109/tcns.2021.3050123 Formal Controller Synthesis from Specifications Given by Discrete-Time Hybrid Automata Author(s): Vladimir Sinyakov, Antoine Girard Published in: Automatica, Issue 131, 2021, ISSN 0005-1098 Publisher: Pergamon Press Ltd. DOI: 10.1016/j.automatica.2021.109768 Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications Author(s): Antoine Girard, Alina Eqtami Published in: Automatica, Issue 127, 2021, ISSN 0005-1098 Publisher: Pergamon Press Ltd. DOI: 10.1016/j.automatica.2021.109543 Abstraction refinement for attractivity controllers using quantitative synthesis Author(s): W. A. Apaza-Perez; Antoine Girard Published in: IEEE Transactions on Automatic Control, Issue 68(9), 2023, Page(s) 5745-5751, ISSN 0018-9286 Publisher: Institute of Electrical and Electronics Engineers DOI: 10.1109/tac.2022.3227371 Assume-guarantee contracts for continuous-time systems Author(s): Adnane Saoud; Antoine Girard; Laurent Fribourg Published in: Automatica, Issue 134, 2021, ISSN 0005-1098 Publisher: Pergamon Press Ltd. DOI: 10.1016/j.automatica.2021.109910 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available
