Antoine Girard

217
Documents

Présentation

Publications

16
16
8
7
6
5
5
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
25
17
15
13
10
10
9
9
8
8
7
7
7
7
7
6
6
6
5
5
5
5
5
4
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Publications

Image document

An Automata Theoretic Approach to Observer Design for Switched Linear Systems

Georges Aazan , Antoine Girard , Luca Greco , Paolo Mason
Automatica, 2024, 165, pp.111689. ⟨10.1016/j.automatica.2024.111689⟩
Article dans une revue hal-04503485 v1
Image document

Feedback Stabilization of Discrete-Time Switched Systems Under Büchi-Constrained Signals

M. Della Rossa , Thiago Alves Lima , Antoine Girard
IEEE Control Systems Letters, 2024, 8, pp.418-423. ⟨10.1109/LCSYS.2024.3391659⟩
Article dans une revue hal-04568067 v1

Approches symboliques pour le contrôle des systèmes non linéaires

Antoine Girard , Pierre-Jean Meyer , Adnane Saoud
Techniques de l'Ingénieur, 2024, ⟨10.51257/a-v1-s7467⟩
Article dans une revue hal-04696141 v1
Image document

Synthesis of Input-to-State Attractivity Controllers for Transition Systems with Disturbances

W. A. Apaza-Perez , Antoine Girard
IEEE Transactions on Automatic Control, 2024, 69 (9), pp.6365 - 6372. ⟨10.1109/TAC.2024.3385068⟩
Article dans une revue hal-03658262 v2
Image document

Nonstandard anti-windup approach for event-triggered control purpose

Carla de Souza , Sophie Tarbouriech , Isabelle Queinnec , Antoine Girard
Systems and Control Letters, 2024, 185, pp.105715. ⟨10.1016/j.sysconle.2024.105715⟩
Article dans une revue hal-04378600 v1
Image document

Data-Driven Models of Monotone Systems

Anas Makdesi , Antoine Girard , Laurent Fribourg
IEEE Transactions on Automatic Control, 2024, 69 (8), pp.5294 - 5309. ⟨10.1109/TAC.2023.3346793⟩
Article dans une revue hal-03709123 v2
Image document

From Relaxed Constraint Satisfaction to p-Invariance of Sets

Sorin Olaru , Martin Soyer , Zhixin Zhao , Carlos Dórea , Ernesto Kofman et al.
IEEE Transactions on Automatic Control, 2024, 69 (10), pp.7036 - 7042. ⟨10.1109/TAC.2024.3394544⟩
Article dans une revue hal-04565096 v1
Image document

Nonlinear Model Predictive Control based on K-step Control Invariant Sets

Zhixin Zhao , Antoine Girard , Sorin Olaru
European Journal of Control, 2024, ⟨10.1016/j.ejcon.2024.101040⟩
Article dans une revue hal-04514594 v2
Image document

Event-triggered Neural Network Control using Quadratic Constraints for Perturbed Systems

Carla de Souza , Antoine Girard , Sophie Tarbouriech
Automatica, 2023, 157, pp.111237. ⟨10.1016/j.automatica.2023.111237⟩
Article dans une revue hal-04154871 v1
Image document

Abstraction of Continuous-time Systems Based on Feedback Controllers and Mixed Monotonicity

Vladimir Sinyakov , Antoine Girard
IEEE Transactions on Automatic Control, 2023, 68 (8), ⟨10.1109/TAC.2022.3205423⟩
Article dans une revue hal-03401432 v2
Image document

Safe Learning-Based Model Predictive Control Using The Compatible Models Approach

Anas Makdesi , Antoine Girard , Laurent Fribourg
European Journal of Control, 2023, 74, pp.100849. ⟨10.1016/j.ejcon.2023.100849⟩
Article dans une revue hal-04134216 v1
Image document

Event-Triggered Neural Network Control for LTI Systems

C. de Souza , Sophie Tarbouriech , A. Girard
IEEE Control Systems Letters, 2023, 7, pp.1381-1386. ⟨10.1109/LCSYS.2023.3242835⟩
Article dans une revue hal-04003097 v1
Image document

Demodulation Methods for a Wireless Electromagnetic Tracker

François Guerret , Pauline Vehrlé , Hendrik Meier , Antoine Girard , Christophe Prieur
IEEE Sensors Letters, 2023, 7 (9), pp.3502304. ⟨10.1109/LSENS.2023.3301842⟩
Article dans une revue hal-04183864 v1
Image document

Abstraction refinement for attractivity controllers using quantitative synthesis

W. A. Apaza-Perez , Antoine Girard
IEEE Transactions on Automatic Control, 2023, 68 (9), pp.5745 - 5751. ⟨10.1109/TAC.2022.3227371⟩
Article dans une revue hal-03658260 v2
Image document

Stability of Shuffled Switched Linear Systems: A Joint Spectral Radius Approach

Georges Aazan , Antoine Girard , Luca Greco , Paolo Mason
Automatica, 2022, 143, pp.110434. ⟨10.1016/j.automatica.2022.110434⟩
Article dans une revue hal-03257026 v3
Image document

Data-Driven Modeling of the Temporal Evolution of Breakers' States in the French Electrical Transmission Grid

Mauricio Gonzalez , Antoine Girard
Nonlinear Analysis: Hybrid Systems, 2022, 46, pp.101215. ⟨10.1016/j.nahs.2022.101215⟩
Article dans une revue hal-03402283 v2
Image document

Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications

Elena A. Ivanova , Adnane Saoud , Antoine Girard
Article dans une revue hal-02933023 v2
Image document

Symbolic observer-based controller for uncertain nonlinear systems

W. A. Apaza-Perez , Antoine Girard , Christophe Combastel , Ali Zolghadri
IEEE Control Systems Letters, 2021, 5 (4), pp.1297-1302. ⟨10.1109/LCSYS.2020.3034274⟩
Article dans une revue hal-02995397 v1
Image document

Formal Controller Synthesis from Specifications Given by Discrete-Time Hybrid Automata

Vladimir Sinyakov , Antoine Girard
Article dans une revue hal-02361404 v2
Image document

Assume-guarantee contracts for continuous-time systems

Adnane Saoud , Antoine Girard , Laurent Fribourg
Article dans une revue hal-02196511 v3
Image document

Symbolic Models for a Class of Impulsive Systems

Abdalla Swikir , Antoine Girard , Majid Zamani
IEEE Control Systems Letters, 2021, 5 (1), pp.247-252. ⟨10.1109/lcsys.2020.3001501⟩
Article dans une revue hal-02861778 v1

Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach

Adnane Saoud , Pushpak Jagtap , Majid Zamani , Antoine Girard
IEEE Transactions on Control of Network Systems, 2021, 8 (2), pp.702-712. ⟨10.1109/TCNS.2021.3050123⟩
Article dans une revue hal-02473873 v1
Image document

Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications

Antoine Girard , Alina Eqtami
Article dans une revue hal-02533407 v2
Image document

Set Propagation Techniques for Reachability Analysis

Matthias Althoff , Goran Frehse , Antoine Girard
Annual Review of Control, Robotics, and Autonomous Systems , 2021, 4 (1), ⟨10.1146/annurev-control-071420-081941⟩
Article dans une revue hal-03048155 v1
Image document

Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems

Adnane Saoud , Antoine Girard , Laurent Fribourg
IEEE Transactions on Automatic Control, 2021, 66 (3), pp.1055-1070. ⟨10.1109/tac.2020.2992446⟩
Article dans une revue hal-02132070 v2

Guest Editorial Introduction to the Special Issue of the IEEE L-CSS on Learning and Control

Giovanni Cherubini , Martin Guay , Sophie Tarbouriech , Kartik Ariyur , Mireille Broucke et al.
IEEE Control Systems Letters, 2020, 4 (3), pp.710-712. ⟨10.1109/LCSYS.2020.2986590⟩
Article dans une revue hal-04490210 v1
Image document

Safety Synthesis for Incrementally Stable Switched Systems using Discretization-Free Multi-Resolution Abstractions

Antoine Girard , Gregor Gössler
Acta Informatica, 2020, 57, pp.245-269. ⟨10.1007/s00236-019-00341-x⟩
Article dans une revue hal-02286661 v1
Image document

