Antoine Girard

Présentation

Publications

Article dans une revue (73)

Switching Constraints as a Design Tool for Predictive Control Based on K-Invariant Sets Zhixin Zhao,Antoine Girard,Sorin Olaru Nonlinear Analysis: Hybrid Systems, 2026, 61, pp.101723. ⟨10.1016/j.nahs.2026.101723⟩ Article dans une revue hal-05602625v1
Reachability Sequences of Minimal Length for Discrete-Time Switched Linear Control Systems Paolo Mason,Antoine Girard Automatica, 2026, 189, pp.113013. ⟨10.1016/j.automatica.2026.113013⟩ Article dans une revue hal-05144446v2
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
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
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
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
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
From Relaxed Constraint Satisfaction to p-Invariance of Sets Sorin Olaru,Martin Soyer,Zhixin Zhao,Carlos Dórea,Ernesto Kofmanet al. IEEE Transactions on Automatic Control, 2024, 69 (10), pp.7036 - 7042. ⟨10.1109/TAC.2024.3394544⟩ Article dans une revue hal-04565096v1
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
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
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
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
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
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
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
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
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
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
Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications Elena A. Ivanova,Adnane Saoud,Antoine Girard Automatica, 2022, 135, ⟨10.1016/j.automatica.2021.109993⟩ Article dans une revue hal-02933023v2
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
Formal Controller Synthesis from Specifications Given by Discrete-Time Hybrid Automata Vladimir Sinyakov,Antoine Girard Automatica, 2021, 131, ⟨10.1016/j.automatica.2021.109768⟩ Article dans une revue hal-02361404v2
Assume-guarantee contracts for continuous-time systems Adnane Saoud,Antoine Girard,Laurent Fribourg Automatica, 2021, 134, ⟨10.1016/j.automatica.2021.109910⟩ Article dans une revue hal-02196511v3
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
Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications Antoine Girard,Alina Eqtami Automatica, 2021, 127, ⟨10.1016/j.automatica.2021.109543⟩ Article dans une revue hal-02533407v2
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
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 Brouckeet al. IEEE Control Systems Letters, 2020, 4 (3), pp.710-712. ⟨10.1109/LCSYS.2020.2986590⟩ Article dans une revue hal-04490210v1
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Clustered model reduction of positive directed networks Takayuki Ishizaki,Kenji Kashima,Antoine Girard,Jun-Ichi Imura,Luonan Chenet al. Automatica, 2015, 59, pp.238-247. ⟨10.1016/j.automatica.2015.06.027⟩ Article dans une revue hal-01276233v1
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
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
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
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
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
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
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
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 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

Communication dans un congrès (130)

Risk-Averse Control for Continuous-Time Stochastic System Under Signal Temporal Logic Constraints En Lai,Riccardo Bonalli,Antoine Girard,Frédéric Jean European Control Conference, Jul 2026, Reykjavik, Iceland Communication dans un congrès hal-05363332v2
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
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
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
Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control Antoine Aspeel,Antoine Girard,Thiago Alves Lima European Control Conference, Jul 2026, Reykjavik, Iceland Communication dans un congrès hal-05600662v1
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
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
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
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
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
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
Magneto-Inertial Dead-Reckoning Navigation with Walk Dynamic Model in Indoor Environment Raphaël Neymann,Alexis Berthou,Jean-François Jourdas,Hugo Lhachemi,Christophe Prieuret 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 Chenet 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
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
SpaceEx: Scalable Verification of Hybrid Systems Goran Frehse,Colas Le Guernic,Alexandre Donzé,Scott Cotton,Rajarshi Rayet 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
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
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
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
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
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
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
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
Symbolic models of control systems Antoine Girard Heterogeneity in control systems, May 2009, Nancy, France Communication dans un congrès hal-00770290v1
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
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
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
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
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 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
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 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
Recent progress in continuous and hybrid reachability analysis Eugene Asarin,Thao Dang,Goran Frehse,Antoine Girard,Colas Le Guernicet 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
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
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

Ouvrages (1)

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

Chapitre d'ouvrage (9)

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

Pré-publication, Document de travail (4)

Approximate Simulation-based Hierarchical Control of Nonlinear Systems Zirui Niu,Antoine Girard,Giordano Scarciotti 2026 Pré-publication, Document de travail hal-05600783v1
Optimal Control Problem Under Signal Temporal Logic Constraints: A Robust Reformulation using Augmented Dynamics En Lai,Riccardo Bonalli,Antoine Girard,Frédéric Jean 2025 Pré-publication, Document de travail hal-05199224v1
Feedback stabilization of switched systems under arbitrary switching: A convex characterization Thiago Alves Lima,Matteo Della Rossa,Antoine Girard 2025 Pré-publication, Document de travail hal-05099329v1
Characterizing simulation relations through control architectures in abstraction-based control Julien Calbert,Antoine Girard,Raphaël Jungers 2024 Pré-publication, Document de travail hal-04737441v1

Rapport (2)

Singular perturbation approximation of linear hyperbolic systems of balance laws (full version) Ying Tang,Christophe Prieur,Antoine Girard [Research Report] Gipsa-Lab. 2015 Rapport (rapport de recherche) hal-01175825v2
CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions Sebti Mouelhi,Antoine Girard,Gregor Gössler [Research Report] RR-8108, INRIA. 2012 Rapport (rapport de recherche) hal-00743982v1

Thèse (1)

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

HDR (1)

Computational Approaches to Analysis and Control of Hybrid Systems Antoine Girard Optimization and Control [math.OC]. Université de Grenoble, 2013 HDR tel-00908913v1

Cours (1)

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/Recueil des communications (2)

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

N°spécial de revue/special issue (2)

Special Issue on Advances in Analysis and Design of Hybrid Systems Alessandro Abate,Antoine Girard,W. P. Maurice H. Heemels Nonlinear Analysis: Hybrid Systems, 2022 N°spécial de revue/special issue hal-04347655v1
Special issue on Hybrid Systems: Computation and Control Martin Fränzle,Antoine Girard,John Lygeros,Sriram Sankaranarayanan Nonlinear Analysis: Hybrid Systems, 27, pp.174 - 176, 2018, ⟨10.1016/j.nahs.2017.07.001⟩ N°spécial de revue/special issue hal-01620539v1

Logiciel (2)

Tutorial example on symbolic control Antoine Girard 2024, ⟨swh:1:dir:5110928e070a6511d09db3fb7297037caf12fc0e;origin=https://hal.archives-ouvertes.fr/hal-04395222;visit=swh:1:snp:c47f8fec5c61bb09dc87a99b390dec5e1ce1ee69;anchor=swh:1:rel:daa380504456409c9156cfdd87f1b118f78cde4b;path=/⟩ Logiciel hal-04395222v1
Co4Pro: A toolbox for synthesis of Correct by Construction Controllers from Control Programs Vladimir Sinyakov,Antoine Girard 2023, ⟨swh:1:dir:5c62ea044ce40b050886271515038cca667a8faf;origin=https://hal.archives-ouvertes.fr/hal-04357662;visit=swh:1:snp:a855a4cf0840212268fcd9c56adc77d479ccfaa4;anchor=swh:1:rel:30a5ae6435d61eaad2cae8b468200e7c1e9b583a;path=/⟩ Logiciel hal-04357662v1