Antoine GIRARD

Senior researcher

L2S, CentraleSupélec
3 rue Joliot Curie
91190 Gif-sur-Yvette, France

Publications

Journal articles

2024

Synthesis of Input-to-State Attractivity Controllers for Transition Systems with Disturbances

Apaza-Perez, Girard
IEEE Transactions on Automatic Control, 2024

Nonstandard anti-windup approach for event-triggered control purpose

de Souza, Tarbouriech, Queinnec, Girard
Syst. control. lett., 185, Elsevier, p. 105715, 2024

Data-Driven Models of Monotone Systems

Makdesi, Girard, Fribourg
IEEE Transactions on Automatic Control, 2024

From Relaxed Constraint Satisfaction to p-Invariance of Sets

Olaru, Soyer, Zhao, Dórea, Kofman, Girard
IEEE Transactions on Automatic Control, p. 1-8, 2024

Feedback Stabilization of Discrete-Time Switched Systems Under Büchi-Constrained Signals

Rossa, Alves Lima, Girard
IEEE Control Systems Letters, 8, p. 418-423, 2024

An Automata Theoretic Approach to Observer Design for Switched Linear Systems

Aazan, Girard, Greco, Mason
Automatica, 165, p. 111689, 2024
2023

Safe Learning-Based Model Predictive Control Using The Compatible Models Approach

Makdesi, Girard, Fribourg
EUCA, 74, Elsevier, p. 100849, 2023

Event-triggered Neural Network Control using Quadratic Constraints for Perturbed Systems

de Souza, Girard, Tarbouriech
Automatica, 157, p. 111237, 2023

Event-Triggered Neural Network Control for LTI Systems

de Souza, Tarbouriech, Girard
IEEE Control Systems Letters, 7, p. 1381-1386, 2023

Abstraction of Continuous-time Systems Based on Feedback Controllers and Mixed Monotonicity

Sinyakov, Girard
IEEE Transactions on Automatic Control, 68 (8), 2023

Conference papers

2024

Online Learning for Safe Model Predictive Control with the Compatible Models Approach ⋆

Makdesi, Girard, Fribourg
8th IFAC Conference on Analysis and Design of Hybrid Systems, Boulder (CO), États-Unis, 2024

Nonlinear Model Predictive Control based on K-step Control Invariant Sets

Zhao, Girard, Olaru
European control conference, Stockholm, Suède, 2024

Memoryless concretization relation

Calbert, Mattenet, Girard, Jungers
International Conference on Hybrid Systems: Computation and Control, Hong Kong, Chine, 2024
2023

Magneto-Inertial Dead-Reckoning Navigation with Walk Dynamic Model in Indoor Environment

Neymann, Berthou, Jourdas, Lhachemi, Prieur, Girard
IPIN 2023 – 13th International Conference on Indoor Positioning and Indoor Navigation, Nuremberg, Allemagne, 2023

Minimization of Parameter Sensitivity to Pre-Estimation Errors and its Application to the Calibration of Magnetometer Arrays

Neymann, Meier, Lhachemi, Prieur, Girard
ECC 2023 – 21st European Control Conference, Bucarest, Roumanie, 2023
2022

Invariant Sets for Assume-Guarantee Contracts

Girard, Iovine, Benberkane
61st IEEE Conference on Decision and Control (CDC 2022), Cancun, Mexique, 2022

Predictive and Symbolic Control: Performance and Safety for Non-linear Systems

Azaki, Girard, Olaru
CAO 2022 – 18th IFAC Workshop on Control Applications of Optimization, Gif-sur-Yvette, France, 2022

Stability of discrete-time switched linear systems with ω-regular switching sequences

Aazan, Girard, Mason, Greco
HSCC 2022 – 25th ACM International Conference on Hybrid Systems : Computation and Control, Milan, Italie, 2022

On the Joint Spectral Radius of Shuffled Switched Linear Systems

Aazan, Girard, Greco, Mason
International Symposium on Mathematical Theory of Networks and Systems, Bayreuth, Allemagne, 2022
2021

Compositional Synthesis of Symbolic Controllers for Attractivity Specifications

Apaza-Perez, Girard
IEEE 60th Conference on Decision and Control (CDC 2021), Austin, États-Unis, 2021

Books

2024
Chapitres d’ouvrages scientifiques

A Joint Spectral Radius for $$\omega $$-Regular Language-Driven Switched Linear Systems

Aazan, Girard, Mason, Greco
in Hybrid and Networked Dynamical Systems, vol. 493, pp. 161-178, Springer Nature Switzerland, 2024

Layers Update of Neural Network Control via Event-Triggering Mechanism

Tarbouriech, de Souza, Girard
in Hybrid and Networked Dynamical Systems, vol. 493, pp. 253-272, Springer Nature Switzerland, 2024
2019

Singular perturbation approach for linear coupled ODE-PDE systems

Tang, Prieur, Girard
in Delays and Interconnections: Methodology, Algorithms and Applications, vol. 10, pp. 3-17, Springer, 2019
2018
Ouvrages scientifiques

Control Subject to Computational and Communication Constraints

Tarbouriech, Girard, Hetel
vol. 475, Springer, 2018
Chapitres d’ouvrages scientifiques

Stabilizability and control co-design for discrete-time switched linear systems

Fiacchini, Jungers, Girard, Tarbouriech
in Control Subject to Computational and Communication Constraints, vol. 475, pp. 25-46, Springer, 2018

Stability analysis of singularly perturbed switched linear systems

Ben Rejeb, Morarescu, Girard, Daafouz
in Control Subject to Computational and Communication Constraints, vol. 475, pp. 47-61, Springer, 2018

Timing contracts for multi-core embedded control systems

Al Khatib, Girard, Dang
in Control subject to Computational and Communication Constraints, vol. 475, pp. 97-118, Springer, 2018
2017

Symbolic synthesis for cyber-physical systems

Rungger, Girard, Tabuada
in Cyber-Physical Systems, Addison Wesley, 2017
2009

Tools for the Analysis of Hybrid Models

Dang, Frehse, Girard, Le Guernic
in Communicating Embedded Systems: Software and Design, Hermès, 2009
2008

Outils pour l’analyse des modèles hybrides

Dang, Frehse, Girard, Le Guernic
in Approches formelles des systèmes embarqués communicants, Hermès, 2008

Patents and software

These/HDR

2013
H.D.R.
2004
Thèses

Analyse Algorithmique des Systèmes Hybrides

Girard
Institut National Polytechnique de Grenoble – INPG, 2004