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

Set Propagation Techniques for Reachability Analysis

Matthias Althoff, Goran Frehse, Antoine Girard
Annual Review of Control, Robotics, and Autonomous Systems, 2021

Symbolic observer-based controller for uncertain nonlinear systems

W. A. Apaza-Perez, Antoine Girard, Christophe Combastel, Ali Zolghadri
IEEE Control Systems Letters, 2021

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

Adnane Saoud, Antoine Girard, Laurent Fribourg
IEEE Transactions on Automatic Control, 2021

Symbolic Models for a Class of Impulsive Systems

Abdalla Swikir, Antoine Girard, Majid Zamani
IEEE Control Systems Letters, 2021

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

Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
IEEE Transactions on Control of Network Systems, 2021

Lyapunov Functions for Shuffle Asymptotic Stability of Discrete-Time Switched Systems

Antoine Girard, Paolo Mason
IEEE Control Systems Letters, 2019

Conference papers

Efficient Data-Driven Abstraction of Monotone Systems with Disturbances

Anas Makdesi, Antoine Girard, Laurent Fribourg
IFAC Conference on Analysis and Design of Hybrid Systems

Data-Driven Abstraction of Monotone Systems

Anas Makdesi, Antoine Girard, Laurent Fribourg
Learning for Dynamics and Control Conference

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

Elena Ivanova, Antoine Girard
7th IFAC Conference on Analysis and Design of Hybrid Systems

Abstraction of Monotone Systems Based on Feedback Controllers

Elena Ivanova, Antoine Girard
21st IFAC World Congress

Abstraction of Monotone Systems Based on Feedback Controllers

Vladimir Sinyakov, Antoine Girard
21st IFAC World Congress

Formal Synthesis from Control Programs

Vladimir Sinyakov, Antoine Girard
IEEE Conference on Decision and Control

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications

Adnane Saoud, Elena Ivanova, Antoine Girard
IEEE Conference on Decision and Control

Reference Tracking for Linear Time Invariant Systems with a Relay Control

Zohra Kader, Antoine Girard
IEEE Conference on Decision and Control

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

Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg
NecSys 2019 – 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems

A symbolic approach to voltage stability and power sharing in time-varying DC microgrids

Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg
ECC 2019 – European control conference

Books

Singular perturbation approach for linear coupled ODE-PDE systems

Ying Tang, Christophe Prieur, Antoine Girard

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

Mirko Fiacchini, Marc Jungers, Antoine Girard, Sophie Tarbouriech

Stability analysis of singularly perturbed switched linear systems

Jihene Ben Rejeb, Irinel-Constantin Morarescu, Antoine Girard, Jamal Daafouz

Control Subject to Computational and Communication Constraints

Sophie Tarbouriech, Antoine Girard, Laurentiu Hetel

Timing contracts for multi-core embedded control systems

Mohammad Al Khatib, Antoine Girard, Thao Dang

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems

Alessandro Abate, Antoine Girard, W. P. Maurice H. Heemels

Symbolic synthesis for cyber-physical systems

Matthias Rungger, Antoine Girard, Paulo Tabuada

Consensus with constrained convergence rate and time-delays

Irinel-Constantin Morarescu, Silviu-Iulian Niculescu, Antoine Girard

Tools for the Analysis of Hybrid Models

Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic

Outils pour l’analyse des modèles hybrides

Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic

Patents and software

These/HDR