fr
|
en

Antoine GIRARD

I am a Senior Researcher at CNRS and a member of the Laboratory of Signals and Systems. I am also co-chair of the Master program in Control, Signal and Image Processing (Master ATSI) of Université Paris-Saclay. My research interests deal with analysis and control of hybrid systems with an emphasis on computational approaches, formal methods and applications to cyber-physical systems.

L2S, CentraleSupélec
Bât. Breguet B2.26b
3 rue Joliot Curie
91190 Gif-sur-Yvette, France

+33 (0)1 69 85 13 42

Publications

Journal articles

2023

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

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

Abstraction refinement for attractivity controllers using quantitative synthesis

Apaza-Perez, Girard
IEEE Transactions on Automatic Control, 2023
2022

Stability of Shuffled Switched Linear Systems: A Joint Spectral Radius Approach

Aazan, Girard, Greco, Mason
Automatica, 143, p. 110434, 2022

Data-Driven Modeling of the Temporal Evolution of Breakers’ States in the French Electrical Transmission Grid

Gonzalez, Girard
Nonlinear Analysis: Hybrid Systems, 46, p. 101215, 2022
2021

Set Propagation Techniques for Reachability Analysis

Althoff, Frehse, Girard
Annual Review of Control, Robotics, and Autonomous Systems, 4 (1), 2021

Symbolic Models for a Class of Impulsive Systems

Swikir, Girard, Zamani
IEEE Control Systems Letters, 5 (1), p. 247-252, 2021

Assume-guarantee contracts for continuous-time systems

Saoud, Girard, Fribourg
Automatica, 134, 2021

Conference papers

2022

Invariant Sets for Assume-Guarantee Contracts

Girard, Iovine, Benberkane
61st IEEE Conference on Decision and Control 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
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
60th IEEE conference on Decision and Control, Austin, États-Unis, 2021

Efficient Data-Driven Abstraction of Monotone Systems with Disturbances

Makdesi, Girard, Fribourg
IFAC Conference on Analysis and Design of Hybrid Systems, Brussels, Belgique, 2021

Data-Driven Abstraction of Monotone Systems

Makdesi, Girard, Fribourg
Learning for Dynamics and Control Conference, Zurich, Suisse, 2021

Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration

Ivanova, Girard
7th IFAC Conference on Analysis and Design of Hybrid Systems, Brussels, Belgique, 2021
2020

Abstraction of Monotone Systems Based on Feedback Controllers

Sinyakov, Girard
21st IFAC World Congress, Berlin, Allemagne, 2020

Books

2019
Chapitres d’ouvrages scientifiques

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

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

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

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