Lyapunov Functions for Shuffle Asymptotic Stability of Discrete-Time Switched Systems

Antoine Girard , Paolo Mason
IEEE Control Systems Letters, 2019, 3 (3), pp.499-504. ⟨10.1109/LCSYS.2019.2909731⟩
Article dans une revue hal-02286590 v1
Image document

Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems

Lucien Etienne , Antoine Girard , Luca Greco
Automatica, 2019, 100, pp.388-395. ⟨10.1016/j.automatica.2018.11.014⟩
Article dans une revue hal-02286513 v1
Image document

Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems

Mirko Fiacchini , Marc Jungers , Antoine Girard
Automatica, 2018, 93, pp.64-74. ⟨10.1016/j.automatica.2018.03.039⟩
Article dans une revue hal-01677493 v1
Image document

Optimal Multirate Sampling in Symbolic Models for Incrementally Stable Switched Systems

Adnane Saoud , Antoine Girard
Automatica, 2018, 98, pp.58-65. ⟨10.1016/j.automatica.2018.09.005⟩
Article dans une revue hal-01860113 v1
Image document

Stability analysis of a general class of singularly perturbed linear hybrid systems

Jihene Ben Rejeb , Irinel-Constantin Morarescu , Antoine Girard , Jamal Daafouz
Automatica, 2018, 90, pp.98-108. ⟨10.1016/j.automatica.2017.12.019⟩
Article dans une revue hal-01653073 v1
Image document

Event-based boundary control of a linear 2x2 hyperbolic system via backstepping approach

Nicolás Espitia , Antoine Girard , Nicolas Marchand , Christophe Prieur
IEEE Transactions on Automatic Control, 2018, 63 (8), pp. 2686 - 2693. ⟨10.1109/TAC.2017.2774011⟩
Article dans une revue hal-01592643 v1
Image document

Compositional Abstraction and Safety Synthesis using Overlapping Symbolic Models

Pierre-Jean Meyer , Antoine Girard , Emmanuel Witrant
IEEE Transactions on Automatic Control, 2018, 63 (6), pp.1835-1841. ⟨10.1109/TAC.2017.2753039⟩
Article dans une revue hal-01620532 v1
Image document

Stability Verification and Timing Contract Synthesis for Linear Impulsive Systems using Reachability Analysis

Mohammad Al Khatib , Antoine Girard , Thao Dang
Nonlinear Analysis: Hybrid Systems, 2017, 25, pp.211-226. ⟨10.1016/j.nahs.2016.08.007⟩
Article dans une revue hal-01331737 v1
Image document

Robust controlled invariance for monotone systems: application to ventilation regulation in buildings

Pierre-Jean Meyer , Antoine Girard , Emmanuel Witrant
Automatica, 2016, 70, pp.14-20. ⟨10.1016/j.automatica.2016.03.004⟩
Article dans une revue hal-01276261 v1
Image document

Singular perturbation approximation by means of a $H^2$ Lyapunov function for linear hyperbolic systems

Ying Tang , Christophe Prieur , Antoine Girard
Systems and Control Letters, 2016, 88, pp.24-31. ⟨10.1016/j.sysconle.2015.10.015⟩
Article dans une revue hal-01253479 v1
Image document

Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models

Antoine Girard , Gregor Gössler , Sebti Mouelhi
IEEE Transactions on Automatic Control, 2016, 61 (6), pp.1537-1549. ⟨10.1109/TAC.2015.2478131⟩
Article dans une revue hal-01197426 v2
Image document

Event-based control of linear hyperbolic systems of conservation laws

Nicolás Espitia , Antoine Girard , Nicolas Marchand , Christophe Prieur
Automatica, 2016, 70, pp.275-287. ⟨10.1016/j.automatica.2016.04.009⟩
Article dans une revue hal-01309671 v1
Image document

On the stabilizability of discrete-time switched linear systems: novel conditions and comparisons

Mirko Fiacchini , Antoine Girard , Marc Jungers
IEEE Transactions on Automatic Control, 2016, 61 (5), pp.1181-1193. ⟨10.1109/TAC.2015.2450871⟩
Article dans une revue hal-01185649 v2
Image document

An optimisation approach for stability analysis and controller synthesis of linear hyperbolic systems

Pierre-Olivier Lamare , Antoine Girard , Christophe Prieur
ESAIM: Control, Optimisation and Calculus of Variations, 2016, 22 (4), pp.1236-1263. ⟨10.1051/cocv/2016038⟩
Article dans une revue hal-01331730 v1
Image document

Coordination in networks of linear impulsive agents

Irinel-Constantin Morarescu , Samuel Martin , Antoine Girard , Aurélie Muller-Gueudin
IEEE Transactions on Automatic Control, 2016, 61 (9), pp.2402-2415. ⟨10.1109/TAC.2015.2492058⟩
Article dans une revue hal-01096071 v2
Image document

Singular Perturbation Approximation of Linear Hyperbolic Systems of Balance Laws

Ying Tang , Christophe Prieur , Antoine Girard
IEEE Transactions on Automatic Control, 2016, 61 (10), pp.3031-3037. ⟨10.1109/TAC.2015.2499444⟩
Article dans une revue hal-01276260 v1
Image document

Tikhonov theorem for linear hyperbolic systems

Ying Tang , Christophe Prieur , Antoine Girard
Automatica, 2015, 57, pp.1-10. ⟨10.1016/j.automatica.2015.03.028⟩
Article dans une revue hal-01064805 v1
Image document

Switching rules for stabilization of linear systems of conservation laws

Pierre-Olivier Lamare , Antoine Girard , Christophe Prieur
SIAM Journal on Control and Optimization, 2015, 53 (3), pp.1599-1624. ⟨10.1137/140953952⟩
Article dans une revue hal-01165967 v1

Dynamic triggering mechanisms for event-triggered control

Antoine Girard
IEEE Transactions on Automatic Control, 2015, 60 (7), pp.1992-1997. ⟨10.1109/TAC.2014.2366855⟩
Article dans une revue hal-01170560 v1

Symbolic models for stochastic switched systems: a discretization and a discretization-free approach

Majid Zamani , Alessandro Abate , Antoine Girard
Automatica, 2015, 55, pp.183-196. ⟨10.1016/j.automatica.2015.03.004⟩
Article dans une revue hal-01170568 v1
Image document

Clustered model reduction of positive directed networks

Takayuki Ishizaki , Kenji Kashima , Antoine Girard , Jun-Ichi Imura , Luonan Chen et al.
Automatica, 2015, 59, pp.238-247. ⟨10.1016/j.automatica.2015.06.027⟩
Article dans une revue hal-01276233 v1
Image document

Multi-agent flocking under general communication rule

Samuel Martin , Antoine Girard , Arastoo Fazeli , Ali Jadbabaie
IEEE Transactions on Control of Network Systems, 2014, 1 (2), pp.155-166. ⟨10.1109/TCNS.2014.2316994⟩
Article dans une revue hal-01133202 v1
Image document

Stability of switched linear hyperbolic systems by Lyapunov techniques

Christophe Prieur , Antoine Girard , Emmanuel Witrant
IEEE Transactions on Automatic Control, 2014, 59 (8), pp.2196-2202. ⟨10.1109/TAC.2013.2297191⟩
Article dans une revue hal-00845766 v1
Image document

Low-complexity quantized switching controllers using approximate bisimulation

Antoine Girard
Nonlinear Analysis: Hybrid Systems, 2013, 10, pp.34-44. ⟨10.1016/j.nahs.2013.02.001⟩
Article dans une revue hal-00839610 v1

Continuous-Time Consensus under Persistent Connectivity and Slow Divergence of Reciprocal Interaction Weights

Samuel Martin , Antoine Girard
SIAM Journal on Control and Optimization, 2013, 51 (3), pp.2568-2584. ⟨10.1137/11083438X⟩
Article dans une revue hal-00839608 v1

Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices

Antoine Girard , Samuel Martin
IEEE Transactions on Automatic Control, 2012, 57 (4), pp.1046-1051. ⟨10.1109/TAC.2011.2168874⟩
Article dans une revue hal-00765680 v1

