Concepedia

Antoine Girard

AG

102

Publications

7.6K

Citations

35

H-Index

1989

Active since

Affiliations

Université Grenoble Alpes(Current)

Centre National de la Recherche Scientifique

Laboratoire Jean Kuntzmann

Laboratoire des signaux et systèmes

Université Paris-Saclay

Antoine Girard is an author at Université Grenoble Alpes specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringStabilityFormal MethodsComputer ScienceProcess ControlFormal VerificationMechanical SystemsComputer EngineeringMathematical Programming

Publications per year

1989–2023

102

Publications

102

Dynamic Triggering Mechanisms for Event-Triggered Control

Antoine Girard · IEEE Transactions on Automatic Control · 2014 · 1.9K citations · Full text

Dynamic Triggering Mechanisms, Linear Systems, Real-time Control +14

Approximation Metrics for Discrete and Continuous Systems

Antoine Girard, George J. Pappas · IEEE Transactions on Automatic Control · 2007 · 481 citations

Mathematical Programming, Engineering, Reachability Problem +19

Temporal logic motion planning for dynamic robots

Georgios Fainekos, Antoine Girard, Hadas Kress‐Gazit et al. · Automatica · 2008 · 454 citations

Path Planning, Robot Motion Planning, Trajectory Planning +11

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems

Antoine Girard, Giordano Pola, Paulo Tabuada · IEEE Transactions on Automatic Control · 2009 · 370 citations

Stochastic Hybrid System, System Dynamic, Engineering +12

Approximately bisimilar symbolic models for nonlinear control systems

Giordano Pola, Antoine Girard, Paulo Tabuada · Automatica · 2008 · 303 citations · Full text

Nonlinear Control, Mathematical Control Theory, Bisimilar Symbolic Models +2

Rows per page

1–5 of 102