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
Safe Learning-Based Model Predictive Control Using The Compatible Models Approach
Event-Triggered Neural Network Control for LTI Systems
Abstraction of Continuous-time Systems Based on Feedback Controllers and Mixed Monotonicity
Demodulation Methods for a Wireless Electromagnetic Tracker
Event-triggered Neural Network Control using Quadratic Constraints for Perturbed Systems
Abstraction refinement for attractivity controllers using quantitative synthesis
Stability of Shuffled Switched Linear Systems: A Joint Spectral Radius Approach
Data-Driven Modeling of the Temporal Evolution of Breakers’ States in the French Electrical Transmission Grid
Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications
Set Propagation Techniques for Reachability Analysis
Magneto-Inertial Dead-Reckoning Navigation with Walk Dynamic Model in Indoor Environment
Minimization of Parameter Sensitivity to Pre-Estimation Errors and its Application to the Calibration of Magnetometer Arrays
Invariant Sets for Assume-Guarantee Contracts
Predictive and Symbolic Control: Performance and Safety for Non-linear Systems
Stability of discrete-time switched linear systems with ω-regular switching sequences
On the Joint Spectral Radius of Shuffled Switched Linear Systems
Compositional Synthesis of Symbolic Controllers for Attractivity Specifications
Efficient Data-Driven Abstraction of Monotone Systems with Disturbances
Data-Driven Abstraction of Monotone Systems
Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration
Analyse Algorithmique des Systèmes Hybrides
CentraleSupélec,
bât. Bréguet, 3, rue Joliot Curie,
91190 Gif-sur-Yvette
Supporting institutes
©2023 L2S - All rights reserved, reproduction prohibited.