Verification of Safety and Liveness Properties of Metric Transition Systems

Antoine Girard , Gang Zheng
ACM Transactions on Embedded Computing Systems (TECS), 2012, 11 (S2), pp.article 54. ⟨10.1145/2331147.2331164⟩
Article dans une revue hal-00765686 v1

Controller synthesis for safety and reachability via approximate bisimulation

Antoine Girard
Automatica, 2012, 48 (5), pp.947-953. ⟨10.1016/j.automatica.2012.02.037⟩
Article dans une revue hal-00765682 v1

Time-Triggered Implementations of Dynamic Controllers

Truong Nghiem , George J. Pappas , Rajeev Alur , Antoine Girard
ACM Transactions on Embedded Computing Systems (TECS), 2012, 11 (S2), pp.article 58. ⟨10.1145/2331147.2331168⟩
Article dans une revue hal-00765687 v1

Computation of polytopic invariants for polynomial dynamical systems using linear programming

Mohamed Amin Ben Sassi , Antoine Girard
Automatica, 2012, 48 (12), pp.3114-3121. ⟨10.1016/j.automatica.2012.08.014⟩
Article dans une revue hal-00765673 v1

Controller synthesis for robust invariance of polynomial dynamical systems using linear programming

Mohamed Amin Ben Sassi , Antoine Girard
Systems and Control Letters, 2012, 61 (4), pp.506-512. ⟨10.1016/j.sysconle.2012.01.004⟩
Article dans une revue hal-00765679 v1
Image document

Opinion dynamics with decaying confidence: application to community detection in graphs

Irinel-Constantin Morarescu , Antoine Girard
IEEE Transactions on Automatic Control, 2011, 56 (8), pp.1862-1873. ⟨10.1109/TAC.2010.2095315⟩
Article dans une revue hal-00622835 v1

Approximate Bisimulation: A Bridge Between Computer Science and Control Theory

Antoine Girard , George J. Pappas
European Journal of Control, 2011, 17 (5-6), pp.568-578. ⟨10.3166/ejc.17.568-578⟩
Article dans une revue hal-00765660 v1

Reachability analysis of linear systems using support functions

Colas Le Guernic , Antoine Girard
Nonlinear Analysis: Hybrid Systems, 2010, 4 (2), pp.250-262. ⟨10.1016/j.nahs.2009.03.002⟩
Article dans une revue istex hal-00765598 v1

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems

Antoine Girard , Giordano Pola , Paulo Tabuada
IEEE Transactions on Automatic Control, 2010, 55 (1), pp.116-126. ⟨10.1109/TAC.2009.2034922⟩
Article dans une revue hal-00765597 v1

Temporal logic planning for dynamic models

Georgios E. Fainekos , Antoine Girard , Haddas Kress-Gazit , George J. Pappas
Automatica, 2009, 45 (2), pp.343-352. ⟨10.1016/j.automatica.2008.08.008⟩
Article dans une revue istex hal-00379759 v1

Hierarchical control system design using approximate simulation

Antoine Girard , George J. Pappas
Automatica, 2009, 45 (2), pp.566-571. ⟨10.1016/j.automatica.2008.09.016⟩
Article dans une revue istex hal-00379793 v1

Approximately bisimilar symbolic models for nonlinear control systems

Giordano Pola , Antoine Girard , Paulo Tabuada
Automatica, 2008, 44 (10), pp.2508-2516. ⟨10.1016/j.automatica.2008.02.021⟩
Article dans une revue hal-00379755 v1

Approximate simulation relations for hybrid systems

Antoine Girard , Agung A. Julius , George J. Pappas
Discrete Event Dynamic Systems, 2008, 18 (2), pp.163-179. ⟨10.1007/s10626-007-0029-9⟩
Article dans une revue istex hal-00306977 v1

Approximate bisimulation relations for constrained linear systems

Antoine Girard , George J. Pappas
Automatica, 2007, 43 (8), pp.1307-1317. ⟨10.1016/j.automatica.2007.01.019⟩
Article dans une revue hal-00171420 v1

Approximation metrics for discrete and continuous systems

Antoine Girard , George J. Pappas
IEEE Transactions on Automatic Control, 2007, 52 (5), pp.782-798. ⟨10.1109/TAC.2007.895849⟩
Article dans une revue hal-00171421 v1

Hybridization methods for the analysis of nonlinear systems

Eugene Asarin , Thao Dang , Antoine Girard
Acta Informatica, 2007, 43 (7), pp.451-476. ⟨10.1007/s00236-006-0035-7⟩
Article dans une revue istex hal-00157475 v1

Towards a multiresolution approach to linear control

Antoine Girard
IEEE Transactions on Automatic Control, 2006, 51 (8), pp.1261-1270. ⟨10.1109/TAC.2006.878717⟩
Article dans une revue hal-00306968 v1
Image document

Symbolic Control: Unveiling Free Robustness Margins

Youssef Aitsi , Antoine Girard , Adnane Saoud
23rd European Control Conference (ECC25), Jun 2025, Thessalonique, Greece
Communication dans un congrès hal-05051416 v1

Memoryless concretization relation

Julien Calbert , Sébastien Mattenet , Antoine Girard , Raphaël M. Jungers
International Conference on Hybrid Systems: Computation and Control, 2024, Hong Kong, China
Communication dans un congrès hal-04527089 v1
Image document

Online Learning for Safe Model Predictive Control with the Compatible Models Approach ⋆

Anas Makdesi , Antoine Girard , Laurent Fribourg
8th IFAC Conference on Analysis and Design of Hybrid Systems, Jul 2024, Boulder (CO), United States
Communication dans un congrès hal-04577237 v1
Image document

Symbolically Synthesized Motion Primitives for Autonomous Navigation

Zhixin Zhao , Antoine Girard , Sorin Olaru
63rd IEEE Conference on Decision and Control (CDC 2024), Dec 2024, Milan, Italy. ⟨10.1109/cdc56724.2024.10886590⟩
Communication dans un congrès hal-04678873 v1
Image document

Identification of the Bandwidth of a Magneto-Inertial Navigation Filter

Raphaël Neymann , Mathieu Hillion , Hugo Lhachemi , Christophe Prieur , Antoine Girard
4th IFAC MICNON2024, Conference of Modelling, Identification and Control of Nonlinear Systems, IFAC, Sep 2024, Lyon, France. ⟨10.1016/j.ifacol.2024.10.148⟩
Communication dans un congrès hal-04642739 v1
Image document

Minimization of Parameter Sensitivity to Pre-Estimation Errors and its Application to the Calibration of Magnetometer Arrays

Raphaël Neymann , Hendrik Meier , Hugo Lhachemi , Christophe Prieur , Antoine Girard
ECC 2023 - 21st European Control Conference, Jun 2023, Bucarest, Romania. ⟨10.23919/ECC57647.2023.10178334⟩
Communication dans un congrès hal-04072014 v1
Image document

Magneto-Inertial Dead-Reckoning Navigation with Walk Dynamic Model in Indoor Environment

Raphaël Neymann , Alexis Berthou , Jean-François Jourdas , Hugo Lhachemi , Christophe Prieur et al.
IPIN 2023 - 13th International Conference on Indoor Positioning and Indoor Navigation, Sep 2023, Nuremberg, Germany. ⟨10.1109/ipin57070.2023.10332534⟩
Communication dans un congrès hal-04173992 v1
Image document

Predictive and Symbolic Control: Performance and Safety for Non-linear Systems

Zakeye Azaki , Antoine Girard , Sorin Olaru
CAO 2022 - 18th IFAC Workshop on Control Applications of Optimization, Jul 2022, Gif-sur-Yvette, France. pp.290-295, ⟨10.1016/j.ifacol.2022.09.039⟩
Communication dans un congrès hal-03708834 v1
Image document

Stability of discrete-time switched linear systems with ω-regular switching sequences

Georges Aazan , Antoine Girard , Paolo Mason , Luca Greco
HSCC 2022 - 25th ACM International Conference on Hybrid Systems : Computation and Control, May 2022, Milan, Italy. ⟨10.1145/3501710.3519543⟩
Communication dans un congrès hal-03649665 v1
Image document

