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
7892011
Reachability of uncertain linear systems using zonotopes
A Girard
International Workshop on Hybrid Systems: Computation and Control, 291-305, 2005
4992005
Approximation metrics for discrete and continuous systems
A Girard, GJ Pappas
IEEE Transactions on Automatic Control 52 (5), 782-798, 2007
4402007
Temporal logic motion planning for dynamic robots
GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas
Automatica 45 (2), 343-352, 2009
3492009
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
3072010
Dynamic triggering mechanisms for event-triggered control
A Girard
IEEE Transactions on Automatic Control 60 (7), 1992-1997, 2014
3052014
Approximately bisimilar symbolic models for nonlinear control systems
G Pola, A Girard, P Tabuada
Automatica 44 (10), 2508-2516, 2008
2642008
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
2342006
Hybridization methods for the analysis of nonlinear systems
E Asarin, T Dang, A Girard
Acta Informatica 43 (7), 451-476, 2007
1882007
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
1822003
Reachability analysis of linear systems using support functions
C Le Guernic, A Girard
Nonlinear Analysis: Hybrid Systems 4 (2), 250-262, 2010
1712010
Reachability analysis of linear systems using support functions
C Le Guernic, A Girard
Nonlinear Analysis: Hybrid Systems 4 (2), 250-262, 2010
1712010
Reachability analysis of hybrid systems using support functions
C Le Guernic, A Girard
International Conference on Computer Aided Verification, 540-554, 2009
1592009
Hierarchical control system design using approximate simulation
A Girard, GJ Pappas
Automatica 45 (2), 566-571, 2009
1262009
Hierarchical control system design using approximate simulation
A Girard, GJ Pappas
Automatica 45 (2), 566-571, 2009
1262009
Zonotope/hyperplane intersection for hybrid systems reachability analysis
A Girard, C Le Guernic
International Workshop on Hybrid Systems: Computation and Control, 215-228, 2008
1262008
Verification using simulation
A Girard, GJ Pappas
International Workshop on Hybrid Systems: Computation and Control, 272-286, 2006
1242006
Approximate simulation relations for hybrid systems
A Girard, AA Julius, GJ Pappas
Discrete Event Dynamic Systems 18 (2), 163-179, 2008
1132008
Approximate bisimulation: A bridge between computer science and control theory
A Girard, GJ Pappas
European Journal of Control 17 (5-6), 568-578, 2011
1102011
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