Co4Pro: A toolbox for synthesis of Correct by Construction Controllers from Control Programs: https://github.com/girardan/Co4Pro
August 2023: Symbolic control of nonlinear systems: safety, optimization and learning, Doctoral course at University of Grenoble, France
June 2023: Organization of the Workshop on Formal methods for data-driven control systems at European Control Conference, Bucharest, Romania
December 2022: Organization of the invited session Modular Design and Verification of Control Systems at IEEE Conference on Decision and Control, Cancun, Mexico
November 2022: Symbolic control of nonlinear systems: safety, optimization and learning. Plenary talk at International Conference on Systems and Control, Marseille, France
June 2022: Organization of the Workshop on Mobile Robotics - Control, Estimation and Applications, Gif-sur-Yvette
May 2022: Formal methods in control design, Doctoral course at EECI, Stockholm, Sweden
December 2021: Organization of the invited session Modular Design and Verification of Control Systems at IEEE Conference on Decision and Control, Austin, USA
November 2021: Elena Ivanova has defended her PhD thesis on Efficient synthesis of safety controllers using symbolic models and lazy algorithms (Manuscript)
June 2021: The paper Data-Driven Abstraction of Monotone Systems by Anas Makdesi, Antoine Girard, Laurent Fribourg, has been accepted for oral presentation at Learning for Dynamics and Control Conference 2021.
June 2021: The paper Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications by Antoine Girard, Alina Eqtami is the Editors' Choice of Automatica.
November 2019: A symbolic control approach to the programming of cyber-physical systems, Keynote talk at Modélisation des Systèmes Réactifs, Angers, France (Slides)
July 2019: Symbolic control, Doctoral course at Politecnico di Milano, Milano, Italy
June 2019: Symbolic control, Doctoral course at Ecole MACS, Bordeaux, France
January 2019: Formal methods in control design, Doctoral course at EECI, Gif-sur-Yvette, France
November 2018: Contrôle symbolique : synthèse discrète pour des contrôleurs continus certifiés, Plenary talk at 3èmes Journées de l'Automatique, Nantes, France
June 2018: Symbolic control - from discrete synthesis to certified continuous controllers, Plenary talk at European Control Conference, Limassol, Cyprus (Slides)
June 2018: Antoine Girard receives the European Control Award
May 2018: Article "La cyberphysique prépare l'usine de demain" in L'édition de l'Université Paris-Saclay
April 2018: Compositional synthesis for symbolic control, Keynote talk at Hybrid Systems: Computation and Control, Porto, Portugal
May 2017: PROCSYS is advertised on the website of CNRS