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.

antoine.girard@l2s.centralesupelec.fr

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

+33 (0)1 69 85 13 42

google_scholar

Journal articles
Conference papers
Books
Patents and software
These/HDR

Journal articles

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

Lazy Safety Controller Synthesis with Multi-Scale Adaptive-Sampling Abstractions of Nonlinear Systems

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

Books

Patents and software

These/HDR

2013

H.D.R.

Computational Approaches to Analysis and Control of Hybrid Systems

Girard
2013

2004

Thèses

Analyse Algorithmique des Systèmes Hybrides

Girard
Institut National Polytechnique de Grenoble – INPG, 2004

Publications

Journal articles

Conference papers

Books

Patents and software

These/HDR