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
Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications
Stability of Shuffled Switched Linear Systems: A Joint Spectral Radius Approach
Set Propagation Techniques for Reachability Analysis
Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
Symbolic Models for a Class of Impulsive Systems
Formal Controller Synthesis from Specifications Given by Discrete-Time Hybrid Automata
Symbolic observer-based controller for uncertain nonlinear systems
Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
Assume-guarantee contracts for continuous-time systems
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach
Stability of discrete-time switched linear systems with ω-regular switching sequences
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
Lazy Safety Controller Synthesis with Multi-Scale Adaptive-Sampling Abstractions of Nonlinear Systems
Formal Synthesis from Control Programs
Abstraction of Monotone Systems Based on Feedback Controllers
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications
Reference Tracking for Linear Time Invariant Systems with a Relay Control
Singular perturbation approach for linear coupled ODE-PDE systems
Stabilizability and control co-design for discrete-time switched linear systems
Stability analysis of singularly perturbed switched linear systems
Timing contracts for multi-core embedded control systems
Control Subject to Computational and Communication Constraints
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems
Symbolic synthesis for cyber-physical systems
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
Tools for the Analysis of Hybrid Models
Outils pour l’analyse des modèles hybrides
Analyse Algorithmique des Systèmes Hybrides
CentraleSupélec,
bât. Bréguet, 3, rue Joliot Curie,
91190 Gif-sur-Yvette
Supporting institutes
©2022 L2S - All rights reserved, reproduction prohibited.