Antoine Girard

225
Documents

Présentation

Publications

17
16
8
7
6
5
5
4
4
4
4
4
4
4
3
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
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
7
7
6
6
5
5
5
5
5
4
4
4
4
4
4
4
3
3
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
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Publications

Deposit thumbnail

Symbolic Control: Unveiling Free Robustness Margins

Youssef Aitsi , Antoine Girard , Adnane Saoud

European Journal of Control, 2025, pp.101296. ⟨10.1016/j.ejcon.2025.101296⟩

Article dans une revue hal-05051416v2
Deposit thumbnail

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-04503485v1
Deposit thumbnail

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-04568067v1

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-04696141v1
Deposit thumbnail

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-03658262v2
Deposit thumbnail

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-04378600v1
Deposit thumbnail

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-04565096v1
Deposit thumbnail

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-03709123v2
Deposit thumbnail

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-04514594v2
Deposit thumbnail

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-04154871v1
Deposit thumbnail

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-04183864v1
Deposit thumbnail

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-04134216v1
Deposit thumbnail

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-04003097v1
Deposit thumbnail

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-03401432v2
Deposit thumbnail

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-03658260v2
Deposit thumbnail

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-03257026v3
Deposit thumbnail

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-03402283v2
Deposit thumbnail

Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications

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

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-02995397v1
Deposit thumbnail

Assume-guarantee contracts for continuous-time systems

Adnane Saoud , Antoine Girard , Laurent Fribourg Article dans une revue hal-02196511v3
Deposit thumbnail

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

Vladimir Sinyakov , Antoine Girard Article dans une revue hal-02361404v2
Deposit thumbnail

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-02861778v1

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-02473873v1
Deposit thumbnail

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

Antoine Girard , Alina Eqtami Article dans une revue hal-02533407v2
Deposit thumbnail

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-02132070v2
Deposit thumbnail

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-03048155v1

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-04490210v1
Deposit thumbnail

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-02286661v1
Deposit thumbnail

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-02286590v1
Deposit thumbnail

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-02286513v1
Deposit thumbnail

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-01677493v1
Deposit thumbnail

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-01860113v1
Deposit thumbnail

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-01653073v1
Deposit thumbnail

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-01592643v1
Deposit thumbnail

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-01620532v1
Deposit thumbnail

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-01331737v1
Deposit thumbnail

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-01276261v1
Deposit thumbnail

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-01253479v1
Deposit thumbnail

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-01197426v2
Deposit thumbnail

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-01309671v1
Deposit thumbnail

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-01185649v2
Deposit thumbnail

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-01331730v1
Deposit thumbnail

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-01276260v1
Deposit thumbnail

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-01096071v2
Deposit thumbnail

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-01064805v1

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-01170568v1
Deposit thumbnail

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-01165967v1

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-01170560v1
Deposit thumbnail

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-01276233v1
Deposit thumbnail

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-01133202v1
Deposit thumbnail

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-00845766v1
Deposit thumbnail

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-00839610v1

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-00839608v1

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-00765680v1

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-00765687v1

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-00765682v1

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-00765686v1

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-00765673v1

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-00765679v1
Deposit thumbnail

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-00622835v1

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-00765660v1

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-00765598v1

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-00765597v1

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-00379759v1

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-00379793v1

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-00379755v1

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-00306977v1

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-00171421v1

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 istex hal-00171420v1

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-00157475v1

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-00306968v1
Deposit thumbnail

Safe navigation using NMPC based on a K-invariant set and its exploration features

Zhixin Zhao , Antoine Girard , Sorin Olaru

IEEE Conference on Decision and Control, Dec 2025, Rio de Janeiro, Brazil., Brazil

Communication dans un congrès hal-05333296v1
Deposit thumbnail

Enhanced convex lifting for environment with complex shaped obstacles

Zhixin Zhao , Turan Konyalioglu , Sorin Olaru , Antoine Girard , Silviu-Iulian Niculescu

ICSTCC 2025 - 29th International Conference on System Theory, Control and Computing, Oct 2025, Cluj-Napoca, Romania

Communication dans un congrès hal-05228107v1
Deposit thumbnail

Continuous-Time Nonlinear Optimal Control Problem Under Signal Temporal Logic Constraints

En Lai , Riccardo Bonalli , Antoine Girard , Frédéric Jean

IEEE Conference on Decision and Control, 2025, Rio de Janeiro, Brazil

Communication dans un congrès hal-05354088v1
Deposit thumbnail

Estimating the Impacts of Topological Changes in Sub-Transmission Areas Using Hybrid Observers

Artur Henrique dos Santos Heerdt , Alessio Iovine , Guillaume Ganet--Lepage , Sorin Olaru , Antoine Girard

IFAC Workshop on Smart Energy Systems for Efficient and Sustainable Smart Grids and Smart Cities, Jun 2025, Bari, Italy

Communication dans un congrès hal-05230570v1

Memoryless concretization relation

Julien Calbert , Sébastien Mattenet , Antoine Girard , Raphaël M. Jungers

International Conference on Hybrid Systems: Computation and Control, May 2024, Hong Kong, China. ⟨10.1145/3641513.3650132⟩

Communication dans un congrès hal-04527089v1
Deposit thumbnail

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. pp.147-152, ⟨10.1016/j.ifacol.2024.07.439⟩

Communication dans un congrès hal-04577237v1
Deposit thumbnail

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-04678873v1
Deposit thumbnail

