Accéder directement au contenu

Antoine Girard

15
Documents

Présentation

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

Publications

adnane-saoud
Image document

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

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

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

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

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications

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

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

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

Contract based Design of Symbolic Controllers for Vehicle Platooning

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

Symbolic models for incrementally stable switched systems with aperiodic time sampling

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

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

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

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

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

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

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

Multirate Symbolic Models for Incrementally Stable Switched Systems

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