Invariant Sets for Assume-Guarantee Contracts

Antoine Girard , Alessio Iovine , Sofiane Benberkane
61st IEEE Conference on Decision and Control (CDC 2022), Dec 2022, Cancun, Mexico. ⟨10.1109/cdc51059.2022.9993344⟩
Communication dans un congrès hal-03767014 v1
Image document

On the Joint Spectral Radius of Shuffled Switched Linear Systems

Georges Aazan , Antoine Girard , Luca Greco , Paolo Mason
International Symposium on Mathematical Theory of Networks and Systems, 2022, Bayreuth, Germany
Communication dans un congrès hal-03727152 v1
Image document

Data-Driven Abstraction of Monotone Systems

Anas Makdesi , Antoine Girard , Laurent Fribourg
Learning for Dynamics and Control Conference, Jun 2021, Zurich, Switzerland
Communication dans un congrès hal-03216643 v1

Symbolic observer-based controller for uncertain nonlinear systems

W.A. Apaza-Perez , Antoine Girard , C. Combastel , A. Zolghadri
2021 American Control Conference (ACC), May 2021, New Orleans, United States. pp.3410-3415, ⟨10.23919/ACC50511.2021.9482677⟩
Communication dans un congrès hal-04491984 v1
Image document

Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration

Elena Ivanova , Antoine Girard
7th IFAC Conference on Analysis and Design of Hybrid Systems, Apr 2021, Brussels, Belgium. ⟨10.1016/j.ifacol.2021.08.483⟩
Communication dans un congrès hal-03190435 v1
Image document

Compositional Synthesis of Symbolic Controllers for Attractivity Specifications

W Alejandro Apaza-Perez , Antoine Girard
IEEE 60th Conference on Decision and Control (CDC 2021), Dec 2021, Austin, United States. ⟨10.1109/CDC45484.2021.9682817⟩
Communication dans un congrès hal-03349984 v1
Image document

Efficient Data-Driven Abstraction of Monotone Systems with Disturbances

Anas Makdesi , Antoine Girard , Laurent Fribourg
7th IFAC Conference on Analysis and Design of Hybrid Systems, Jul 2021, Brussels, Belgium. ⟨10.1016/j.ifacol.2021.08.473⟩
Communication dans un congrès hal-03216649 v1
Image document

Abstraction of Monotone Systems Based on Feedback Controllers

Vladimir Sinyakov , Antoine Girard
IFAC 2020 - 21st IFAC World Congress, Jul 2020, Berlin, Germany. ⟨10.1016/j.ifacol.2020.12.2342⟩
Communication dans un congrès hal-02900533 v1
Image document

Lazy Safety Controller Synthesis with Multi-Scale Adaptive-Sampling Abstractions of Nonlinear Systems

Elena Ivanova , Antoine Girard
IFAC 2020 - 21st IFAC World Congress, Jul 2020, Berlin, Germany. ⟨10.1016/j.ifacol.2020.12.2348⟩
Communication dans un congrès hal-02554329 v1
Image document

Formal Synthesis from Control Programs

Vladimir Sinyakov , Antoine Girard
IEEE Conference on Decision and Control, 2020, Jeju Island, South Korea. ⟨10.1109/CDC42340.2020.9304330⟩
Communication dans un congrès hal-02935753 v1
Image document

Safety controller design for incrementally stable switched systems using event-based symbolic models

Zohra Kader , Adnane Saoud , Antoine Girard
ECC 2019 - European Control Conference, Jun 2019, Naples, Italy. ⟨10.23919/ECC.2019.8796232⟩
Communication dans un congrès hal-02054930 v1
Image document

Symbolic models for incrementally stable singularly perturbed hybrid affine systems

Zohra Kader , Antoine Girard
American Control Conference, 2019, Philadelphia, United States. ⟨10.23919/ACC.2019.8815249⟩
Communication dans un congrès hal-02043303 v1
Image document

Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads

Daniele Zonetti , Adnane Saoud , Antoine Girard , Laurent Fribourg
NecSys 2019 - 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Sep 2019, Chicago, United States. ⟨10.1016/j.ifacol.2019.12.148⟩
Communication dans un congrès hal-02208665 v1
Image document

A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems

Alina Eqtami , Antoine Girard
ECC 2019 - European Control Conference, Jun 2019, Naples, Italy. ⟨10.23919/ecc.2019.8796276⟩
Communication dans un congrès hal-02148745 v1
Image document

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications

Adnane Saoud , Elena A. Ivanova , Antoine Girard
58th IEEE Conference on Decision and Control (CDC 2019), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029784⟩
Communication dans un congrès hal-02281945 v2
Image document

Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity

Vladimir Sinyakov , Antoine Girard
58th IEEE Conference on Decision and Control (CDC 2019), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029740⟩
Communication dans un congrès hal-02286407 v1
Image document

A symbolic approach to voltage stability and power sharing in time-varying DC microgrids

Daniele Zonetti , Adnane Saoud , Antoine Girard , Laurent Fribourg
ECC 2019 - European control conference, Jun 2019, Naples, Italy. ⟨10.23919/ecc.2019.8796095⟩
Communication dans un congrès hal-02070070 v1
Image document

Reference Tracking for Linear Time Invariant Systems with a Relay Control

Zohra Kader , Antoine Girard
58th IEEE Conference on Decision and Control (CDC 2019), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9030267⟩
Communication dans un congrès hal-02284785 v1
Image document

Language constrained stabilization of discrete-time switched linear systems: an LMI approach

Marc Jungers , Antoine Girard , Mirko Fiacchini
ADHS 2018 - 6th IFAC Conference on Analysis and Design of Hybrid Systems, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.005⟩
Communication dans un congrès hal-01899003 v1
Image document

On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance

Adnane Saoud , Antoine Girard , Laurent Fribourg
European Control Conference (ECC 2018), 2018, Limassol, Cyprus. ⟨10.23919/ECC.2018.8550622⟩
Communication dans un congrès hal-01712710 v1
Image document

From dissipativity theory to compositional synthesis of symbolic models

Abdalla Swikir , Antoine Girard , Majid Zamani
Indian Control Conference, Jan 2018, Kanpur, India. ⟨10.1109/indiancc.2018.8307949⟩
Communication dans un congrès hal-01620525 v1
Image document

Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems

Adnane Saoud , Pushpak Jagtap , Majid Zamani , Antoine Girard
6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.003⟩
Communication dans un congrès hal-01761180 v1
Image document

LMI-based design of dynamic event-triggering mechanism for linear systems

Sophie Tarbouriech , Antoine Girard
57th IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, United States. pp.121-126, ⟨10.1109/CDC.2018.8619103⟩
Communication dans un congrès hal-02268566 v1
Image document

Contract based Design of Symbolic Controllers for Vehicle Platooning

Adnane Saoud , Antoine Girard , Laurent Fribourg
21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), Apr 2018, Porto, Portugal. pp.277-278, ⟨10.1145/3178126.3187001⟩
Communication dans un congrès hal-02287002 v1
Image document

Symbolic models for incrementally stable switched systems with aperiodic time sampling

Zohra Kader , Antoine Girard , Adnane Saoud
6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.043⟩
Communication dans un congrès hal-01760789 v1

Compositional Synthesis for Symbolic Control

Antoine Girard
21st International Conference on Hybrid Systems: Computation and Control, Apr 2018, Porto, Portugal. pp.136-136, ⟨10.1145/3178126.3196957⟩
Communication dans un congrès hal-02053194 v1
Image document

Dynamic boundary control synthesis of coupled PDE-ODEs for communication networks under fluid flow modeling

Nicolás Espitia , Antoine Girard , Nicolas Marchand , Christophe Prieur
CDC 2017 - 56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. pp.1260-1265, ⟨10.1109/cdc.2017.8263829⟩
Communication dans un congrès hal-01620520 v1
Image document

Safety control, a quantitative approach

Alina Eqtami , Antoine Girard
6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.032⟩
Communication dans un congrès hal-01818644 v1
Image document

Formal Controller Synthesis from Hybrid Programs

