Antoine Girard
Antoine Girard
Senior Researcher, L2S, CNRS
Dirección de correo verificada de l2s.centralesupelec.fr - Página principal
TítuloCitado porAño
SpaceEx: Scalable verification of hybrid systems
G Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ...
International Conference on Computer Aided Verification, 379-395, 2011
7512011
Reachability of uncertain linear systems using zonotopes
A Girard
International Workshop on Hybrid Systems: Computation and Control, 291-305, 2005
4692005
Approximation metrics for discrete and continuous systems
A Girard, GJ Pappas
IEEE Transactions on Automatic Control 52 (5), 782-798, 2007
4302007
Temporal logic motion planning for dynamic robots
GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas
Automatica 45 (2), 343-352, 2009
3332009
Approximately bisimilar symbolic models for incrementally stable switched systems
A Girard, G Pola, P Tabuada
Automatic Control, IEEE Transactions on 55 (1), 116-126, 2010
2922010
Approximately bisimilar symbolic models for nonlinear control systems
G Pola, A Girard, P Tabuada
Automatica 44 (10), 2508-2516, 2008
2552008
Dynamic triggering mechanisms for event-triggered control
A Girard
IEEE Transactions on Automatic Control 60 (7), 1992-1997, 2014
2542014
Efficient computation of reachable sets of linear time-invariant systems with inputs
A Girard, C Le Guernic, O Maler
International Workshop on Hybrid Systems: Computation and Control, 257-271, 2006
2282006
Hybridization methods for the analysis of nonlinear systems
E Asarin, T Dang, A Girard
Acta Informatica 43 (7), 451-476, 2007
1832007
Reachability analysis of nonlinear systems using conservative approximation
E Asarin, T Dang, A Girard
International Workshop on Hybrid Systems: Computation and Control, 20-35, 2003
1792003
Reachability analysis of linear systems using support functions
C Le Guernic, A Girard
Nonlinear Analysis: Hybrid Systems 4 (2), 250-262, 2010
1652010
Reachability analysis of linear systems using support functions
C Le Guernic, A Girard
Nonlinear Analysis: Hybrid Systems 4 (2), 250-262, 2010
1652010
Reachability analysis of hybrid systems using support functions
C Le Guernic, A Girard
International Conference on Computer Aided Verification, 540-554, 2009
1542009
Hierarchical control system design using approximate simulation
A Girard, GJ Pappas
Automatica 45 (2), 566-571, 2009
1222009
Hierarchical control system design using approximate simulation
A Girard, GJ Pappas
Automatica 45 (2), 566-571, 2009
1222009
Zonotope/hyperplane intersection for hybrid systems reachability analysis
A Girard, C Le Guernic
International Workshop on Hybrid Systems: Computation and Control, 215-228, 2008
1222008
Verification using simulation
A Girard, GJ Pappas
International Workshop on Hybrid Systems: Computation and Control, 272-286, 2006
1202006
Approximate simulation relations for hybrid systems
A Girard, AA Julius, GJ Pappas
Discrete Event Dynamic Systems 18 (2), 163-179, 2008
1102008
Approximate bisimulation: A bridge between computer science and control theory
A Girard, GJ Pappas
European Journal of Control 17 (5-6), 568-578, 2011
1052011
Recent progress in continuous and hybrid reachability analysis
E Asarin, T Dang, G Frehse, A Girard, C Le Guernic, O Maler
2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE …, 2006
1022006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20