Research Published on 01/05/2024

Antoine Girard is a CNRS research director working at the Signals and Systems Laboratory (CNRS - CentraleSupélec - Université Paris-Saclay). He has just been promoted to the rank of Fellow of the Institute of Electrical and Electronics Engineers (IEEE) for his work on formal verification and synthesis of cyber-physical systems (CPS).

Autonomous vehicles, smart grids and intelligent buildings are all examples of cyber-physical systems (CPS): systems "augmented" by computing elements whose calculation and communication capacities enable them to evolve autonomously in dynamic and uncertain environments. CPS are often subject to critical safety constraints, such as collision avoidance for autonomous vehicles. Antoine Girard's research has enabled CPSs to be designed with formal safety guarantees. The methods he has developed are based on automatic control (synthesis of control algorithms), but also borrow from computer science, in particular formal methods for certifying the absence of bugs in an embedded computer program.

Antoine Girard's recent work has focused on the design of artificial intelligence components, enabling CPSs to use the extensive data collected by their sensors to update the mathematical models on which their decision-making is based.