World's Best Scientists 2026 revealed!

D-Index & Metrics

Engineering and Technology

D-Index
45
Citations
12292
World Ranking
5341
National Ranking
104

Overview

Antoine Girard is affiliated with the University of Paris-Saclay in France. Their research spans the fields of Engineering and Computer Science, with a significant focus on Control and Systems Engineering and Computational Theory and Mathematics.

The scientist's research primarily addresses topics such as:

  • Formal Methods in Verification
  • Advanced Control Systems Optimization
  • Petri Nets in System Modeling
  • Stability and Control of Uncertain Systems
  • Fault Detection and Control Systems
  • Control Systems and Identification
  • Control and Stability of Dynamical Systems

Frequent publication venues for Antoine Girard include:

  • IFAC-PapersOnLine
  • Automatica
  • IEEE Transactions on Automatic Control
  • IEEE Control Systems Letters
  • arXiv (Cornell University)

Their recent papers cover a range of topics reflecting these areas of expertise. Selected publications include:

  • "Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications," 2021, Automatica
  • "Set Propagation Techniques for Reachability Analysis," 2020, Annual Review of Control Robotics and Autonomous Systems
  • "Assume-guarantee contracts for continuous-time systems," 2021, Automatica
  • "Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems," 2020, IEEE Transactions on Automatic Control
  • "Symbolic Observer-Based Controller for Uncertain Nonlinear Systems," 2020, IEEE Control Systems Letters

Antoine Girard collaborates regularly with a set of co-authors, including:

  • Adnane Saoud
  • Laurent Fribourg
  • Sophie Tarbouriech
  • Anas Makdesi
  • Carla de Souza

Best Publications

  • Dynamic Triggering Mechanisms for Event-Triggered Control

    Antoine Girard

  • SpaceEx: scalable verification of hybrid systems

    Goran Frehse;Colas Le Guernic;Alexandre Donzé;Scott Cotton

  • Reachability of uncertain linear systems using zonotopes

    Antoine Girard

  • Approximation Metrics for Discrete and Continuous Systems

    A. Girard;G.J. Pappas

  • Temporal logic motion planning for dynamic robots

    Georgios E. Fainekos;Antoine Girard;Hadas Kress-Gazit;George J. Pappas

  • Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems

    A. Girard;G. Pola;P. Tabuada

  • Approximately bisimilar symbolic models for nonlinear control systems

    Giordano Pola;Antoine Girard;Paulo Tabuada

  • Efficient computation of reachable sets of linear time-invariant systems with inputs

    Antoine Girard;Colas Le Guernic;Oded Maler

  • Reachability analysis of linear systems using support functions

    Colas Le Guernic;Antoine Girard

  • Brief paper: Hierarchical control system design using approximate simulation

    Antoine Girard;George J. Pappas

  • A fast ‘Monte-Carlo cross-validation’ procedure for large least squares problems with noisy data

    Unknown

  • Hybridization methods for the analysis of nonlinear systems

    Eugene Asarin;Thao Dang;Antoine Girard

  • Set Propagation Techniques for Reachability Analysis

    Matthias Althoff;Goran Frehse;Antoine Girard

  • Reachability analysis of nonlinear systems using conservative approximation

    Eugene Asarin;Thao Dang;Antoine Girard

  • Reachability Analysis of Hybrid Systems Using Support Functions

    Colas Guernic;Antoine Girard

  • Brief paper: Controller synthesis for safety and reachability via approximate bisimulation

    Antoine Girard

  • Approximate Simulation Relations for Hybrid Systems

    Antoine Girard;A. Agung Julius;George J. Pappas

  • Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis

    Antoine Girard;Colas Guernic

  • Approximate Bisimulation: A Bridge Between Computer Science and Control Theory

    Antoine Girard;George J. Pappas

  • Verification using simulation

    Antoine Girard;George J. Pappas

  • Approximation metrics for discrete and continuous systems

    Antoine Girard

Frequent Co-Authors

Christophe Prieur
Christophe Prieur Grenoble Alpes University
George J. Pappas
George J. Pappas University of Pennsylvania
Thao Dang
Thao Dang Grenoble Alpes University
Samuel A.M. Martin
Samuel A.M. Martin University of Aberdeen
Paulo Tabuada
Paulo Tabuada University of California, Los Angeles
Jamal Daafouz
Jamal Daafouz University of Lorraine
Sophie Tarbouriech
Sophie Tarbouriech Laboratory for Analysis and Architecture of Systems
Georgios Fainekos
Georgios Fainekos Arizona State University
Eugene Asarin
Eugene Asarin Université Paris Cité
Rajeev Alur
Rajeev Alur University of Pennsylvania

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Best Scientists Citing Antoine Girard

Trending Scientists

Recently Published Articles