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
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 15
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
Decentralized monotonicity-based voltage control of DC microgrids with ZIP loadsNecSys 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
|
|
Safety controller design for incrementally stable switched systems using event-based symbolic modelsECC 2019 - European Control Conference, Jun 2019, Naples, Italy. ⟨10.23919/ECC.2019.8796232⟩
Communication dans un congrès
hal-02054930v1
|
|
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications58th IEEE Conference on Decision and Control (CDC 2019), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029784⟩
Communication dans un congrès
hal-02281945v2
|
|
A symbolic approach to voltage stability and power sharing in time-varying DC microgridsECC 2019 - European control conference, Jun 2019, Naples, Italy. ⟨10.23919/ecc.2019.8796095⟩
Communication dans un congrès
hal-02070070v1
|
|
Contract based Design of Symbolic Controllers for Vehicle Platooning21st 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 sampling6th 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
|
|
On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for InvarianceEuropean Control Conference (ECC 2018), 2018, Limassol, Cyprus. ⟨10.23919/ECC.2018.8550622⟩
Communication dans un congrès
hal-01712710v1
|
|
Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems57th 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
|
|
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems6th 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
|
|
Multirate Symbolic Models for Incrementally Stable Switched SystemsIFAC 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
|