Reachability analysis of linear systems using support functions.
Colas Le Guernic and Antoine Girard, To appear in Nonlinear Analysis: Hybrid Systems.
DOI: 10.1016/j.nahs.2009.03.002,
Preprint.
Hierarchical control system design using approximate simulation.
Antoine Girard and George J. Pappas, Automatica, 45(2):566-571, 2009.
DOI: 10.1016/j.automatica.2008.09.016,
Preprint.
Temporal logic planning for dynamic models.
Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit and George J. Pappas, Automatica, 45(2):343-352, 2009.
DOI: 10.1016/j.automatica.2008.08.008,
Preprint.
Approximately bisimilar symbolic models for nonlinear control systems.
Giordano Pola, Antoine Girard and Paulo Tabuada, Automatica, 44(10):2508-2516, 2008.
DOI: 10.1016/j.automatica.2008.02.021,
arXiv: 0706.0246.
Approximate simulation relations for hybrid systems.
Antoine Girard, A. Agung Julius and George J. Pappas, Discrete Event Dynamic Systems, 18(2):163-179, 2008.
DOI: 10.1007/s10626-007-0029-9,
Preprint.
Approximate bisimulation relations for constrained linear systems.
Antoine Girard and George J. Pappas, Automatica, 43(8):1307-1317, 2007.
DOI: 10.1016/j.automatica.2007.01.019,
Preprint.
Approximation metrics for discrete and continuous systems.
Antoine Girard and George J. Pappas, IEEE Transactions on Automatic Control, 52(5):782-798, 2007.
DOI: 10.1109/TAC.2007.895849,
Preprint.
Hybridization methods for the analysis of non-linear systems.
Eugene Asarin, Thao Dang and Antoine Girard, Acta Informatica, 43(7):451-476, 2007.
DOI: 10.1007/s00236-006-0035-7,
Preprint.
Towards a multiresolution approach to linear control.
Antoine Girard, IEEE Transactions on Automatic Control, 51(8):1261-1270, 2006.
DOI: 10.1109/TAC.2006.878717,
Preprint.
Submitted preprints
Approximately bisimilar symbolic models for incrementally stable switched systems.
Antoine Girard, Giordano Pola and Paulo Tabuada, July 2008.
arXiv: 0807.5022.
Reachability analysis of hybrid systems using support functions.
Colas Le Guernic and Antoine Girard,
Computer Aided Verification, vol 5643/2009 in LNCS, pp 540-554, Springer, 2009.
DOI: 10.1007/978-3-642-02658-4_40,
Preprint.
Bounded and unbounded safety verification using bisimulation metrics.
Gang Zheng and Antoine Girard, Hybrid Systems: Computation and Control, vol 5469/2009 in LNCS, pp 426-440, Springer, 2009.
DOI: 10.1007/978-3-642-00602-9_30,
Preprint.
Zonotope/hyperplane intersection for hybrid systems reachability analysis.
Antoine Girard and Colas Le Guernic, Hybrid Systems: Computation and Control, vol 4981 in LNCS, pp 215-228, Springer, 2008.
DOI: 10.1007/978-3-540-78929-1_16,
Preprint.
Approximately bisimilar symbolic models for incrementally stable switched systems.
Antoine Girard, Giordano Pola and Paulo Tabuada, Hybrid Systems: Computation and Control, vol 4981 in LNCS,
pp 201-214, Springer, 2008.
DOI: 10.1007/978-3-540-78929-1_15,
Preprint.
Hierarchical synthesis of hybrid controllers from temporal logics specifications.
Georgios E. Fainekos, Antoine Girard and George J. Pappas, Hybrid Systems: Computation and Control, vol 4416 in LNCS,
pp 203-216, Springer, 2007.
DOI: 10.1007/978-3-540-71493-4_18,
Preprint.
Approximately bisimilar finite abstractions of stable linear systems.
Antoine Girard, Hybrid Systems: Computation and Control, vol 4416 in LNCS, pp 231-244, Springer, 2007.
DOI: 10.1007/978-3-540-71493-4_20,
Preprint.
Temporal logic verification using simulation.
Georgios E. Fainekos, Antoine Girard and George J. Pappas, Formal Modelling and Analysis of Timed Systems,
vol 4202 in LNCS, pp 171-186, Springer, 2006.
DOI: 10.1007/11867340_13,
Preprint.
Verification using simulation.
Antoine Girard and George J. Pappas, Hybrid Systems: Computation and Control,
vol 3927 in LNCS, pp 272-286, Springer, 2006.
DOI: 10.1007/11730637_22,
Preprint.
Efficient computation of reachable sets of linear time-invariant systems with inputs.
Antoine Girard, Colas Le Guernic and Oded Maler, Hybrid Systems: Computation and Control,
vol 3927 in LNCS, pp 257-271, Springer, 2006.
DOI: 10.1007/11730637_21,
Preprint.
Reachability of uncertain linear systems using zonotopes.
Antoine Girard, Hybrid Systems: Computation and Control, vol 3414 in LNCS, pp 291-305, Springer, 2005.
DOI: 10.1007/b106766,
Preprint.
Reachability analysis of non-linear systems using conservative approximations.
Eugene Asarin, Thao Dang and Antoine Girard, Hybrid Systems: Computation and Control,
vol 2623 in LNCS, pp 20-35, Springer, 2003.
DOI: 10.1007/3-540-36580-X_5,
Preprint.
International Conference Proceedings
Motion planning for nonlinear systems using hybridizations and robust controllers on simplices.
Antoine Girard and Samuel Martin, 47th IEEE Conference on Decision and Control, pp 239 - 244, Cancun, Mexico, December 2008.
DOI: 10.1109/CDC.2008.4738758,
Preprint.
Efficient reachability analysis for linear systems using support functions.
Antoine Girard and Colas Le Guernic, IFAC World Congress, Seoul, Korea, July 2008. Electronic edition,
Preprint.
Symbolic models for nonlinear control systems using approximate bisimulation.
Giordano Pola, Antoine Girard and Paulo Tabuada, 46th IEEE Conference on Decision and Control,
pp 4656-4661, New Orleans, Lousiana, USA, December 2007.
DOI: 10.1109/CDC.2007.4434911,
Preprint.
Approximate hierarchies of linear control systems.
Antoine Girard and George J. Pappas, 46th IEEE Conference on Decision and Control,
pp 3727-3732, New Orleans, Lousiana, USA, December 2007.
DOI: 10.1109/CDC.2007.4434071,
Preprint.
Hierarchical control using approximate simulation relations.
Antoine Girard and George J. Pappas, 45th IEEE Conference on Decision and Control,
pp 264-269, San Diego, California, USA, December 2006.
DOI: 10.1109/CDC.2006.377051,
Preprint.
Time-triggered implementations of dynamic controllers.
Truong Nghiem, George J. Pappas, Antoine Girard and Rajeev Alur,
6th ACM and IEEE Conference on Embedded Software, pp 2-11, Seoul, South Korea, October 2006.
DOI: 10.1145/1176887.1176890,
Preprint.
Recent progress in continuous and hybrid reachability analysis.
Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic and Oded Maler,
IEEE International Symposium on Computer-Aided Control Systems Design, Munich, Germany, October 2006.
DOI: 10.1109/CACSD.2006.285494,
Preprint.
Approximate simulation relations for hybrid systems.
Antoine Girard, A. Agung Julius and George J. Pappas,
2nd IFAC Conference on Analysis and Design of Hybrid Systems, pp 106-111, Alghero, Italy, June 2006. Electronic edition,
Preprint.
Approximate bisimulation for a class of stochastic hybrid systems.
A. Agung Julius, Antoine Girard and George J. Pappas,
American Control Conference, Portland, Oregon, USA, June 2006.
DOI: 10.1109/ACC.2006.1657467,
Preprint.
Approximate bisimulations for constrained linear systems.
Antoine Girard and George J. Pappas, 44th IEEE Conference on Decision and Control and European Control Conference,
pp 4700-4705, Seville, Spain, December 2005. Electronic edition,
Preprint.
Approximate bisimulations for nonlinear dynamical systems.
Antoine Girard and George J. Pappas, 44th IEEE Conference on Decision and Control and European Control Conference,
pp 684-689, Seville, Spain, December 2005. Electronic edition,
Preprint.
Quantifying the gap between embedded control models and time-triggered implementations.
Hakan Yazarel, Antoine Girard, George J. Pappas and Rajeev Alur
, 26th IEEE Real-Time Systems Symposium, pp 111-120, Miami, Florida, USA, December 2005.
DOI: 10.1109/RTSS.2005.35,
Preprint.
Optimal control of linear systems: a multiresolution approach.
Antoine Girard, 43rd IEEE Conference on Decision and Control, pp 1806-1811, Nassau, Bahamas, December 2004. Electronic edition,
Preprint.
Computation and stability analysis of limit cycles in piecewise linear hybrid systems.
Antoine Girard, 1st IFAC Conference on Analysis and Design of Hybrid Systems, pp 181-186,
Saint-Malo, France, June 2003. Preprint.
Detection of event occurrence in piecewise linear hybrid systems.
Antoine Girard, 4th International Conference on Recent Advances in Soft Computing,
pp 19-25, Nottingham, United Kingdom, December 2002. Preprint.
Approximate solutions of ODEs using piecewise linear vector fields.
Antoine Girard, 5th International Workshop on Computer Algebra in Scientific Computing,
pp 107-120, Big Yalta, Crimea, Ukraine, September 2002. Electronic edition,
Preprint.
Outils pour l'analyse des modèles hybrides.
Thao Dang, Goran Frehse, Antoine Girard and Colas Le Guernic, in Claude Jard and Olivier H. Roux, editors,
Approches formelles des systèmes embarqués communicants. Traité IC2. Hermes, 2008.
Analyse algorithmique des systèmes hybrides.
Antoine Girard, Ph.D. Thesis, Institut National Polytechnique de Grenoble, France, September 2004.
Thèse En Ligne: tel-00007064.
Etude de systèmes dynamiques hybrides affines par morceaux.
Antoine Girard, Master Thesis, Université Joseph Fourier, Grenoble, France, June 2001.
Symbolic models for control systems. Workshop on Heterogeneity in Control Systems, Nancy, France, May 2009. Slides.
Vérification des systèmes hybrides. Ecole des JDMACS, Angers, France, Mars 2009. Slides.
Modèles symboliques de systèmes dynamiques
pour la conception de systèmes embarqués sûrs. En hommage à Louis Bolliet : l'Informatique à Venir, Grenoble, France, May 2008. Slides.
VAL-AMS: High-confidence validation of analog and mixed signal circuits. Grand Colloque STIC, Paris, France, November 2007. Slides.
Méthodes algorithmiques pour l'analyse des systèmes hybrides. Journées Nationales du GDR MACS, Reims, France, July 2007. Slides.
Hierarchical abstractions of dynamical systems using approximate simulation and bisimulation relations. Department of Electrical Engineering Seminar, University of L'Aquila, Italy, May 2007. Slides.
Approximation metrics for discrete and continuous systems. Workshop: Topics in Computation and Control, Santa Barbara CA, USA, March 2006. Slides.
Zonotope techniques for reachability analysis. Workshop: Topics in Computation and Control, Santa Barbara CA, USA, March 2006.
Slides.
Approximate abstraction for verification of continuous and hybrid systems. Guest lecture, Hybrid System Course ESE 601, University of Pennsylvania, Philadelphia,
Pennsylvania, USA, March 2006. Slides.
Approximation metrics for discrete, continuous and hybrid systems. CHESS Seminar, UC Berkeley, Berkeley, California, USA, November 2005.
Approximate bisimulation: from transition systems to linear systems. Carnegie Mellon, University of Pennsylvania and Verimag Research Meeting, Carnegie Mellon University, Pittsburgh,
Pennsylvania, USA, August 2005.
Introduction aux systèmes hybrides. Ecole Jeunes Chercheurs en Algorithmique et Calcul Formel, Grenoble, France, April 2004.
