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
Set Propagation Techniques for Reachability Analysis
Symbolic Models for a Class of Impulsive Systems
Symbolic observer-based controller for uncertain nonlinear systems
Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach
Safety Synthesis for Incrementally Stable Switched Systems using Discretization-Free Multi-Resolution Abstractions
Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
Lyapunov Functions for Shuffle Asymptotic Stability of Discrete-Time Switched Systems
Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems
Event-based boundary control of a linear 2×2 hyperbolic system via backstepping approach
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
Reference Tracking for Linear Time Invariant Systems with a Relay Control
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications
Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads
A symbolic approach to voltage stability and power sharing in time-varying DC microgrids
A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems
Symbolic models for incrementally stable singularly perturbed hybrid affine systems
Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity
Singular perturbation approach for linear coupled ODE-PDE systems
Stability analysis of singularly perturbed switched linear systems
Stabilizability and control co-design for discrete-time switched linear systems
Control Subject to Computational and Communication Constraints
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems
Timing contracts for multi-core embedded control systems
Symbolic synthesis for cyber-physical systems
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
Consensus with constrained convergence rate and time-delays
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
Nos tutelles
©2021 L2S - Tous droits réservés, reproduction interdite.