Vladimir Sinyakov , Antoine Girard
21st International Conference on Hybrid Systems: Computation and Control, Apr 2018, Porto, Portugal. pp.271-272, ⟨10.1145/3178126.3186998⟩
Communication dans un congrès hal-02053179 v1

Compositional Synthesis of Finite Abstractions for Networks of Systems

Abdalla Swikir , Antoine Girard , Majid Zamani
HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control, Apr 2018, Porto, Portugal. pp.275-276, ⟨10.1145/3178126.3187000⟩
Communication dans un congrès hal-04492493 v1
Image document

Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems

Adnane Saoud , Antoine Girard , Laurent Fribourg
57th IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, FL, United States. ⟨10.1109/CDC.2018.8619099⟩
Communication dans un congrès hal-01857389 v1
Image document

Multirate Symbolic Models for Incrementally Stable Switched Systems

Adnane Saoud , Antoine Girard
IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.912⟩
Communication dans un congrès hal-01540854 v1
Image document

Scheduling of Embedded Controllers Under Timing Contracts

Mohammad Al Khatib , Antoine Girard , Thao Dang
20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2017), Apr 2017, Pittsburgh, PA, United States. pp.131 - 140, ⟨10.1145/3049797.3049816⟩
Communication dans un congrès hal-01540841 v1
Image document

Self-Triggered Control for Sampled-data Systems using Reachability Analysis

Mohammad Al Khatib , Antoine Girard , Thao Dang
IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.745⟩
Communication dans un congrès hal-01540847 v1
Image document

Fluid-flow modeling and stability analysis of communication networks

Nicolás Espitia , Antoine Girard , Nicolas Marchand , Christophe Prieur
IFAC WC 2017 - 20th IFAC World Congress, Jul 2017, Toulouse, France
Communication dans un congrès hal-01576879 v1
Image document

Design of O(ε) dwell-time graph for stability of singularly perturbed hybrid linear systems

Jihene Ben Rejeb , Irinel-Constantin Morarescu , Antoine Girard , Jamal Daafouz
ACC 2017 - American Control Conference, May 2017, Seattle, WA, United States. ⟨10.23919/acc.2017.7963115⟩
Communication dans un congrès hal-01538604 v1
Image document

Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approach

Marc Jungers , Antoine Girard , Mirko Fiacchini
CDC 2016 - 55th IEEE Conference on Decision and Control, Dec 2016, Las Vegas, NV, United States. ⟨10.1109/cdc.2016.7799120⟩
Communication dans un congrès hal-01386851 v1
Image document

Exponential stabilization of language constrained discrete-time switched linear systems: A geometrical approach

Mirko Fiacchini , Marc Jungers , Antoine Girard
ECC 2016 - 15th European Control Conference, Jun 2016, Aalborg, Denmark. pp.2035-2040, ⟨10.1109/ecc.2016.7810591⟩
Communication dans un congrès hal-01294210 v1
Image document

Event-based stabilization of linear systems of conservation laws using a dynamic triggering condition

Nicolás Espitia , Antoine Girard , Nicolas Marchand , Christophe Prieur
NOLCOS 2016 - 10th IFAC Symposium on Nonlinear Control Systems, Aug 2016, Monterey, CA, United States
Communication dans un congrès hal-01309675 v1
Image document

Verification and Synthesis of Timing Contracts for Embedded Controllers

Mohammad Al Khatib , Antoine Girard , Thao Dang
HSCC'16: Proceedings of the 19th international conference on hybrid systems: computation and control, Apr 2016, Vienna, Austria. pp.115-124, ⟨10.1145/2883817.2883827⟩
Communication dans un congrès hal-01276251 v1
Image document

Stability analysis of singularly perturbed switched and impulsive linear systems

Jihene Ben Rejeb , Irinel-Constantin Morarescu , Antoine Girard , Jamal Daafouz
55th IEEE Conference on Decision and Control, CDC 2016, Dec 2016, Las Vegas, NV, United States. ⟨10.1109/cdc.2016.7799117⟩
Communication dans un congrès hal-01379136 v1

Bisimilar symbolic models for stochastic switched systems: A discretization-free approach

Majid Zamani , Antoine Girard
ACC 2015 - American Control Conference, Jul 2015, Chicago, United States. pp.1923-1928, ⟨10.1109/ACC.2015.7171014⟩
Communication dans un congrès hal-01203715 v1
Image document

Stability analysis of a singularly perturbed coupled ODE-PDE system

Ying Tang , Christophe Prieur , Antoine Girard
CDC 2015 - 54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. ⟨10.1109/CDC.2015.7402936⟩
Communication dans un congrès hal-01276239 v1
Image document

Coordination in networks of linear impulsive agents

Irinel-Constantin Morarescu , Samuel Martin , Antoine Girard
53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.3713-3718, ⟨10.1109/CDC.2014.7039967⟩
Communication dans un congrès hal-01076175 v1
Image document

Poster: Symbolic Control of Monotone Systems, Application to Ventilation Regulation in Buildings

Pierre-Jean Meyer , Antoine Girard , Emmanuel Witrant
HSCC 2015 - 18th ACM International Conference on Hybrid Systems: Computation and Control, Apr 2015, Seattle, United States. pp.1817 - 1819, ⟨10.1145/2728606.2728637⟩
Communication dans un congrès hal-01492955 v1
Image document

Numerical Computation of Lyapunov Function for Hyperbolic PDE using LMI Formulation and Polytopic Embeddings

Pierre-Olivier Lamare , Antoine Girard , Christophe Prieur
LPVS 2015 - 1st IFAC Workshop on Linear Parameter Varying Systems, Oct 2015, Grenoble, France
Communication dans un congrès hal-01214441 v1
Image document

Safety control with performance guarantees of cooperative systems using compositional abstractions

Pierre-Jean Meyer , Antoine Girard , Emmanuel Witrant
ADHS 2015 - 5th IFAC Conference on Analysis and Design of Hybrid Systems, IFAC, Oct 2015, Atlanta, GA, United States. pp.317-322, ⟨10.1016/j.ifacol.2015.11.194⟩
Communication dans un congrès hal-01180975 v1
Image document

Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis

Mohammad Al Khatib , Antoine Girard , Thao Dang
Analysis and Design of Hybrid Systems, IFAC, Oct 2015, Atlanta, GA, United States. pp.358-363, ⟨10.1016/j.ifacol.2015.11.200⟩
Communication dans un congrès hal-01276237 v1
Image document

Triggering mechanism using freely selected sensors for linear time-invariant systems

Romain Postoyan , Antoine Girard
54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. pp.4812-4817, ⟨10.1109/CDC.2015.7402970⟩
Communication dans un congrès hal-01204815 v1

Iterative computation of polyhedral invariants sets for polynomial dynamical systems

Mohamed Amin Ben Sassi , Antoine Girard , Sriram Sankaranarayanan
CDC 2014 - IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.6348-6353, ⟨10.1109/CDC.2014.7040384⟩
Communication dans un congrès hal-01133216 v1
Image document

Experimental Implementation of UFAD Regulation based on Robust Controlled Invariance

Pierre-Jean Meyer , Hosein Nazarpour , Antoine Girard , Emmanuel Witrant
ECC 2014 - 13th European Control Conference, Jun 2014, Strasbourg, France. pp.1468-1473, ⟨10.1109/ECC.2014.6862273⟩
Communication dans un congrès hal-00988959 v2

Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems

Antoine Girard
CDC 2014 - IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.824-829, ⟨10.1109/CDC.2014.7039483⟩
Communication dans un congrès hal-01133212 v1
Image document

Approximation of singularly perturbed linear hyperbolic systems

Ying Tang , Christophe Prieur , Antoine Girard
MTNS 2014 - 21st International Symposium on Mathematical Theory of Networks and Systems, Jul 2014, Groningen, Netherlands. 4 p
Communication dans un congrès hal-00997291 v1
Image document

On stabilizability conditions for discrete-time switched linear systems

Mirko Fiacchini , Antoine Girard , Marc Jungers
CDC 2014 - 53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.5469-5474, ⟨10.1109/CDC.2014.7040244⟩
Communication dans un congrès hal-01084388 v1
Image document

