A
Antoine Girard
Researcher at Université Paris-Saclay
Publications - 215
Citations - 11008
Antoine Girard is an academic researcher from Université Paris-Saclay. The author has contributed to research in topics: Control theory & Hybrid system. The author has an hindex of 43, co-authored 204 publications receiving 9393 citations. Previous affiliations of Antoine Girard include Joseph Fourier University & University of Pennsylvania.
Papers
More filters
Journal ArticleDOI
Dynamic Triggering Mechanisms for Event-Triggered Control
TL;DR: In this paper, the authors present a new class of event triggering mechanisms for event-triggered control systems characterized by the introduction of an internal dynamic variable, which motivates the proposed name of dynamic event triggering mechanism.
Book ChapterDOI
SpaceEx: scalable verification of hybrid systems
Goran Frehse,Colas Le Guernic,Alexandre Donzé,Scott Cotton,Rajarshi Ray,Olivier Lebeltel,Rodolfo Ripado,Antoine Girard,Thao Dang,Oded Maler +9 more
TL;DR: A scalable reachability algorithm for hybrid systems with piecewise affine, non-deterministic dynamics that combines polyhedra and support function representations of continuous sets to compute an over-approximation of the reachable states is presented.
Posted Content
Dynamic Triggering Mechanisms for Event-Triggered Control
TL;DR: This class is characterized by the introduction of an internal dynamic variable, which motivates the proposed name of dynamic event triggering mechanism, and a lower bound on the inter-execution time as a function of the parameters is established.
Book ChapterDOI
Reachability of uncertain linear systems using zonotopes
TL;DR: The main innovation of the method consists in the use of zonotopes for reachable set representation, which has been used to treat several examples and has shown great performances for high dimensional systems.
Journal ArticleDOI
Approximation Metrics for Discrete and Continuous Systems
Antoine Girard,George J. Pappas +1 more
TL;DR: In this paper, a hierarchy of approximation pseudo-metrics between two systems is defined to quantify the quality of the approximation, and the established exact relationships are captured as zero sections.