Our site uses cookies necessary for its proper functioning. To improve your experience, other cookies may be used: you can choose to disable them. This can be changed at any time via the Cookies link at the bottom of the page.


Université de Bordeaux
Cluster SysNumCluster of Excellence
Cluster of excellence
 

SysNum Colloquium: Dr. Antoine Girard (L2S , Paris) - Thursday July 5th 2018 13h45 - LaBRI A30, Amphitheater

le Thursday 05 July 2018 from 13h45 to 14h45
Last update Tuesday 12 June 2018

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"

Abstract:
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.


Short Biography

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

Picture in categories