Boundary control synthesis for hyperbolic systems: A singular perturbation approach

Ying Tang , Christophe Prieur , Antoine Girard
CDC 2014 - 53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.2840-2845, ⟨10.1109/CDC.2014.7039825⟩
Communication dans un congrès hal-01144135 v1

Compositionality results for cardiac cell dynamics

Md. Ariful Islam , Abhishek Murthy , Antoine Girard , Scott Smolka , Radu Grosu
HSCC '14 - 17th International Conference on Hybrid systems: computation and control, Apr 2014, Berlin, Germany. pp.243-252, ⟨10.1145/2562059.2562138⟩
Communication dans un congrès hal-01133219 v1

Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems

Euriell Le Corronc , Antoine Girard , Gregor Gössler
CDC 2013 - 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3225-3230, ⟨10.1109/CDC.2013.6760375⟩
Communication dans un congrès hal-00924815 v1

An approximate abstraction approach to safety control of differentially flat systems

Alessandro Colombo , Antoine Girard
ECC13 - European Control Conference, Jul 2013, Zurich, Switzerland. pp.4226-4231, ⟨10.23919/ECC.2013.6669178⟩
Communication dans un congrès hal-00839619 v1
Image document

Poster Abstract: Robust Controlled Invariance for UFAD Regulation

Pierre-Jean Meyer , Hosein Nazarpour , Antoine Girard , Emmanuel Witrant
BuildSys 2013 - 5th ACM Workshop on Embedded Systems For Energy ­Efficient Buildings, Nov 2013, Rome, Italy. pp.1 - 2, ⟨10.1145/2528282.2528316⟩
Communication dans un congrès hal-01492943 v1

Control of polynomial dynamical systems on rectangles

Mohamed Amin Ben Sassi , Antoine Girard
ECC13 - European Control Conference, Jul 2013, Zurich, Switzerland. pp.658-663, ⟨10.23919/ECC.2013.6669360⟩
Communication dans un congrès hal-00839615 v1
Image document

Lyapunov stability of a singularly perturbed system of two conservation laws

Ying Tang , Christophe Prieur , Antoine Girard
CPDE 2013 - 1st IFAC Workshop on Control of Systems Modeled by Partial Differential Equations, Sep 2013, Paris, France. pp.227-232, ⟨10.3182/20130925-3-FR-4043.00050⟩
Communication dans un congrès hal-00839621 v1
Image document

Controllability and invariance of monotone systems for robust ventilation automation in buildings

Pierre-Jean Meyer , Antoine Girard , Emmanuel Witrant
CDC 2013 - 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.1289-1294, ⟨10.1109/CDC.2013.6760060⟩
Communication dans un congrès hal-00858715 v1
Image document

A new H2-norm Lyapunov function for the stability of a singularly perturbed system of two conservation laws

Ying Tang , Christophe Prieur , Antoine Girard
CDC 2013 - 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3026-3031, ⟨10.1109/CDC.2013.6760343⟩
Communication dans un congrès hal-00926211 v1
Image document

Lyapunov techniques for stabilization of switched linear systems of conservation laws

Pierre-Olivier Lamare , Antoine Girard , Christophe Prieur
CDC 2013 - 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.448-453, ⟨10.1109/CDC.2013.6759922⟩
Communication dans un congrès hal-00926379 v1
Image document

CoSyMA: A Tool for Controller Synthesis using Multi-scale Abstractions

Sebti Mouelhi , Antoine Girard , Gregor Gössler
16th international conference on Hybrid systems: computation and control, Apr 2013, Philadelphia, United States. pp.83-88, ⟨10.1145/2461328.2461343⟩
Communication dans un congrès hal-04482406 v1

Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations

Mohamed Amin Ben Sassi , Romain Testylier , Thao Dang , Antoine Girard
ATVA 2012 - 10th International Symposium on Automated Technology for Verification and Analysis, Oct 2012, Thiruvananthapuram, India. pp.137-151, ⟨10.1007/978-3-642-33386-6_12⟩
Communication dans un congrès hal-00769672 v1

Multi-Agent Flocking with Random Communication Radius

Samuel Martin , Arastoo Fazeli , Ali Jadbabaie , Antoine Girard
ACC 2012 - 2012 American Control Conference, Jun 2012, Montréal, Canada. pp.3871-3876
Communication dans un congrès hal-00769675 v1

Low-complexity switching controllers for safety using symbolic models

Antoine Girard
4th IFAC Conference on Analysis and Design of Hybrid Systems, Jun 2012, Eindhoven, Netherlands. pp.82-87, ⟨10.3182/20120606-3-NL-3011.00014⟩
Communication dans un congrès hal-00769673 v1

Lyapunov functions for switched linear hyperbolic systems

Christophe Prieur , Antoine Girard , Emmanuel Witrant
ADHS 2012 - 4th IFAC conference on Analysis and Design of Hybrid Systems, Jun 2012, Eindhoven, Netherlands. pp.382-387, ⟨10.3182/20120606-3-NL-3011.00061⟩
Communication dans un congrès hal-00734469 v1

Clustering-Based H2-State Aggregation of Positive Networks and Its Application to Reduction of Chemical Master Equations

Takayuki Ishizaki , Kenji Kashima , Antoine Girard , Jun-Ichi Imura , Luonan Chen et al.
CDC 2012 - 51st IEEE Conference on Decision and Control, Dec 2012, Maui, HI, United States. pp.4175-4180, ⟨10.1109/CDC.2012.6426793⟩
Communication dans un congrès hal-00769676 v1

Synthesis of switching controllers using approximately bisimilar multiscale abstractions

Javier Cámara , Antoine Girard , Gregor Gössler
HSCC 2011 - 14th International Conference on Hybrid Systems: Computation and Control, Apr 2011, Chicago, IL, United States. pp.191-200, ⟨10.1145/1967701.1967730⟩
Communication dans un congrès hal-00665219 v1

SpaceEx: Scalable Verification of Hybrid Systems

Goran Frehse , Colas Le Guernic , Alexandre Donzé , Scott Cotton , Rajarshi Ray et al.
CAV 2011 - 23rd International Conference on Computer Aided Verification, Jul 2011, Snowbird, UT, United States. pp.379-395, ⟨10.1007/978-3-642-22110-1_30⟩
Communication dans un congrès hal-00769608 v1

Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models

Javier Cámara , Antoine Girard , Gregor Gössler
CDC-ECC - 50th IEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. pp.520-525, ⟨10.1109/CDC.2011.6160424⟩
Communication dans un congrès hal-00665226 v1

Sufficient conditions for flocking via graph robustness analysis

Samuel Martin , Antoine Girard
CDC 2010 - 49th IEEE Conference on Decision and Control, Dec 2010, Atlanta, GA, United States. pp.6293-6298, ⟨10.1109/CDC.2010.5717084⟩
Communication dans un congrès hal-00769600 v1

Consensus with constrained convergence rate and time-delays

Irinel-Constantin Morarescu , Silviu-Iulian Niculescu , Antoine Girard
IFAC TDS 2010 - 9th IFAC Workshop on Time Delay Systems, Jun 2010, Prague, Czech Republic. pp.150-155, ⟨10.3182/20100607-3-CZ-4010.00028⟩
Communication dans un congrès hal-00769579 v1

Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications

Antoine Girard
HSCC '10 - 13th ACM International Conference on Hybrid Systems: Computation and Control, Apr 2010, Stockholm, Sweden. pp.111-120, ⟨10.1145/1755952.1755969⟩
Communication dans un congrès hal-00769582 v1

Consensus, flocking and opinion dynamics

Antoine Girard
International Summer School of Automatic Control, Sep 2010, Grenoble, France
Communication dans un congrès hal-00770292 v1

A model of opinion dynamics for community detection in graphs

Irinel-Constantin Morarescu , Antoine Girard
NecSys'10 - 2nd IFAC Workshop on Distributed Estimation and Control in Networked Systems, Sep 2010, Annecy, France. pp.251-256, ⟨10.3182/20100913-2-FR-4014.00001⟩
Communication dans un congrès hal-00769568 v1

