Прати
Antoine Girard
Antoine Girard
Senior Researcher, L2S, CNRS
Верификована је имејл адреса на l2s.centralesupelec.fr - Почетна страница
Наслов
Навело
Навело
Година
Dynamic triggering mechanisms for event-triggered control
A Girard
IEEE Transactions on Automatic Control 60 (7), 1992-1997, 2014
16822014
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
12302011
Reachability of uncertain linear systems using zonotopes
A Girard
International workshop on hybrid systems: Computation and control, 291-305, 2005
7802005
Approximation metrics for discrete and continuous systems
A Girard, GJ Pappas
IEEE Transactions on Automatic Control 52 (5), 782-798, 2007
5592007
Temporal logic motion planning for dynamic robots
GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas
Automatica 45 (2), 343-352, 2009
5522009
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
3932010
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
3662006
Approximately bisimilar symbolic models for nonlinear control systems
G Pola, A Girard, P Tabuada
Automatica 44 (10), 2508-2516, 2008
3502008
Reachability analysis of linear systems using support functions
C Le Guernic, A Girard
Nonlinear Analysis: Hybrid Systems 4 (2), 250-262, 2010
2812010
Hybridization methods for the analysis of nonlinear systems
E Asarin, T Dang, A Girard
Acta Informatica 43, 451-476, 2007
2582007
Set propagation techniques for reachability analysis
M Althoff, G Frehse, A Girard
Annual Review of Control, Robotics, and Autonomous Systems 4 (1), 369-395, 2021
2552021
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
2392003
Reachability analysis of hybrid systems using support functions
C Le Guernic, A Girard
International Conference on Computer Aided Verification, 540-554, 2009
2192009
Hierarchical control system design using approximate simulation
A Girard, GJ Pappas
Automatica 45 (2), 566-571, 2009
1932009
Zonotope/hyperplane intersection for hybrid systems reachability analysis
A Girard, C Le Guernic
International Workshop on Hybrid Systems: Computation and Control, 215-228, 2008
1762008
Approximate bisimulation: A bridge between computer science and control theory
A Girard, GJ Pappas
European Journal of Control 17 (5-6), 568-578, 2011
1632011
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
1542006
Opinion dynamics with decaying confidence: Application to community detection in graphs
IC Morarescu, A Girard
IEEE Transactions on Automatic Control 56 (8), 1862-1873, 2010
1482010
Efficient reachability analysis for linear systems using support functions
A Girard, C Le Guernic
IFAC Proceedings Volumes 41 (2), 8966-8971, 2008
1442008
Controller synthesis for safety and reachability via approximate bisimulation
A Girard
Automatica 48 (5), 947-953, 2012
1432012
Систем тренутно не може да изврши ову радњу. Пробајте поново касније.
Чланци 1–20