Antoine GIRARD
Senior researcher
antoine.girard@l2s.centralesupelec.fr
L2S, CentraleSupélec
Bât. Breguet B2.26b
3 rue Joliot Curie
91190 Gif-sur-Yvette, France
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
Abstraction of Monotone Systems Based on Feedback Controllers
Singular perturbation approach for linear coupled ODE-PDE systems
Control Subject to Computational and Communication Constraints
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems
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,
bât. Bréguet, 3, rue Joliot Curie,
91190 Gif-sur-Yvette
Tutelles
©2023 L2S - Tous droits réservés, reproduction interdite.