Synthesis using approximately bisimilar abstractions: time-optimal control problems

Antoine Girard
CDC 2010 - 49th IEEE Conference on Decision and Control, Dec 2010, Atlanta, GA, United States. pp.5893-5898, ⟨10.1109/CDC.2010.5717756⟩
Communication dans un congrès hal-00769592 v1

Consensus with constrained convergence rate: Agreement in communities

Irinel-Constantin Morarescu , Antoine Girard
CDC 2010 - 49th IEEE Conference on Decision and Control, Dec 2010, Atlanta, GA, United States. pp.6311-6316, ⟨10.1109/CDC.2010.5717635⟩
Communication dans un congrès hal-00769604 v1

Bounded and unbounded safety verification using bisimulation metrics

Gang Zheng , Antoine Girard
HSCC 2009 - 12th International Conference Hybrid Systems: Computation and Control, Apr 2009, San Francisco, CA, United States. pp.426-440, ⟨10.1007/978-3-642-00602-9_30⟩
Communication dans un congrès istex hal-00379746 v1

Reachability Analysis of Hybrid Systems Using Support Functions

Colas Le Guernic , Antoine Girard
CAV 2009 - 21st International Conference on Computer Aided Verification, Jun 2009, Grenoble, France. pp.540-554, ⟨10.1007/978-3-642-02658-4_40⟩
Communication dans un congrès hal-00769527 v1

Vérification des systèmes hybrides

Antoine Girard
École des Journées Doctoriales du GDR MACS, Mar 2009, Angers, France
Communication dans un congrès hal-00770289 v1

Symbolic models of control systems

Antoine Girard
Heterogeneity in control systems, May 2009, Nancy, France
Communication dans un congrès hal-00770290 v1

Systèmes à commutation, stabilité, représentation symbolique et commande

Antoine Girard
Groupe de Travail "Systèmes dynamiques hybrides" du GDR MACS, Jan 2008, Paris, France
Communication dans un congrès hal-00770284 v1

Modèles symboliques de systèmes dynamiques pour la conception de systèmes embarqués sûrs

Antoine Girard
Colloque en hommage à Louis Bolliet : l'Informatique à Venir, May 2008, Grenoble, France
Communication dans un congrès hal-00307089 v1

Zonotope/hyperplane intersection for hybrid systems reachability analysis

Antoine Girard , Colas Le Guernic
HSCC 2008 - Hybrid Systems: Computation and Control, Apr 2008, St. Louis, MO, United States. pp.215-228, ⟨10.1007/978-3-540-78929-1_16⟩
Communication dans un congrès istex hal-00306993 v1

Approximately bisimilar symbolic models for incrementally stable switched systems

Antoine Girard , Giordano Pola , Paulo Tabuada
HSCC 2008 - Hybrid Systems: Computation and Control, Apr 2008, Saint Louis, MO, United States. pp.201-214, ⟨10.1007/978-3-540-78929-1_15⟩
Communication dans un congrès istex hal-00306990 v1

Motion planning for nonlinear systems using hybridizations and robust controllers on simplices

Antoine Girard , Samuel Martin
CDC 2008 - 47th IEEE Conference on Decision and Control, Dec 2008, Cancun, Mexico. pp.239-244, ⟨10.1109/CDC.2008.4738758⟩
Communication dans un congrès hal-00379740 v1

Efficient reachability analysis for linear systems using support functions

Antoine Girard , Colas Le Guernic
IFAC World Congress, Jul 2008, Séoul, South Korea. pp.8966-8971, ⟨10.3182/20080706-5-KR-1001.0569⟩
Communication dans un congrès hal-00307009 v1

Approximately bisimilar finite abstractions of stable linear systems

Antoine Girard
HSCC 2007 - Hybrid Systems: Computation and Control, Apr 2007, Pisa, Italy. pp.231-244, ⟨10.1007/978-3-540-71493-4_20⟩
Communication dans un congrès istex hal-00306999 v1

Symbolic models for nonlinear control systems using approximate bisimulation

Giordano Pola , Antoine Girard , Paulo Tabuada
CDC - 46th IEEE Conference on Decision and Control, Dec 2007, New Orleans, LA, United States. pp.4656-4661, ⟨10.1109/CDC.2007.4434911⟩
Communication dans un congrès hal-00307012 v1

Approximate hierarchies of linear control systems

Antoine Girard , George J. Pappas
CDC - 46th IEEE Conference on Decision and Control, Dec 2007, New Orleans, LA, United States. pp.3727-3732, ⟨10.1109/CDC.2007.4434071⟩
Communication dans un congrès hal-00307020 v1

Presentation of the VAL-AMS project

Antoine Girard
Grand Colloque STIC, Nov 2007, Paris, France
Communication dans un congrès hal-00307092 v1

Méthodes algorithmiques pour l'analyse des systèmes hybrides

Antoine Girard
Journées Nationales du GDR MACS, Jul 2007, Reims, France
Communication dans un congrès hal-00307096 v1

Hierarchical synthesis of hybrid controllers from temporal logics specifications

Georgios E. Fainekos , Antoine Girard , George J. Pappas
HSCC 2007 - Hybrid Systems: Computation and Control, Apr 2007, Pisa, Italy. pp.203-216, ⟨10.1007/978-3-540-71493-4_18⟩
Communication dans un congrès istex hal-00306996 v1

Zonotope techniques for reachability analysis

Antoine Girard
Workshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States
Communication dans un congrès hal-00171716 v1

Hierarchical control using approximate simulation relations

Antoine Girard , George J. Pappas
45th IEEE Conference on Decision and Control, Dec 2006, San Diego, United States. pp.264-269, ⟨10.1109/CDC.2006.377051⟩
Communication dans un congrès hal-00307028 v1

Approximate bisimulations for nonlinear dynamical systems

Antoine Girard , George J. Pappas
Conference on Decision and Control and European Control Conference, Dec 2005, Seville, Spain. pp.684-689, ⟨10.1109/CDC.2005.1582235⟩
Communication dans un congrès hal-00171559 v1

Approximate bisimulations for constrained linear systems

Antoine Girard , George J. Pappas
Conference on Decision and Control and European Control Conference, Dec 2005, Seville, Spain. pp.4700-4705, ⟨10.1109/CDC.2005.1582904⟩
Communication dans un congrès hal-00171539 v1

Efficient computation of reachable sets of linear time-invariant systems with inputs

Antoine Girard , Colas Le Guernic , Oded Maler
Hybrid Systems: Computation and Control, HSCC 2006, Mar 2006, Santa Barbara, United States. pp.257-271, ⟨10.1007/11730637_2⟩
Communication dans un congrès hal-00171555 v1

Temporal logic verification using simulation

Georgios E. Fainekos , Antoine Girard , George J. Pappas
Formal Modelling and Analysis of Timed Systems, FORMATS 2006, Sep 2006, Paris, France. pp.171-186, ⟨10.1007/11867340_1⟩
Communication dans un congrès istex hal-00171560 v1

Approximate bisimulation for a class of stochastic hybrid systems

Agung A. Julius , Antoine Girard , George J. Pappas
American Control Conference, Jun 2006, Portland, United States. pp.4724-4729, ⟨10.1109/ACC.2006.1657467⟩
Communication dans un congrès hal-00171556 v1

Verification using simulation

Antoine Girard , George J. Pappas
Hybrid Systems: Computation and Control, HSCC 2006, Mar 2006, Santa Barbara, United States. pp.272-286, ⟨10.1007/11730637_22⟩
Communication dans un congrès istex hal-00171538 v1

Recent progress in continuous and hybrid reachability analysis

Eugene Asarin , Thao Dang , Goran Frehse , Antoine Girard , Colas Le Guernic et al.
IEEE International Symposium on Computer-Aided Control Systems Design 2006, Oct 2006, Munich, Germany. pp.1582 - 1587, ⟨10.1109/CACSD-CCA-ISIC.2006.4776877⟩
Communication dans un congrès hal-00307031 v1

Approximation metrics for discrete and continuous systems

Antoine Girard
Workshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States
Communication dans un congrès hal-00171714 v1

Relations de simulation approchées pour la vérification des systèmes dynamiques continus et hybrides

Antoine Girard
Groupe de travail "Systèmes Dynamiques Hybrides", Feb 2006, Paris, France
Communication dans un congrès hal-00171715 v1

Approximate simulation relations for hybrid systems

Antoine Girard , Agung A. Julius , George J. Pappas
2nd IFAC Conference on Analysis and Design of Hybrid Systems, Jun 2006, Alghero, Italy. pp.106-111, ⟨10.3182/20060607-3-IT-3902.00022⟩
Communication dans un congrès hal-00307035 v1

Time-triggered implementations of dynamic controllers

Truong Nghiem , George J. Pappas , Rajeev Alur , Antoine Girard
Conference on Embedded Software, EMSOFT'06, Oct 2006, Seoul, South Korea. pp.2-11, ⟨10.1145/1176887.1176890⟩
Communication dans un congrès hal-00171553 v1

Quantifying the gap between embedded control models and time-triggered implementations

Hakan Yazarel , Antoine Girard , George J. Pappas , Rajeev Alur
26th IEEE Real-Time Systems Symposium, Dec 2005, Miami Beach, United States. pp.111-120, ⟨10.1109/RTSS.2005.35⟩
Communication dans un congrès hal-00307047 v1

Reachability of uncertain linear systems using zonotopes

Antoine Girard
Hybrid Systems: Computation and Control, Mar 2005, Zurich, Switzerland. pp.291-305, ⟨10.1007/978-3-540-31954-2_19⟩
Communication dans un congrès istex hal-00307003 v1

Optimal control of linear systems: a multiresolution approach

Antoine Girard
43rd IEEE Conference on Decision and Control, Dec 2004, Nassau, Bahamas. pp.1806-1811, ⟨10.1109/CDC.2004.1430311⟩
Communication dans un congrès hal-00307049 v1

Computation and stability analysis of limit cycles in piecewise linear hybrid systems

Antoine Girard
1st IFAC Conference on Analysis and Design of Hybrid Systems, Jun 2003, St Malo, France. pp.181-186, ⟨10.1016/S1474-6670(17)36428-5⟩
Communication dans un congrès hal-00307053 v1

Reachability analysis of non-linear systems using conservative approximations

Eugene Asarin , Thao Dang , Antoine Girard
Hybrid Systems: Computation and Control, Apr 2003, Prague, Czech Republic. pp.20-35, ⟨10.1007/3-540-36580-X_5⟩
Communication dans un congrès istex hal-00307007 v1

Approximate solutions of ODEs using piecewise linear vector fields

Antoine Girard
5th International Workshop on Computer Algebra in Scientific Computing, Sep 2002, Yalta, Ukraine. pp.107-120
Communication dans un congrès hal-00307056 v1

Detection of event occurrence in piecewise linear hybrid systems

Antoine Girard
4th International Conference on Recent Advances in Soft Computing, RASC 2002, Dec 2002, Nottingham, United Kingdom. pp.19-25
Communication dans un congrès hal-00307055 v1

Control Subject to Computational and Communication Constraints

Sophie Tarbouriech , Antoine Girard , Laurentiu Hetel
Springer, 475, 376p., 2018, Lecture Notes in Control and Information Sciences, 978-3-319-78448-9. ⟨10.1007/978-3-319-78449-6⟩
Ouvrages hal-01818954 v1

Layers Update of Neural Network Control via Event-Triggering Mechanism

Sophie Tarbouriech , Carla de Souza , Antoine Girard
Hybrid and Networked Dynamical Systems, 493, Springer Nature Switzerland, pp.253-272, 2024, Lecture Notes in Control and Information Sciences, 978-3-031-49555-7. ⟨10.1007/978-3-031-49555-7_11⟩
Chapitre d'ouvrage hal-04527093 v1

A Joint Spectral Radius for $$\omega $$-Regular Language-Driven Switched Linear Systems

Georges Aazan , Antoine Girard , Paolo Mason , Luca Greco
Hybrid and Networked Dynamical Systems, 493, Springer Nature Switzerland, pp.161-178, 2024, Lecture Notes in Control and Information Sciences, ⟨10.1007/978-3-031-49555-7_7⟩
Chapitre d'ouvrage hal-04527099 v1

Singular perturbation approach for linear coupled ODE-PDE systems

Ying Tang , Christophe Prieur , Antoine Girard
Giorgio Valmorbida and Alexandre Seuret and Islam Boussaada and Rifat Sipahi. Delays and Interconnections: Methodology, Algorithms and Applications, 10, Springer, pp.3-17, 2019, Advances in Delays and Dynamics book series, ⟨10.1007/978-3-030-11554-8_1⟩
Chapitre d'ouvrage hal-02372335 v1

Stability analysis of singularly perturbed switched linear systems

Jihene Ben Rejeb , Irinel-Constantin Morarescu , Antoine Girard , Jamal Daafouz
Tarbouriech, Sophie and Girard, Antoine and Hetel, Laurentiu. Control Subject to Computational and Communication Constraints, 475, Springer, pp.47-61, 2018, Lecture Notes in Control and Information Sciences, 978-3-319-78448-9. ⟨10.1007/978-3-319-78449-6_3⟩
Chapitre d'ouvrage hal-01862551 v1
Image document

Stabilizability and control co-design for discrete-time switched linear systems

Mirko Fiacchini , Marc Jungers , Antoine Girard , Sophie Tarbouriech
Tarbouriech, Sophie and Girard, Antoine and Hetel, Laurentiu. Control Subject to Computational and Communication Constraints, 475, Springer, pp.25-46, 2018, Lecture Notes in Control and Information Sciences, 978-3-319-78448-9. ⟨10.1007/978-3-319-78449-6_2⟩
Chapitre d'ouvrage hal-01856317 v1

Timing contracts for multi-core embedded control systems

Mohammad Al Khatib , Antoine Girard , Thao Dang
Sophie Tarbouriech, Antoine Girard, Laurentiu Hetel. Control subject to Computational and Communication Constraints, 475, Springer, pp.97-118, 2018, Lecture Notes in Control and Information Sciences, ⟨10.1007/978-3-319-78449-6_6⟩
Chapitre d'ouvrage hal-01912683 v1

Symbolic synthesis for cyber-physical systems

Matthias Rungger , Antoine Girard , Paulo Tabuada
Raj Rajkumar; Dionisio de Niz; Mark Klein. Cyber-Physical Systems, Addison Wesley, 2017, SEI Series in Software Engineering
Chapitre d'ouvrage hal-01620555 v1

Tools for the Analysis of Hybrid Models

Thao Dang , Goran Frehse , Antoine Girard , Colas Le Guernic
Claude Jard, Olivier H. Roux. Communicating Embedded Systems: Software and Design, Hermès, 2009, Wiley-ISTE, 978-1-84821-143-8
Chapitre d'ouvrage hal-00765812 v1

Outils pour l'analyse des modèles hybrides

Thao Dang , Goran Frehse , Antoine Girard , Colas Le Guernic
Olivier H. Roux, Claude Jard. Approches formelles des systèmes embarqués communicants, Hermès, 2008, Traité IC2, série Informatique et systèmes d'information
Chapitre d'ouvrage hal-00765809 v1
Image document

Analyse Algorithmique des Systèmes Hybrides

Antoine Girard
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2004. Français. ⟨NNT : ⟩
Thèse tel-00007064 v1
Image document

Computational Approaches to Analysis and Control of Hybrid Systems

Antoine Girard
Optimization and Control [math.OC]. Université de Grenoble, 2013
HDR tel-00908913 v1

Symbolic Control of Nonlinear Systems: Safety, Optimization and Learning

Antoine Girard
Doctoral. 44th International Summer School of Automatic Control, Grenoble, France. 2023
Cours hal-04410084 v1

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems

Alessandro Abate , Antoine Girard , W. P. Maurice H. Heemels
6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
Proceedings/Recueil des communications hal-01912654 v1

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control

Antoine Girard , Sriram Sankaranarayanan
18th International Conference on Hybrid Systems: Computation and Control, Apr 2015, Seattle, United States. 2015
Proceedings/Recueil des communications hal-01170573 v1