Antoine GIRARD

Senior researcher

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

2022
2021

Set Propagation Techniques for Reachability Analysis

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

Symbolic observer-based controller for uncertain nonlinear systems

Apaza-Perez, Girard, Combastel, Zolghadri
IEEE Control Systems Letters, 5 (4), p. 1297-1302, 2022

Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems

Saoud, Girard, Fribourg
IEEE Transactions on Automatic Control, 66 (3), p. 1055-1070, 2022

Assume-guarantee contracts for continuous-time systems

Saoud, Girard, Fribourg
Automatica, 134, 2022

Symbolic Models for a Class of Impulsive Systems

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

Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach

Saoud, Jagtap, Zamani, Girard
IEEE Transactions on Control of Network Systems, 8 (2), p. 702-712, 2022
2020

Conference papers

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

Formal Synthesis from Control Programs

Sinyakov, Girard
IEEE Conference on Decision and Control, Jeju Island, Corée du Sud, 2022

Abstraction of Monotone Systems Based on Feedback Controllers

Sinyakov, Girard
21st IFAC World Congress, Berlin, Allemagne, 2022
2019

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications

Saoud, Ivanova, Girard
IEEE Conference on Decision and Control, Nice, France, 2019

Reference Tracking for Linear Time Invariant Systems with a Relay Control

Kader, Girard
IEEE Conference on Decision and Control, Nice, France, 2019

Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads

Zonetti, Saoud, Girard, Fribourg
NecSys 2019 – 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Chicago, États-Unis, 2019

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

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, 2022
Direction d’ouvrages scientifiques

Control Subject to Computational and Communication Constraints

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

Symbolic synthesis for cyber-physical systems

Rungger, Girard, Tabuada
in Cyber-Physical Systems, Addison Wesley, 2022
2015
Direction d’ouvrages scientifiques
2009
Chapitres d’ouvrages scientifiques

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