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. / CNRS
antoine.girard@l2s.centralesupelec.fr
L2S, CentraleSupélec
3 rue Joliot Curie
91190 Gif-sur-Yvette, France
Switching Constraints as a Design Tool for Predictive Control Based on K-Invariant Sets
Reachability Sequences of Minimal Length for Discrete-Time Switched Linear Control Systems
Characterizing simulation relations through control architectures in abstraction-based control
Symbolic Control: Unveiling Free Robustness Margins
Synthesis of Input-to-State Attractivity Controllers for Transition Systems with Disturbances
Nonstandard anti-windup approach for event-triggered control purpose
An Automata Theoretic Approach to Observer Design for Switched Linear Systems
Approches symboliques pour le contrôle des systèmes non linéaires
Feedback Stabilization of Discrete-Time Switched Systems Under Büchi-Constrained Signals
From Relaxed Constraint Satisfaction to p-Invariance of Sets
Risk-Averse Control for Continuous-Time Stochastic System Under Signal Temporal Logic Constraints
Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control
Safe navigation using NMPC based on a K-invariant set and its exploration features
Enhanced convex lifting for environment with complex shaped obstacles
Estimating the Impacts of Topological Changes in Sub-Transmission Areas Using Hybrid Observers
Continuous-Time Nonlinear Optimal Control Problem Under Signal Temporal Logic Constraints
Symbolically Synthesized Motion Primitives for Autonomous Navigation
Identification of the Bandwidth of a Magneto-Inertial Navigation Filter
Online Learning for Safe Model Predictive Control with the Compatible Models Approach ⋆
Memoryless concretization relation
Layers Update of Neural Network Control via Event-Triggering Mechanism
A Joint Spectral Radius for $$\omega $$-Regular Language-Driven Switched Linear Systems
Singular perturbation approach for linear coupled ODE-PDE systems
Control Subject to Computational and Communication Constraints
Stability analysis of singularly perturbed switched linear systems
Stabilizability and control co-design for discrete-time switched linear systems
Timing contracts for multi-core embedded control systems
Symbolic synthesis for cyber-physical systems
Tools for the Analysis of Hybrid Models
Outils pour l’analyse des modèles hybrides
Analyse Algorithmique des Systèmes Hybrides
CentraleSupélec,
3, rue Joliot Curie,
91190 Gif-sur-Yvette
Supporting institutes
©2026 L2S - All rights reserved, reproduction prohibited.
