SysNum Colloquium: Dr. Antoine Girard (L2S , Paris) - Thursday July 5th 2018 13h45 - LaBRI A30, Amphitheater05/07 : 13h45 - 14h45
Dr Antoine Girard (DR CNRS L2S , Paris) will give a talk on the 5 July 2018 (at 13h45 LaBRI A30 Amphitheater) on
"Symbolic control: from discrete synthesis to certified continuous controllers"
Symbolic control aims at designing “correct by construction” controllers for continuous dynamical systems, by using algorithmic discrete synthesis techniques. The key concept in symbolic control is that of symbolic model, which is a finite-state dynamical system, obtained by abstracting continuous trajectories over a finite set of symbols. When the symbolic and the continuous dynamics are formally related by some behavioral relationship (e.g. simulation or bisimulation relations), controllers synthesized for the symbolic model using discrete synthesis techniques can be refined to certified controllers for the original continuous system. In the first part of this talk, I will present some fundamental results on symbolic control from symbolic model computation, to discrete synthesis and controller refinement. Then, I will report some recent progress on scalability and robustness by means of compositional and quantitative synthesis techniques.
Antoine Girard is a Senior Researcher at CNRS and a member of the Laboratory of Signals and Systems. He received the Ph.D. degree in applied mathematics from Grenoble Institute of Technology, in 2004. From 2004 to 2006, he held postdoctoral positions at University of Pennsylvania and Université Grenoble-Alpes. From 2006 to 2015, he was an Assistant/Associate Professor at the Université Grenoble-Alpes.
His main research interests deal with analysis and control of hybrid systems with an emphasis on computational approaches, formal methods and applications to cyber-physical 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). In 2016, he was awarded an ERC Consolidator Grant. In 2018, he received the first HSCC Test of Time Award.
Contact: Ali Zolghadri, IMS