Antoine Girard

Cited by

	All	Since 2018
Citations	10891	5686
h-index	45	35
i10-index	110	77

1200

600

300

900

200520062007200820092010201120122013201420152016201720182019202020212022202329 108 128 188 236 226 370 432 547 493 705 740 889 788 948 974 931 1111 924

Public access

View all

40 articles

0 articles

available

not available

Based on funding mandates

Co-authors

George J. PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaVerified email at seas.upenn.edu
Christophe PrieurCNRSVerified email at gipsa-lab.fr
Thao DangCNRS Research Director, Laboratory VERIMAG, Grenoble, FranceVerified email at imag.fr
Colas Le GuernicINRIA (external collaborator)Verified email at inria.fr
Goran FrehseProfessor of Computer Science, ENSTA ParisVerified email at ensta-paris.fr
Adnane SaoudUniversity of California, BerkeleyVerified email at berkeley.edu
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Emmanuel WitrantUniversité Grenoble Alpes / GIPSA-labVerified email at univ-grenoble-alpes.fr
Laurent FRIBOURGLMF - ENS Paris-Saclay & CNRSVerified email at lsv.fr
MorarescuCRAN, Université de LorraineVerified email at univ-lorraine.fr
Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLAVerified email at ee.ucla.edu
Samuel MartinAssociate Professor of Control engineering, Applied Mathematics, CRAN, Université de LorraineVerified email at univ-lorraine.fr
Gregor GösslerINRIAVerified email at inria.fr
Giordano PolaAssociate Professor at the University of L'AquilaVerified email at univaq.it
Pierre-Jean MeyerCOSYS-ESTAS, Université Gustave Eiffel, LilleVerified email at univ-eiffel.fr
Olivier LebeltelEngineer CNRS / Grenoble university & Verimag LabVerified email at imag.fr
Nicolas MarchandCNRS-GIPSA-lab GrenobleVerified email at gipsa-lab.fr
Georgios FainekosToyota Research Institute of North AmericaVerified email at toyota.com
Eugene Asarinprofesseur d'informatique, IRIF, Université de ParisVerified email at irif.fr
Majid ZamaniAssociate Professor, University of Colorado BoulderVerified email at colorado.edu

Antoine Girard

Senior Researcher, L2S, CNRS

Verified email at l2s.centralesupelec.fr - Homepage

Control theory Hybrid systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Dynamic triggering mechanisms for event-triggered control A Girard IEEE Transactions on Automatic Control 60 (7), 1992-1997, 2014	1254	2014
SpaceEx: Scalable verification of hybrid systems G Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ... Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	1153	2011
Reachability of uncertain linear systems using zonotopes A Girard International Workshop on Hybrid Systems: Computation and Control, 291-305, 2005	717	2005
Approximation metrics for discrete and continuous systems A Girard, GJ Pappas IEEE Transactions on Automatic Control 52 (5), 782-798, 2007	530	2007
Temporal logic motion planning for dynamic robots GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas Automatica 45 (2), 343-352, 2009	505	2009
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	369	2010
Efficient computation of reachable sets of linear time-invariant systems with inputs A Girard, C Le Guernic, O Maler Hybrid Systems: Computation and Control: 9th International Workshop, HSCC …, 2006	344	2006
Approximately bisimilar symbolic models for nonlinear control systems G Pola, A Girard, P Tabuada Automatica 44 (10), 2508-2516, 2008	326	2008
Reachability analysis of linear systems using support functions C Le Guernic, A Girard Nonlinear Analysis: Hybrid Systems 4 (2), 250-262, 2010	257	2010
Reachability analysis of linear systems using support functions C Le Guernic, A Girard Nonlinear Analysis: Hybrid Systems 4 (2), 250-262, 2010	257	2010
Hybridization methods for the analysis of nonlinear systems E Asarin, T Dang, A Girard Acta Informatica 43, 451-476, 2007	243	2007
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	223	2003
Reachability analysis of hybrid systems using support functions C Le Guernic, A Girard International Conference on Computer Aided Verification, 540-554, 2009	209	2009
Hierarchical control system design using approximate simulation A Girard, GJ Pappas Automatica 45 (2), 566-571, 2009	174	2009
Hierarchical control system design using approximate simulation A Girard, GJ Pappas Automatica 45 (2), 566-571, 2009	174	2009
Zonotope/hyperplane intersection for hybrid systems reachability analysis A Girard, C Le Guernic International Workshop on Hybrid Systems: Computation and Control, 215-228, 2008	167	2008
Set propagation techniques for reachability analysis M Althoff, G Frehse, A Girard Annual Review of Control, Robotics, and Autonomous Systems 4, 369-395, 2021	157	2021
Approximate bisimulation: A bridge between computer science and control theory A Girard, GJ Pappas European Journal of Control 17 (5-6), 568-578, 2011	149	2011
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	145	2006
Verification using simulation A Girard, GJ Pappas International Workshop on Hybrid Systems: Computation and Control, 272-286, 2006	140	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors