Skip to Main content

Keywords

Co-authors

Number of documents

190

Antoine Girard


Antoine Girard is a Senior Researcher (Directeur de Recherche) at CNRS and a member of the Laboratory of Signals and Systems.

He received the diplôme d'ingénieur from the Ecole Nationale Supérieure d'Informatique et de Mathématiques Appliquées de Grenoble (ENSIMAG) and the Master degree in Applied Mathematics from the Université Joseph Fourier, both in 2001. He received the Ph.D. in Applied Mathematics from the Institut National Polytechnique de Grenoble in September 2004 and the "Habilitation à Diriger des Recherches" from the University of Grenoble in November 2013. 

From October 2004 to December 2005, he was a postdoctoral researcher at the Department of Electrical and Systems Engineering of University of Pennsylvania and from January 2006 to August 2006, he was a postdoctoral researcher at the Verimag Laboratory. From September 2006 to October 2015, he was an Associate Professor at the Université Joseph Fourier and a member of the Jean Kuntzmann Laboratory. In November 2015, he joined the CNRS as a Senior Researcher. 

His research interests deal with analysis and control of hybrid systems with an emphasis on computational approaches, approximation, abstraction and applications to cyber-physical systems. He is also interested in multi-agent and distributed parameter systems.

Antoine Girard received the George S. Axelby Outstanding Paper Award from the IEEE Control Systems Society in 2009. In 2014, he was awarded the CNRS Bronze Medal. In 2015, he was appointed as a junior member of the Institut Universitaire de France (IUF). He is on the editorial board of the IEEE Transactions on Automatic Control. In 2015, he co-chaired the International Conference on Hybrid Systems: Computation and Control (HSCC’15).

 


Journal articles57 documents

Conference papers116 documents

  • Georges Aazan, Antoine Girard, Paolo Mason, Luca Greco. Stability of discrete-time switched linear systems with ω-regular switching sequences. 25th ACM International Conference on Hybrid Systems: Computation and Control, May 2022, Milan, Italy. ⟨10.1145/3501710.3519543⟩. ⟨hal-03649665⟩
  • Zakeye Azaki, Antoine Girard, Sorin Olaru. Predictive and Symbolic Control: Performance and Safety for Non-linear Systems. CAO 2022 - 18th IFAC Workshop on Control Applications of Optimization, Jul 2022, Gif-sur-Yvette, France. ⟨hal-03708834⟩
  • Georges Aazan, Antoine Girard, Luca Greco, Paolo Mason. On the Joint Spectral Radius of Shuffled Switched Linear Systems. International Symposium on Mathematical Theory of Networks and Systems, 2022, Bayreuth, Germany. ⟨hal-03727152⟩
  • Antoine Girard, Alessio Iovine, Sofiane Benberkane. Invariant Sets for Assume-Guarantee Contracts. 61st IEEE Conference on Decision and Control 2022, Dec 2022, Cancun, Mexico. ⟨hal-03767014⟩
  • Elena Ivanova, Antoine Girard. Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration. 7th IFAC Conference on Analysis and Design of Hybrid Systems, Apr 2021, Brussels, Belgium. ⟨hal-03190435⟩
  • W Alejandro Apaza-Perez, Antoine Girard. Compositional Synthesis of Symbolic Controllers for Attractivity Specifications. 60th IEEE conference on Decision and Control, Dec 2021, Austin, United States. ⟨10.1109/CDC45484.2021.9682817⟩. ⟨hal-03349984⟩
  • Anas Makdesi, Antoine Girard, Laurent Fribourg. Data-Driven Abstraction of Monotone Systems. Learning for Dynamics and Control Conference, Jun 2021, Zurich, Switzerland. ⟨hal-03216643⟩
  • Anas Makdesi, Antoine Girard, Laurent Fribourg. Efficient Data-Driven Abstraction of Monotone Systems with Disturbances. IFAC Conference on Analysis and Design of Hybrid Systems, Jul 2021, Brussels, Belgium. ⟨10.1016/j.ifacol.2021.08.473⟩. ⟨hal-03216649⟩
  • Vladimir Sinyakov, Antoine Girard. Abstraction of Monotone Systems Based on Feedback Controllers. 21st IFAC World Congress, 2020, Berlin, Germany. ⟨10.1016/j.ifacol.2020.12.2342⟩. ⟨hal-02900533⟩
  • Vladimir Sinyakov, Antoine Girard. Formal Synthesis from Control Programs. IEEE Conference on Decision and Control, 2020, Jeju Island, South Korea. ⟨10.1109/CDC42340.2020.9304330⟩. ⟨hal-02935753⟩
  • Elena Ivanova, Antoine Girard. Lazy Safety Controller Synthesis with Multi-Scale Adaptive-Sampling Abstractions of Nonlinear Systems. 21st IFAC World Congress, 2020, Berlin, Germany. ⟨10.1016/j.ifacol.2020.12.2348⟩. ⟨hal-02554329⟩
  • Zohra Kader, Antoine Girard. Symbolic models for incrementally stable singularly perturbed hybrid affine systems. American Control Conference, 2019, Philadelphia, United States. ⟨10.23919/ACC.2019.8815249⟩. ⟨hal-02043303⟩
  • Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg. A symbolic approach to voltage stability and power sharing in time-varying DC microgrids. ECC 2019 - European control conference, Jun 2019, Naples, Italy. ⟨10.23919/ecc.2019.8796095⟩. ⟨hal-02070070⟩
  • Vladimir Sinyakov, Antoine Girard. Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity. IEEE Conference on Decision and Control, 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029740⟩. ⟨hal-02286407⟩
  • Zohra Kader, Antoine Girard. Reference Tracking for Linear Time Invariant Systems with a Relay Control. IEEE Conference on Decision and Control, Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9030267⟩. ⟨hal-02284785⟩
  • Zohra Kader, Adnane Saoud, Antoine Girard. Safety controller design for incrementally stable switched systems using event-based symbolic models. European Control Conference, 2019, Naples, Italy. ⟨10.23919/ECC.2019.8796232⟩. ⟨hal-02054930⟩
  • Adnane Saoud, Elena A. Ivanova, Antoine Girard. Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications. IEEE Conference on Decision and Control, Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029784⟩. ⟨hal-02281945v2⟩
  • Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg. Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads. 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⟩. ⟨hal-02208665⟩
  • Alina Eqtami, Antoine Girard. A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems. ECC 2019 - European Control Conference, Jun 2019, Naples, Italy. ⟨10.23919/ecc.2019.8796276⟩. ⟨hal-02148745⟩
  • Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard. Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. 6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.003⟩. ⟨hal-01761180⟩
  • Abdalla Swikir, Antoine Girard, Majid Zamani. From dissipativity theory to compositional synthesis of symbolic models. Indian Control Conference, Jan 2018, Kanpur, India. ⟨10.1109/indiancc.2018.8307949⟩. ⟨hal-01620525⟩
  • Sophie Tarbouriech, Antoine Girard. LMI-based design of dynamic event-triggering mechanism for linear systems. IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, United States. pp.121-126, ⟨10.1109/CDC.2018.8619103⟩. ⟨hal-02268566⟩
  • Vladimir Sinyakov, Antoine Girard. Formal Controller Synthesis from Hybrid Programs. 21st International Conference on Hybrid Systems: Computation and Control, Apr 2018, Porto, Portugal. pp.271-272, ⟨10.1145/3178126.3186998⟩. ⟨hal-02053179⟩
  • Adnane Saoud, Antoine Girard, Laurent Fribourg. Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems. 57th IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, FL, United States. ⟨10.1109/CDC.2018.8619099⟩. ⟨hal-01857389⟩
  • Adnane Saoud, Antoine Girard, Laurent Fribourg. On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance. European Control Conference (ECC 2018), 2018, Limassol, Cyprus. ⟨10.23919/ECC.2018.8550622⟩. ⟨hal-01712710⟩
  • Marc Jungers, Antoine Girard, Mirko Fiacchini. Language constrained stabilization of discrete-time switched linear systems: an LMI approach. 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.005⟩. ⟨hal-01899003⟩
  • Alina Eqtami, Antoine Girard. Safety control, a quantitative approach. 6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.032⟩. ⟨hal-01818644⟩
  • Antoine Girard. Compositional Synthesis for Symbolic Control. 21st International Conference on Hybrid Systems: Computation and Control, Apr 2018, Porto, Portugal. pp.136-136, ⟨10.1145/3178126.3196957⟩. ⟨hal-02053194⟩
  • Zohra Kader, Antoine Girard, Adnane Saoud. Symbolic models for incrementally stable switched systems with aperiodic time sampling. 6th IFAC Conference on Analysis and Design of Hybrid System, ADHS 2018, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.043⟩. ⟨hal-01760789⟩
  • Adnane Saoud, Antoine Girard, Laurent Fribourg. Contract based Design of Symbolic Controllers for Vehicle Platooning. 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), Apr 2018, Porto, Portugal. pp.277-278, ⟨10.1145/3178126.3187001⟩. ⟨hal-02287002⟩
  • Jihene Ben Rejeb, Irinel-Constantin Morarescu, Antoine Girard, Jamal Daafouz. Design of O(ε) dwell-time graph for stability of singularly perturbed hybrid linear systems. ACC 2017 - American Control Conference, May 2017, Seattle, WA, United States. ⟨10.23919/acc.2017.7963115⟩. ⟨hal-01538604⟩
  • Adnane Saoud, Antoine Girard. Multirate Symbolic Models for Incrementally Stable Switched Systems. IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.912⟩. ⟨hal-01540854⟩
  • Mohammad Al Khatib, Antoine Girard, Thao Dang. Self-Triggered Control for Sampled-data Systems using Reachability Analysis. IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.745⟩. ⟨hal-01540847⟩
  • Mohammad Al Khatib, Antoine Girard, Thao Dang. Scheduling of Embedded Controllers Under Timing Contracts. 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⟩. ⟨hal-01540841⟩
  • Nicolás Espitia, Antoine Girard, Nicolas Marchand, Christophe Prieur. Dynamic boundary control synthesis of coupled PDE-ODEs for communication networks under fluid flow modeling. CDC 2017 - 56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. pp.1260-1265, ⟨10.1109/cdc.2017.8263829⟩. ⟨hal-01620520⟩
  • Nicolás Espitia, Antoine Girard, Nicolas Marchand, Christophe Prieur. Fluid-flow modeling and stability analysis of communication networks. IFAC WC 2017 - 20th IFAC World Congress, Jul 2017, Toulouse, France. ⟨hal-01576879⟩
  • Jihene Ben Rejeb, Irinel-Constantin Morarescu, Antoine Girard, Jamal Daafouz. Stability analysis of singularly perturbed switched and impulsive linear systems. 55th IEEE Conference on Decision and Control, CDC 2016, Dec 2016, Las Vegas, NV, United States. ⟨10.1109/cdc.2016.7799117⟩. ⟨hal-01379136⟩
  • Nicolás Espitia, Antoine Girard, Nicolas Marchand, Christophe Prieur. Event-based stabilization of linear systems of conservation laws using a dynamic triggering condition. NOLCOS 2016 - 10th IFAC Symposium on Nonlinear Control Systems, Aug 2016, Monterey, CA, United States. ⟨hal-01309675⟩
  • Mirko Fiacchini, Marc Jungers, Antoine Girard. Exponential stabilization of language constrained discrete-time switched linear systems: A geometrical approach. ECC 2016 - 15th European Control Conference, Jun 2016, Aalborg, Denmark. pp.2035-2040, ⟨10.1109/ecc.2016.7810591⟩. ⟨hal-01294210⟩
  • Marc Jungers, Antoine Girard, Mirko Fiacchini. Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approach. 55th IEEE Conference on Decision and Control, CDC 2016, Dec 2016, Las Vegas, NV, United States. ⟨10.1109/cdc.2016.7799120⟩. ⟨hal-01386851⟩
  • Mohammad Al Khatib, Antoine Girard, Thao Dang. Verification and Synthesis of Timing Contracts for Embedded Controllers. 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⟩. ⟨hal-01276251⟩
  • Ying Tang, Christophe Prieur, Antoine Girard. Stability analysis of a singularly perturbed coupled ODE-PDE system. CDC 2015 - 54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. ⟨10.1109/CDC.2015.7402936⟩. ⟨hal-01276239⟩
  • Pierre-Olivier Lamare, Antoine Girard, Christophe Prieur. Numerical Computation of Lyapunov Function for Hyperbolic PDE using LMI Formulation and Polytopic Embeddings. LPVS 2015 - 1st IFAC Workshop on Linear Parameter Varying Systems, Oct 2015, Grenoble, France. ⟨hal-01214441⟩
  • Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant. Safety control with performance guarantees of cooperative systems using compositional abstractions. ADHS 2015 - 5th IFAC Conference on Analysis and Design of Hybrid Systems, IFAC, Oct 2015, Atlanta, Georgie, United States. pp.317-322, ⟨10.1016/j.ifacol.2015.11.194⟩. ⟨hal-01180975⟩
  • Mohammad Al Khatib, Antoine Girard, Thao Dang. Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis. Analysis and Design of Hybrid Systems, IFAC, Oct 2015, Atlanta, United States. pp.358-363, ⟨10.1016/j.ifacol.2015.11.200⟩. ⟨hal-01276237⟩
  • Majid Zamani, Antoine Girard. Bisimilar symbolic models for stochastic switched systems: A discretization-free approach. ACC 2015 - American Control Conference, Jul 2015, Chicago, United States. pp.1923-1928, ⟨10.1109/ACC.2015.7171014⟩. ⟨hal-01203715⟩
  • Romain Postoyan, Antoine Girard. Triggering mechanism using freely selected sensors for linear time-invariant systems. 54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. pp.4812-4817, ⟨10.1109/CDC.2015.7402970⟩. ⟨hal-01204815⟩
  • Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant. Poster: Symbolic Control of Monotone Systems, Application to Ventilation Regulation in Buildings. HSCC 2015 - 18th ACM International Conference on Hybrid Systems: Computation and Control, Apr 2015, Seattle, United States. pp.1817 - 1819, ⟨10.1145/2728606.2728637⟩. ⟨hal-01492955⟩
  • Mohamed Amin Ben Sassi, Antoine Girard, Sriram Sankaranarayanan. Iterative computation of polyhedral invariants sets for polynomial dynamical systems. CDC 2014 - IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.6348-6353, ⟨10.1109/CDC.2014.7040384⟩. ⟨hal-01133216⟩
  • Ying Tang, Christophe Prieur, Antoine Girard. Boundary control synthesis for hyperbolic systems: A singular perturbation approach. CDC 2014 - 53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.2840-2845, ⟨10.1109/CDC.2014.7039825⟩. ⟨hal-01144135⟩
  • Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott Smolka, Radu Grosu. Compositionality results for cardiac cell dynamics. HSCC '14 - 17th International Conference on Hybrid systems: computation and control, Apr 2014, Berlin, Germany. pp.243-252, ⟨10.1145/2562059.2562138⟩. ⟨hal-01133219⟩
  • Mirko Fiacchini, Antoine Girard, Marc Jungers. On stabilizability conditions for discrete-time switched linear systems. CDC 2014 - 53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.5469-5474, ⟨10.1109/CDC.2014.7040244⟩. ⟨hal-01084388⟩
  • Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant. Experimental Implementation of UFAD Regulation based on Robust Controlled Invariance. ECC 2014 - 13th European Control Conference, Jun 2014, Strasbourg, France. pp.1468-1473, ⟨10.1109/ECC.2014.6862273⟩. ⟨hal-00988959v2⟩
  • Irinel-Constantin Morarescu, Samuel Martin, Antoine Girard. Coordination in networks of linear impulsive agents. 53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.3713-3718, ⟨10.1109/CDC.2014.7039967⟩. ⟨hal-01076175⟩
  • Antoine Girard. Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems. CDC 2014 - IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.824-829, ⟨10.1109/CDC.2014.7039483⟩. ⟨hal-01133212⟩
  • Ying Tang, Christophe Prieur, Antoine Girard. Approximation of singularly perturbed linear hyperbolic systems. MTNS 2014 - 21st International Symposium on Mathematical Theory of Networks and Systems, Jul 2014, Groningen, Netherlands. 4 p. ⟨hal-00997291⟩
  • Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant. Controllability and invariance of monotone systems for robust ventilation automation in buildings. CDC 2013 - 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.1289-1294, ⟨10.1109/CDC.2013.6760060⟩. ⟨hal-00858715⟩
  • Ying Tang, Christophe Prieur, Antoine Girard. A new H2-norm Lyapunov function for the stability of a singularly perturbed system of two conservation laws. CDC 2013 - 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3026-3031, ⟨10.1109/CDC.2013.6760343⟩. ⟨hal-00926211⟩
  • Pierre-Olivier Lamare, Antoine Girard, Christophe Prieur. Lyapunov techniques for stabilization of switched linear systems of conservation laws. CDC 2013 - 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.448-453, ⟨10.1109/CDC.2013.6759922⟩. ⟨hal-00926379⟩
  • Sebti Mouelhi, Antoine Girard, Gregor Goessler. CoSyMA: a tool for controller synthesis using multi-scale abstractions. HSCC'13 - 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphie, United States. pp.83-88, ⟨10.1145/2461328.2461343⟩. ⟨hal-00839613⟩
  • Alessandro Colombo, Antoine Girard. An approximate abstraction approach to safety control of differentially flat systems. ECC13 - European Control Conference, Jul 2013, Zurich, Switzerland. pp.4226-4231, ⟨10.23919/ECC.2013.6669178⟩. ⟨hal-00839619⟩
  • Euriell Le Corronc, Antoine Girard, Gregor Gössler. Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems. CDC 2013 - 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3225-3230, ⟨10.1109/CDC.2013.6760375⟩. ⟨hal-00924815⟩
  • Mohamed Amin Ben Sassi, Antoine Girard. Control of polynomial dynamical systems on rectangles. ECC13 - European Control Conference, Jul 2013, Zurich, Switzerland. pp.658-663, ⟨10.23919/ECC.2013.6669360⟩. ⟨hal-00839615⟩
  • Ying Tang, Christophe Prieur, Antoine Girard. Lyapunov stability of a singularly perturbed system of two conservation laws. 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⟩. ⟨hal-00839621⟩
  • Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant. Poster Abstract: Robust Controlled Invariance for UFAD Regulation. BuildSys 2013 - 5th ACM Workshop on Embedded Systems For Energy ­Efficient Buildings, Nov 2013, Rome, Italy. pp.1 - 2, ⟨10.1145/2528282.2528316⟩. ⟨hal-01492943⟩
  • Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard. Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. 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⟩. ⟨hal-00769672⟩
  • Christophe Prieur, Antoine Girard, Emmanuel Witrant. Lyapunov functions for switched linear hyperbolic systems. 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⟩. ⟨hal-00734469⟩
  • Samuel Martin, Arastoo Fazeli, Ali Jadbabaie, Antoine Girard. Multi-Agent Flocking with Random Communication Radius. ACC 2012 - 2012 American Control Conference, Jun 2012, Montréal, Canada. pp.3871-3876. ⟨hal-00769675⟩
  • Takayuki Ishizaki, Kenji Kashima, Antoine Girard, Jun-Ichi Imura, Luonan Chen, et al.. Clustering-Based H2-State Aggregation of Positive Networks and Its Application to Reduction of Chemical Master Equations. CDC 2012 - 51st IEEE Conference on Decision and Control, Dec 2012, Maui, Hawaii, United States. pp.4175-4180, ⟨10.1109/CDC.2012.6426793⟩. ⟨hal-00769676⟩
  • Antoine Girard. Low-complexity switching controllers for safety using symbolic models. 4th IFAC Conference on Analysis and Design of Hybrid Systems, Jun 2012, Eindhoven, Netherlands. pp.82-87, ⟨10.3182/20120606-3-NL-3011.00014⟩. ⟨hal-00769673⟩
  • Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, et al.. SpaceEx: Scalable Verification of Hybrid Systems. 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⟩. ⟨hal-00769608⟩
  • Javier Cámara, Antoine Girard, Gregor Gössler. Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC 2011 - 14th International Conference on Hybrid Systems: Computation and Control, Apr 2011, Chicago, IL, United States. pp.191-200, ⟨10.1145/1967701.1967730⟩. ⟨hal-00665219⟩
  • Javier Cámara, Antoine Girard, Gregor Gössler. Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models. 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⟩. ⟨hal-00665226⟩
  • Samuel Martin, Antoine Girard. Sufficient conditions for flocking via graph robustness analysis. CDC 2010 - 49th IEEE Conference on Decision and Control, Dec 2010, Atlanta, GA, United States. pp.6293-6298, ⟨10.1109/CDC.2010.5717084⟩. ⟨hal-00769600⟩
  • Irinel-Constantin Morarescu, Antoine Girard. A model of opinion dynamics for community detection in graphs. 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⟩. ⟨hal-00769568⟩
  • Antoine Girard. Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications. HSCC '10 - 13th ACM International Conference on Hybrid Systems: Computation and Control, Apr 2010, Stockholm, Sweden. pp.111-120, ⟨10.1145/1755952.1755969⟩. ⟨hal-00769582⟩
  • Irinel-Constantin Morarescu, Antoine Girard. Consensus with constrained convergence rate: Agreement in communities. CDC 2010 - 49th IEEE Conference on Decision and Control, Dec 2010, Atlanta, Georgie, United States. pp.6311-6316, ⟨10.1109/CDC.2010.5717635⟩. ⟨hal-00769604⟩
  • Antoine Girard. Synthesis using approximately bisimilar abstractions: time-optimal control problems. CDC 2010 - 49th IEEE Conference on Decision and Control, Dec 2010, Atlanta, GA, United States. pp.5893-5898, ⟨10.1109/CDC.2010.5717756⟩. ⟨hal-00769592⟩
  • Irinel-Constantin Morarescu, Silviu-Iulian Niculescu, Antoine Girard. Consensus with constrained convergence rate and time-delays. 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⟩. ⟨hal-00769579⟩
  • Antoine Girard. Consensus, flocking and opinion dynamics. International Summer School of Automatic Control, Sep 2010, Grenoble, France. ⟨hal-00770292⟩
  • Antoine Girard. Vérification des systèmes hybrides. École des Journées Doctoriales du GDR MACS, Mar 2009, Angers, France. ⟨hal-00770289⟩
  • Antoine Girard. Symbolic models of control systems. Heterogeneity in control systems, May 2009, Nancy, France. ⟨hal-00770290⟩
  • Gang Zheng, Antoine Girard. Bounded and unbounded safety verification using bisimulation metrics. 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⟩. ⟨hal-00379746⟩
  • Colas Le Guernic, Antoine Girard. Reachability Analysis of Hybrid Systems Using Support Functions. CAV 2009 - 21st International Conference on Computer Aided Verification, Jun 2009, Grenoble, France. pp.540-554, ⟨10.1007/978-3-642-02658-4_40⟩. ⟨hal-00769527⟩
  • Antoine Girard. Systèmes à commutation, stabilité, représentation symbolique et commande. Groupe de Travail "Systèmes dynamiques hybrides" du GDR MACS, Jan 2008, Paris, France. ⟨hal-00770284⟩
  • Antoine Girard, Giordano Pola, Paulo Tabuada. Approximately bisimilar symbolic models for incrementally stable switched systems. 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⟩. ⟨hal-00306990⟩
  • Antoine Girard, Colas Le Guernic. Zonotope/hyperplane intersection for hybrid systems reachability analysis. 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⟩. ⟨hal-00306993⟩
  • Antoine Girard, Colas Le Guernic. Efficient reachability analysis for linear systems using support functions. IFAC World Congress, Jul 2008, Séoul, South Korea. pp.8966-8971, ⟨10.3182/20080706-5-KR-1001.0569⟩. ⟨hal-00307009⟩
  • Antoine Girard, Samuel Martin. Motion planning for nonlinear systems using hybridizations and robust controllers on simplices. CDC 2008 - 47th IEEE Conference on Decision and Control, Dec 2008, Cancun, Mexico. pp.239-244, ⟨10.1109/CDC.2008.4738758⟩. ⟨hal-00379740⟩
  • Antoine Girard. Modèles symboliques de systèmes dynamiques pour la conception de systèmes embarqués sûrs. Colloque en hommage à Louis Bolliet : l'Informatique à Venir, May 2008, Grenoble, France. ⟨hal-00307089⟩
  • Antoine Girard. Presentation of the VAL-AMS project. Grand Colloque STIC, Nov 2007, Paris, France. ⟨hal-00307092⟩
  • Antoine Girard. Méthodes algorithmiques pour l'analyse des systèmes hybrides. Journées Nationales du GDR MACS, Jul 2007, Reims, France. ⟨hal-00307096⟩
  • Georgios E. Fainekos, Antoine Girard, George J. Pappas. Hierarchical synthesis of hybrid controllers from temporal logics specifications. HSCC 2007 - Hybrid Systems: Computation and Control, Apr 2007, Pisa, Italy. pp.203-216, ⟨10.1007/978-3-540-71493-4_18⟩. ⟨hal-00306996⟩
  • Antoine Girard. Approximately bisimilar finite abstractions of stable linear systems. HSCC 2007 - Hybrid Systems: Computation and Control, Apr 2007, Pisa, Italy. pp.231-244, ⟨10.1007/978-3-540-71493-4_20⟩. ⟨hal-00306999⟩
  • Antoine Girard, George J. Pappas. Approximate hierarchies of linear control systems. CDC - 46th IEEE Conference on Decision and Control, Dec 2007, New Orleans, LA, United States. pp.3727-3732, ⟨10.1109/CDC.2007.4434071⟩. ⟨hal-00307020⟩
  • Giordano Pola, Antoine Girard, Paulo Tabuada. Symbolic models for nonlinear control systems using approximate bisimulation. CDC - 46th IEEE Conference on Decision and Control, Dec 2007, New Orleans, LA, United States. pp.4656-4661, ⟨10.1109/CDC.2007.4434911⟩. ⟨hal-00307012⟩
  • Antoine Girard, George J. Pappas. Hierarchical control using approximate simulation relations. 45th IEEE Conference on Decision and Control, Dec 2006, San Diego, United States. pp.264-269, ⟨10.1109/CDC.2006.377051⟩. ⟨hal-00307028⟩
  • Antoine Girard, George J. Pappas. Verification using simulation. Hybrid Systems: Computation and Control, HSCC 2006, Mar 2006, Santa Barbara, United States. pp.272-286, ⟨10.1007/11730637_22⟩. ⟨hal-00171538⟩
  • Antoine Girard. Approximation metrics for discrete and continuous systems. Workshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States. ⟨hal-00171714⟩
  • Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic, et al.. Recent progress in continuous and hybrid reachability analysis. IEEE International Symposium on Computer-Aided Control Systems Design 2006, Oct 2006, Munich, Germany. pp.1582 - 1587, ⟨10.1109/CACSD-CCA-ISIC.2006.4776877⟩. ⟨hal-00307031⟩
  • Antoine Girard. Relations de simulation approchées pour la vérification des systèmes dynamiques continus et hybrides. Groupe de travail "Systèmes Dynamiques Hybrides", Feb 2006, Paris, France. ⟨hal-00171715⟩
  • Antoine Girard. Zonotope techniques for reachability analysis. Workshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States. ⟨hal-00171716⟩
  • Antoine Girard, Colas Le Guernic, Oded Maler. Efficient computation of reachable sets of linear time-invariant systems with inputs. Hybrid Systems: Computation and Control, HSCC 2006, Mar 2006, Santa Barbara, United States. pp.257-271, ⟨10.1007/11730637_2⟩. ⟨hal-00171555⟩
  • Antoine Girard, Agung A. Julius, George J. Pappas. Approximate simulation relations for hybrid systems. 2nd IFAC Conference on Analysis and Design of Hybrid Systems, Jun 2006, Alghero, Italy. pp.106-111, ⟨10.3182/20060607-3-IT-3902.00022⟩. ⟨hal-00307035⟩
  • Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard. Time-triggered implementations of dynamic controllers. Conference on Embedded Software, EMSOFT'06, Oct 2006, Seoul, South Korea. pp.2-11, ⟨10.1145/1176887.1176890⟩. ⟨hal-00171553⟩
  • Agung A. Julius, Antoine Girard, George J. Pappas. Approximate bisimulation for a class of stochastic hybrid systems. American Control Conference, Jun 2006, Portland, United States. pp.4724-4729, ⟨10.1109/ACC.2006.1657467⟩. ⟨hal-00171556⟩
  • Georgios E. Fainekos, Antoine Girard, George J. Pappas. Temporal logic verification using simulation. Formal Modelling and Analysis of Timed Systems, FORMATS 2006, Sep 2006, Paris, France. pp.171-186, ⟨10.1007/11867340_1⟩. ⟨hal-00171560⟩
  • Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur. Quantifying the gap between embedded control models and time-triggered implementations. 26th IEEE Real-Time Systems Symposium, Dec 2005, Miami Beach, United States. pp.111-120, ⟨10.1109/RTSS.2005.35⟩. ⟨hal-00307047⟩
  • Antoine Girard, George J. Pappas. Approximate bisimulations for constrained linear systems. Conference on Decision and Control and European Control Conference, Dec 2005, Seville, Spain. pp.4700-4705, ⟨10.1109/CDC.2005.1582904⟩. ⟨hal-00171539⟩
  • Antoine Girard. Reachability of uncertain linear systems using zonotopes. Hybrid Systems: Computation and Control, Mar 2005, Zurich, Switzerland. pp.291-305, ⟨10.1007/978-3-540-31954-2_19⟩. ⟨hal-00307003⟩
  • Antoine Girard, George J. Pappas. Approximate bisimulations for nonlinear dynamical systems. Conference on Decision and Control and European Control Conference, Dec 2005, Seville, Spain. pp.684-689, ⟨10.1109/CDC.2005.1582235⟩. ⟨hal-00171559⟩
  • Antoine Girard. Optimal control of linear systems: a multiresolution approach. 43rd IEEE Conference on Decision and Control, Dec 2004, Nassau, Bahamas. pp.1806-1811, ⟨10.1109/CDC.2004.1430311⟩. ⟨hal-00307049⟩
  • Eugene Asarin, Thao Dang, Antoine Girard. Reachability analysis of non-linear systems using conservative approximations. Hybrid Systems: Computation and Control, Apr 2003, Prague, Czech Republic. pp.20-35, ⟨10.1007/3-540-36580-X_5⟩. ⟨hal-00307007⟩
  • Antoine Girard. Computation and stability analysis of limit cycles in piecewise linear hybrid systems. 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⟩. ⟨hal-00307053⟩
  • Antoine Girard. Approximate solutions of ODEs using piecewise linear vector fields. 5th International Workshop on Computer Algebra in Scientific Computing, Sep 2002, Yalta, Ukraine. pp.107-120. ⟨hal-00307056⟩
  • Antoine Girard. Detection of event occurrence in piecewise linear hybrid systems. 4th International Conference on Recent Advances in Soft Computing, RASC 2002, Dec 2002, Nottingham, United Kingdom. pp.19-25. ⟨hal-00307055⟩

Book sections7 documents

  • Ying Tang, Christophe Prieur, Antoine Girard. Singular perturbation approach for linear coupled ODE-PDE systems. 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⟩. ⟨hal-02372335⟩
  • Jihene Ben Rejeb, Irinel-Constantin Morarescu, Antoine Girard, Jamal Daafouz. Stability analysis of singularly perturbed switched linear systems. 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⟩. ⟨hal-01862551⟩
  • Mohammad Al Khatib, Antoine Girard, Thao Dang. Timing contracts for multi-core embedded control systems. 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. ⟨hal-01912683⟩
  • Mirko Fiacchini, Marc Jungers, Antoine Girard, Sophie Tarbouriech. Stabilizability and control co-design for discrete-time switched linear systems. 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⟩. ⟨hal-01856317⟩
  • Matthias Rungger, Antoine Girard, Paulo Tabuada. Symbolic synthesis for cyber-physical systems. Raj Rajkumar; Dionisio de Niz; Mark Klein. Cyber-Physical Systems, Addison Wesley, 2017, SEI Series in Software Engineering. ⟨hal-01620555⟩
  • Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic. Tools for the Analysis of Hybrid Models. Claude Jard, Olivier H. Roux. Communicating Embedded Systems: Software and Design, Hermès, 2009, Wiley-ISTE, 978-1-84821-143-8. ⟨hal-00765812⟩
  • Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic. Outils pour l'analyse des modèles hybrides. 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. ⟨hal-00765809⟩

Directions of work or proceedings3 documents

  • Sophie Tarbouriech, Antoine Girard, Laurentiu Hetel. Control Subject to Computational and Communication Constraints: Current Challenges. France. 475, Springer, 376p., 2018, Lecture Notes in Control and Information Sciences, 978-3-319-78448-9. ⟨10.1007/978-3-319-78449-6⟩. ⟨hal-01818954⟩
  • Alessandro Abate, Antoine Girard, W. P. Maurice H. Heemels. Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems. 2018. ⟨hal-01912654⟩
  • Antoine Girard, Sriram Sankaranarayanan. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. 18th International Conference on Hybrid Systems: Computation and Control, Apr 2015, Seattle, United States. 2015. ⟨hal-01170573⟩

Preprints, Working Papers, ...3 documents

  • W. A. Apaza-Perez, Antoine Girard. Synthesis of Input-to-State Safety and Attractivity Controllers using Nested Sequences of Abstractions. 2022. ⟨hal-03658262⟩
  • W. A. Apaza-Perez, Antoine Girard. Abstraction refinement for attractivity controllers using quantitative synthesis. 2022. ⟨hal-03658260⟩
  • Anas Makdesi, Antoine Girard, Laurent Fribourg. Data-Driven Models of Monotone Systems. 2022. ⟨hal-03709123⟩

Reports2 documents

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

Theses1 document

  • Antoine Girard. Analyse Algorithmique des Systèmes Hybrides. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2004. Français. ⟨tel-00007064⟩

Habilitation à diriger des recherches1 document

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