Identification of the Bandwidth of a Magneto-Inertial Navigation Filter

Raphaël Neymann , Mathieu Hillion , Hugo Lhachemi , Christophe Prieur , Antoine Girard

MICNON 2024 - 4th IFAC Conference on 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-04642739v1
Deposit thumbnail

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-04173992v1
Deposit thumbnail

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-04072014v1
Deposit thumbnail

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-03708834v1
Deposit thumbnail

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-03649665v1
Deposit thumbnail

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-03767014v1
Deposit thumbnail

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-03727152v1
Deposit thumbnail

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-03216643v1

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-04491984v1
Deposit thumbnail

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-03349984v1
Deposit thumbnail

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-03190435v1
Deposit thumbnail

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-03216649v1
Deposit thumbnail

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-02900533v1
Deposit thumbnail

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-02554329v1
Deposit thumbnail

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-02935753v1
Deposit thumbnail

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-02054930v1
Deposit thumbnail

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-02281945v2
Deposit thumbnail

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-02043303v1
Deposit thumbnail

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-02208665v1
Deposit thumbnail

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-02148745v1
Deposit thumbnail

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-02286407v1
Deposit thumbnail

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-02070070v1
Deposit thumbnail

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-02284785v1
Deposit thumbnail

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-01712710v1
Deposit thumbnail

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-01899003v1
Deposit thumbnail

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-01620520v1
Deposit thumbnail

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-01818644v1

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-02053194v1
Deposit thumbnail

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-02268566v1
Deposit thumbnail

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-01620525v1
Deposit thumbnail

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-01761180v1
Deposit thumbnail

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-02287002v1
Deposit thumbnail

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-01760789v1
Deposit thumbnail

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-02053179v1

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-04492493v1
Deposit thumbnail

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-01857389v1
Deposit thumbnail

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-01540854v1
Deposit thumbnail

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-01540847v1
Deposit thumbnail

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-01540841v1
Deposit thumbnail

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-01576879v1
Deposit thumbnail

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-01538604v1
Deposit thumbnail

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-01294210v1
Deposit thumbnail

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-01386851v1
Deposit thumbnail

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-01309675v1
Deposit thumbnail

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-01276251v1
Deposit thumbnail

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-01379136v1

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-01203715v1
Deposit thumbnail

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-01276239v1
Deposit thumbnail

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-01076175v1
Deposit thumbnail

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-01492955v1
Deposit thumbnail

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-01180975v1
Deposit thumbnail

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-01214441v1
Deposit thumbnail

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-01276237v1
Deposit thumbnail

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-01204815v1

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-01133216v1
Deposit thumbnail

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-00988959v2

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-01133212v1
Deposit thumbnail

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-00997291v1

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-01133219v1
Deposit thumbnail

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-01144135v1
Deposit thumbnail

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-01084388v1

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-00924815v1

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-00839619v1
Deposit thumbnail

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-00839621v1

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-00839615v1
Deposit thumbnail

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-01492943v1
Deposit thumbnail

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-00926211v1
Deposit thumbnail

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-00858715v1
Deposit thumbnail

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-00926379v1
Deposit thumbnail

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-04482406v1

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, ⟨10.1109/ACC.2012.6315594⟩

Communication dans un congrès hal-00769675v1

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-00769672v1

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-00769673v1

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-00734469v1

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-00769676v1

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 istex hal-00769608v1

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-00665219v1

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-00665226v1

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-00769582v1

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-00769600v1

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-00769579v1

Consensus, flocking and opinion dynamics

Antoine Girard

International Summer School of Automatic Control, Sep 2010, Grenoble, France

Communication dans un congrès hal-00770292v1

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-00769568v1

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-00769604v1

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-00769592v1

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-00379746v1

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-00769527v1

Symbolic models of control systems

Antoine Girard

Heterogeneity in control systems, May 2009, Nancy, France

Communication dans un congrès hal-00770290v1

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-00770289v1

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-00770284v1

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-00307089v1

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-00306993v1

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 hal-00306990v1

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-00307009v1

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-00379740v1

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-00306999v1

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-00307020v1

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-00307012v1

Presentation of the VAL-AMS project

Antoine Girard

Grand Colloque STIC, Nov 2007, Paris, France

Communication dans un congrès hal-00307092v1

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-00307096v1

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-00306996v1

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-00171716v1

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-00171555v1

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-00171539v1

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-00307028v1

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-00171559v1

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-00171556v1

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-00171560v1

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-00171538v1

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-00307031v1

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-00171714v1

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-00171715v1

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-00171553v1

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-00307035v1

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-00307047v1

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-00307003v1

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-00307049v1

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-00307053v1

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-00307007v1

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-00307056v1

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-00307055v1

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-01818954v1

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-04527093v1

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-04527099v1

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-02372335v1

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-01912683v1

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-01862551v1
Deposit thumbnail

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-01856317v1

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-01620555v1

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-00765812v1

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-00765809v1
Deposit thumbnail

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-00007064v1
Deposit thumbnail

Computational Approaches to Analysis and Control of Hybrid Systems

Antoine Girard

Optimization and Control [math.OC]. Université de Grenoble, 2013

HDR tel-00908913v1

Symbolic Control of Nonlinear Systems: Safety, Optimization and Learning

Antoine Girard

Doctoral. 44th International Summer School of Automatic Control, Grenoble, France. 2023

Cours hal-04410084v1

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-01912654v1

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-01170573v1