Antoine Girard

Papers

Total Citations

512

H-Index

About

Antoine Girard is a leading figure in the field of hybrid systems and formal methods for control, with a focus on bridging the gap between high-level specifications and low-level continuous dynamics. His research centers on the synthesis of controllers from temporal logic specifications, enabling autonomous systems to execute complex, time-sensitive tasks with formal guarantees. Girard’s most influential work, "Temporal logic motion planning for dynamic robots" (2008), has garnered over 460 citations, establishing a foundational framework for integrating logic-based planning with robotic motion in dynamic environments. He also pioneered hierarchical control synthesis using approximate simulation relations, as detailed in his 2006 paper, which introduced a scalable method for simplifying complex systems while preserving behavioral accuracy. His 2007 work on hierarchical synthesis further advanced the field by combining temporal logic with multi-layered control architectures. Girard’s contributions have had a profound impact on robotics, cyber-physical systems, and autonomous vehicle control, providing rigorous tools for ensuring safety and performance. His work is widely cited and continues to inspire researchers seeking to unify formal verification with practical control design.