Number of documents

7

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

 


Gregor Gössler   

Journal articles2 documents

  • Antoine Girard, Gregor Gössler. Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions. Acta Informatica, Springer Verlag, 2019, pp.1-28. ⟨10.1007/s00236-019-00341-x⟩. ⟨hal-02291222⟩
  • Antoine Girard, Gregor Gössler, Sebti Mouelhi. Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (6), pp.1537-1549. ⟨10.1109/TAC.2015.2478131⟩. ⟨hal-01197426v2⟩

Conference papers3 documents

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

Preprints, Working Papers, ...1 document

  • Antoine Girard, Gregor Gössler. Safety Synthesis for Incrementally Stable Switched Systems using Discretization-Free Multi-Resolution Abstractions. 2019. ⟨hal-02286661⟩

Reports1 document

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