Mots-clés

Nombre de documents

119

Antoine Girard


Antoine Girard is a Senior Researcher (Directeur de Recherche) at CNRS and a member of the Laboratory of Signals and Systems.

He received the diplôme d'ingénieur from the Ecole Nationale Supérieure d'Informatique et de Mathématiques Appliquées de Grenoble (ENSIMAG) and the Master degree in Applied Mathematics from the Université Joseph Fourier, both in 2001. He received the Ph.D. in Applied Mathematics from the Institut National Polytechnique de Grenoble in September 2004 and the "Habilitation à Diriger des Recherches" from the University of Grenoble in November 2013. 

From October 2004 to December 2005, he was a postdoctoral researcher at the Department of Electrical and Systems Engineering of University of Pennsylvania and from January 2006 to August 2006, he was a postdoctoral researcher at the Verimag Laboratory. From September 2006 to October 2015, he was an Associate Professor at the Université Joseph Fourier and a member of the Jean Kuntzmann Laboratory. In November 2015, he joined the CNRS as a Senior Researcher. 

His research interests deal with analysis and control of hybrid systems with an emphasis on computational approaches, approximation, abstraction and applications to cyber-physical systems. He is also interested in multi-agent and distributed parameter systems.

Antoine Girard received the George S. Axelby Outstanding Paper Award from the IEEE Control Systems Society in 2009. In 2014, he was awarded the CNRS Bronze Medal. In 2015, he was appointed as a junior member of the Institut Universitaire de France (IUF). He is on the editorial board of the IEEE Transactions on Automatic Control. In 2015, he co-chaired the International Conference on Hybrid Systems: Computation and Control (HSCC’15).

 


Article dans une revue36 documents

  • Mirko Fiacchini, Antoine Girard, Marc Jungers. On the stabilizability of discrete-time switched linear systems: novel conditions and comparisons. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (5), pp.1181-1193. <10.1109/TAC.2015.2450871>. <hal-01185649v2>
  • Ying Tang, Christophe Prieur, Antoine Girard. Singular Perturbation Approximation of Linear Hyperbolic Systems of Balance Laws. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (10), pp.3031-3037. <10.1109/TAC.2015.2499444>. <hal-01276260>
  • Mohammad Al Khatib, Antoine Girard, Thao Dang. Stability Verification and Timing Contract Synthesis for Linear Impulsive Systems using Reachability Analysis. Nonlinear Analysis: Hybrid Systems, Elsevier, 2016, <10.1016/j.nahs.2016.08.007>. <hal-01331737>
  • Ying Tang, Christophe Prieur, Antoine Girard. Singular perturbation approximation by means of a $H^2$ Lyapunov function for linear hyperbolic systems. Systems and Control Letters, Elsevier, 2016, 88, pp.24-31. <10.1016/j.sysconle.2015.10.015>. <hal-01253479>
  • Nicolás Espitia, Antoine Girard, Nicolas Marchand, Christophe Prieur. Event-based control of linear hyperbolic systems of conservation laws. Automatica, Elsevier, 2016, 70, pp.275-287. <10.1016/j.automatica.2016.04.009>. <hal-01309671>
  • Antoine Girard, Gregor Gössler, Sebti Mouelhi. Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (6), pp.1537-1549. <10.1109/TAC.2015.2478131>. <hal-01197426v2>
  • Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant. Robust controlled invariance for monotone systems: application to ventilation regulation in buildings. Automatica, Elsevier, 2016, 70, pp.14-20. <10.1016/j.automatica.2016.03.004>. <hal-01276261>
  • Pierre-Olivier Lamare, Antoine Girard, Christophe Prieur. An optimisation approach for stability analysis and controller synthesis of linear hyperbolic systems. ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2016, 22 (4), pp.1236-1263. <10.1051/cocv/2016038>. <hal-01331730>
  • Irinel-Constantin Morarescu, Samuel Martin, Antoine Girard, Aurélie Muller-Gueudin. Coordination in networks of linear impulsive agents. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (9), pp.2402-2415. <10.1109/TAC.2015.2492058>. <hal-01096071v2>
  • Antoine Girard. Dynamic triggering mechanisms for event-triggered control. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2015, 60 (7), pp.1992-1997. <10.1109/TAC.2014.2366855>. <hal-01170560>
  • Takayuki Ishizaki, Kenji Kashima, Antoine Girard, Jun-Ichi Imura, Luonan Chen, et al.. Clustered model reduction of positive directed networks. Automatica, Elsevier, 2015, 59, pp.238-247. <10.1016/j.automatica.2015.06.027>. <hal-01276233>
  • Ying Tang, Christophe Prieur, Antoine Girard. Tikhonov theorem for linear hyperbolic systems. Automatica, Elsevier, 2015, 57, pp.1-10. <hal-01064805>
  • Majid Zamani, Alessandro Abate, Antoine Girard. Symbolic models for stochastic switched systems: a discretization and a discretization-free approach. Automatica, Elsevier, 2015, 55, pp.183-196. <10.1016/j.automatica.2015.03.004>. <hal-01170568>
  • Pierre-Olivier Lamare, Antoine Girard, Christophe Prieur. Switching rules for stabilization of linear systems of conservation laws. SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2015, 53 (3), pp.1599-1624. <10.1137/140953952>. <hal-01165967>
  • Samuel Martin, Antoine Girard, Arastoo Fazeli, Ali Jadbabaie. Multi-agent flocking under general communication rule. IEEE Transactions on Control of Network Systems, IEEE, 2014, 1 (2), pp.155-166. <10.1109/TCNS.2014.2316994>. <hal-01133202>
  • Christophe Prieur, Antoine Girard, Emmanuel Witrant. Stability of switched linear hyperbolic systems by Lyapunov techniques. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2014, 59 (8), pp.2196-2202. <hal-00845766>
  • Antoine Girard. Low-complexity quantized switching controllers using approximate bisimulation. Nonlinear Analysis: Hybrid Systems, Elsevier, 2013, 10, pp.34-44. <10.1016/j.nahs.2013.02.001>. <hal-00839610>
  • Samuel Martin, Antoine Girard. Continuous-Time Consensus under Persistent Connectivity and Slow Divergence of Reciprocal Interaction Weights. SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2013, 51 (3), pp.2568-2584. <10.1137/11083438X>. <hal-00839608>
  • Mohamed Amin Ben Sassi, Antoine Girard. Computation of polytopic invariants for polynomial dynamical systems using linear programming. Automatica, Elsevier, 2012, 48 (12), pp.3114-3121. <10.1016/j.automatica.2012.08.014>. <hal-00765673>
  • Antoine Girard, Samuel Martin. Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2012, 57 (4), pp.1046-1051. <10.1109/TAC.2011.2168874>. <hal-00765680>
  • Antoine Girard, Gang Zheng. Verification of Safety and Liveness Properties of Metric Transition Systems. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2012, 11 (S2), pp.article 54. <10.1145/2331147.2331164>. <hal-00765686>
  • Mohamed Amin Ben Sassi, Antoine Girard. Controller synthesis for robust invariance of polynomial dynamical systems using linear programming. Systems and Control Letters, Elsevier, 2012, 61 (4), pp.506-512. <10.1016/j.sysconle.2012.01.004>. <hal-00765679>
  • Antoine Girard. Controller synthesis for safety and reachability via approximate bisimulation. Automatica, Elsevier, 2012, 48 (5), pp.947-953. <10.1016/j.automatica.2012.02.037>. <hal-00765682>
  • Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard. Time-Triggered Implementations of Dynamic Controllers. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2012, 11 (S2), pp.article 58. <10.1145/2331147.2331168>. <hal-00765687>
  • Antoine Girard, George J. Pappas. Approximate Bisimulation: A Bridge Between Computer Science and Control Theory. European Journal of Control, Lavoisier, 2011, 17 (5-6), pp.568-578. <10.3166/ejc.17.568-578>. <hal-00765660>
  • Irinel-Constantin Morarescu, Antoine Girard. Opinion dynamics with decaying confidence: application to community detection in graphs. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2011, 56 (8), pp.1862-1873. <10.1109/TAC.2010.2095315>. <hal-00622835>
  • Antoine Girard, Giordano Pola, Paulo Tabuada. Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2010, 55 (1), pp.116-126. <10.1109/TAC.2009.2034922>. <hal-00765597>
  • Colas Le Guernic, Antoine Girard. Reachability analysis of linear systems using support functions. Nonlinear Analysis: Hybrid Systems, Elsevier, 2010, 4 (2), pp.250-262. <10.1016/j.nahs.2009.03.002>. <hal-00765598>
  • Georgios E. Fainekos, Antoine Girard, Haddas Kress-Gazit, George J. Pappas. Temporal logic planning for dynamic models. Automatica, Elsevier, 2009, 45 (2), pp.343-352. <10.1016/j.automatica.2008.08.008>. <hal-00379759>
  • Antoine Girard, George J. Pappas. Hierarchical control system design using approximate simulation. Automatica, Elsevier, 2009, 45 (2), pp.566-571. <10.1016/j.automatica.2008.09.016>. <hal-00379793>
  • Antoine Girard, Agung A. Julius, George J. Pappas. Approximate simulation relations for hybrid systems. Discrete Event Dynamic Systems, Springer Verlag, 2008, 18 (2), pp.163-179. <10.1007/s10626-007-0029-9>. <hal-00306977>
  • Giordano Pola, Antoine Girard, Paulo Tabuada. Approximately bisimilar symbolic models for nonlinear control systems. Automatica, Elsevier, 2008, 44 (10), pp.2508-2516. <10.1016/j.automatica.2008.02.021>. <hal-00379755>
  • Antoine Girard, George J. Pappas. Approximate bisimulation relations for constrained linear systems. Automatica, Elsevier, 2007, 43 (8), pp.1307-1317. <10.1016/j.automatica.2007.01.019>. <hal-00171420>
  • Antoine Girard, George J. Pappas. Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2007, 52 (5), pp.782-798. <10.1109/TAC.2007.895849>. <hal-00171421>
  • Eugene Asarin, Thao Dang, Antoine Girard. Hybridization methods for the analysis of nonlinear systems. Acta Informatica, Springer Verlag, 2007, 43 (7), pp.451-476. <10.1007/s00236-006-0035-7>. <hal-00157475>
  • Antoine Girard. Towards a multiresolution approach to linear control. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2006, 51 (8), pp.1261-1270. <hal-00306968>

Communication dans un congrès75 documents

  • Marc Jungers, Antoine Girard, Mirko Fiacchini. Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approach. 55th IEEE Conference on Decision and Control (CDC 2016), Dec 2016, Las Vegas, NV, United States. 2016. <hal-01386851>
  • Mirko Fiacchini, Marc Jungers, Antoine Girard. Exponential stabilization of language constrained discrete-time switched linear systems. 15th European Control Conference (ECC 2016), Jun 2016, Aalborg, Denmark. pp.2035-2040, 2016, Proceedings of the European Control Conference. <hal-01294210>
  • Mohammad Al Khatib, Antoine Girard, Thao Dang. Verification and Synthesis of Timing Contracts for Embedded Controllers *. 19th ACM International Conference on Hybrid Systems: Computation and Control, Apr 2016, Vienna, Austria. 19th ACM International Conference on Hybrid Systems: Computation and Control. <hal-01276251>
  • Nicolás Espitia, Antoine Girard, Nicolas Marchand, Christophe Prieur. Event-based stabilization of linear systems of conservation laws using a dynamic triggering condition. 10th IFAC Symposium on Nonlinear Control Systems (NOLCOS 2016), Aug 2016, Monterey, CA, United States. Proc. of the 10th IFAC Symposium on Nonlinear Control Systems. <hal-01309675>
  • Jihene Rejeb, Irinel-Constantin Morarescu, Antoine Girard, Jamal Daafouz. Stability analysis of singularly perturbed switched and impulsive linear systems. 55th IEEE Conference on Decision and Control, CDC 2016, Dec 2016, Las Vegas, NV, United States. <http://cdc2016.ieeecss.org/index.php>. <hal-01379136>
  • Mohammad Al Khatib, Antoine Girard, Thao Dang. Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis. Analysis and Design of Hybrid Systems, Oct 2015, Atlanta, United States. 48 (27), pp.358-363, 2015, IFAC-PapersOnLine. <10.1016/j.ifacol.2015.11.200>. <hal-01276237>
  • Majid Zamani, Antoine Girard. Bisimilar symbolic models for stochastic switched systems: A discretization-free approach. ACC 2015 - American Control Conference, Jul 2015, Chicago, United States. IEEE, pp.1923-1928, <10.1109/ACC.2015.7171014>. <hal-01203715>
  • Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant. Safety control with performance guarantees of cooperative systems using compositional abstractions. 5th IFAC Conference on Analysis and Design of Hybrid Systems, Oct 2015, Atlanta, United States. pp.317-322, 2015. <hal-01180975>
  • Ying Tang, Christophe Prieur, Antoine Girard. Stability analysis of a singularly perturbed coupled ODE-PDE system. 54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. 54th IEEE Conference on Decision and Control, <10.1109/CDC.2015.7402936>. <hal-01276239>
  • Pierre-Olivier Lamare, Antoine Girard, Christophe Prieur. Numerical Computation of Lyapunov Function for Hyperbolic PDE using LMI Formulation and Polytopic Embeddings. 1st IFAC Workshop on Linear Parameter Varying systems, Oct 2015, Grenoble, France. <http://www.gipsa-lab.grenoble-inp.fr/LPVS2015/>. <hal-01214441>
  • Romain Postoyan, Antoine Girard. Triggering mechanism using freely selected sensors for linear time-invariant systems. 54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. 2015. <hal-01204815>
  • Ying Tang, Christophe Prieur, Antoine Girard. Approximation of singularly perturbed linear hyperbolic systems. 21th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2014), Jul 2014, Groningen, Netherlands. 4 p., 2014. <hal-00997291>
  • Antoine Girard. Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems. CDC 2014 - IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. IEEE, pp.824-829, <10.1109/CDC.2014.7039483>. <hal-01133212>
  • Mohamed Amin Ben Sassi, Antoine Girard, Sriram Sankaranarayanan. Iterative computation of polyhedral invariants sets for polynomial dynamical systems. CDC 2014 - IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. IEEE, pp.6348-6353, <10.1109/CDC.2014.7040384>. <hal-01133216>
  • Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott Smolka, Radu Grosu. Compositionality results for cardiac cell dynamics. HSCC '14 - 17th International Conference on Hybrid systems: computation and control, Apr 2014, Berlin, Germany. ACM, pp.243-252, <10.1145/2562059.2562138>. <hal-01133219>
  • Irinel-Constantin Morarescu, Samuel Martin, Antoine Girard. Coordination in networks of linear impulsive agents. 53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. 2014. <hal-01076175>
  • Pierre-Olivier Lamare, Antoine Girard, Christophe Prieur. Lyapunov techniques for stabilization of switched linear systems of conservation laws. 52nd IEEE Conference on Decision and Control (CDC 2013), Dec 2013, Florence, Italy. pp.448-453, 2013, <10.1109/CDC.2013.6759922>. <hal-00926379>
  • Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant. Controllability and invariance of monotone systems for robust ventilation automation in buildings. 52nd IEEE Conference on Decision and Control (CDC 2013), Dec 2013, Florence, Italy. IEEE, Proceedings of the 52nd IEEE Conference on Decision and Control, pp.1289-1294, 2013, <10.1109/CDC.2013.6760060>. <hal-00858715>
  • Euriell Le Corronc, Antoine Girard, Gregor Gössler. Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems. CDC 2013 - 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. IEEE, pp.3225-3230, 2013, <10.1109/CDC.2013.6760375>. <hal-00924815>
  • Ying Tang, Christophe Prieur, Antoine Girard. A new H2-norm Lyapunov function for the stability of a singularly perturbed system of two conservation laws. 52nd IEEE Conference on Decision and Control (CDC 2013), Dec 2013, Florence, Italy. IEEE, pp.3026-3031, 2013, <10.1109/CDC.2013.6760343>. <hal-00926211>
  • Sebti Mouelhi, Antoine Girard, Gregor Goessler. CoSyMA: a tool for controller synthesis using multi-scale abstractions. HSCC'13 - 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphie, United States. ACM, pp.83-88, 2013, <10.1145/2461328.2461343>. <hal-00839613>
  • Alessandro Colombo, Antoine Girard. An approximate abstraction approach to safety control of differentially flat systems. ECC13 - European Control Conference, Jul 2013, Zurich, Switzerland. IEEE, pp.4226-4231, 2013. <hal-00839619>
  • Ying Tang, Christophe Prieur, Antoine Girard. Lyapunov stability of a singularly perturbed system of two conservation laws. CPDE 2013 - 1st IFAC Workshop on Control of Systems Modeled by Partial Differential Equations, Sep 2013, Paris, France. 6 p., 2013. <hal-00839621>
  • Mohamed Amin Ben Sassi, Antoine Girard. Control of polynomial dynamical systems on rectangles. ECC13 - European Control Conference, Jul 2013, Zurich, Switzerland. IEEE, pp.658-663, 2013. <hal-00839615>
  • Takayuki Ishizaki, Kenji Kashima, Antoine Girard, Jun-Ichi Imura, Luonan Chen, et al.. Clustering-Based H2-State Aggregation of Positive Networks and Its Application to Reduction of Chemical Master Equations. CDC 2012 - 51st IEEE Conference on Decision and Control, Dec 2012, Maui, Hawaii, United States. IEEE, pp.4175-4180, 2012, <10.1109/CDC.2012.6426793>. <hal-00769676>
  • Antoine Girard. Low-complexity switching controllers for safety using symbolic models. Maurice Heemels, Bart De Schutter, Mircea Lazar. 4th IFAC Conference on Analysis and Design of Hybrid Systems, Jun 2012, Eindhoven, Netherlands. IFAC, pp.82-87, 2012, <10.3182/20120606-3-NL-3011.00014>. <hal-00769673>
  • Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard. Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. Supratik Chakraborty, Madhavan Mukund. ATVA 2012 - 10th International Symposium on Automated Technology for Verification and Analysis, Oct 2012, Thiruvananthapuram, India. Springer, 7561, pp.137-151, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-33386-6_12>. <hal-00769672>
  • Samuel Martin, Arastoo Fazeli, Ali Jadbabaie, Antoine Girard. Multi-Agent Flocking with Random Communication Radius. ACC 2012 - 2012 American Control Conference, Jun 2012, Montréal, Canada. IEEE, pp.3871-3876, 2012. <hal-00769675>
  • Christophe Prieur, Antoine Girard, Emmanuel Witrant. Lyapunov functions for switched linear hyperbolic systems. Maurice Heemels,Bart De Schutter, Mircea Lazar. 4th IFAC conference on Analysis and Design of Hybrid Systems (ADHS'2012), Jun 2012, Eindhoven, Netherlands. IFAC, pp.382-387, 2012, <10.3182/20120606-3-NL-3011.00061>. <hal-00734469>
  • Javier Cámara, Antoine Girard, Gregor Gössler. Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC 2011 - 14th International Conference on Hybrid Systems: Computation and Control, Apr 2011, Chicago, IL, United States. pp.191-200, 2011, <10.1145/1967701.1967730>. <hal-00665219>
  • Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, et al.. SpaceEx: Scalable Verification of Hybrid Systems. Ganesh Gopalakrishnan, Shaz Qadeer. CAV 2011 - 23rd International Conference on Computer Aided Verification, Jul 2011, Snowbird, UT, United States. Springer, 6806, pp.379-395, 2011, Lecture Notes in Computer Science. <10.1007/978-3-642-22110-1_30>. <hal-00769608>
  • Javier Cámara, Antoine Girard, Gregor Gössler. Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models. CDC-ECC - 50th IEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. IEEE, pp.520-525, 2011, <10.1109/CDC.2011.6160424>. <hal-00665226>
  • Irinel - Constantin Morarescu, Antoine Girard. Consensus with constrained convergence rate: Agreement in communities. 49th IEEE Conference on Decision and Control, CDC 2010, Dec 2010, Atlanta, GA, Afghanistan. IEEE, pp.6311-6316, 2010, <10.1109/CDC.2010.5717635>. <hal-00769604>
  • Irinel - Constantin Morarescu, Silviu-Iulian Niculescu, Antoine Girard. Consensus with constrained convergence rate and time-delays. Tomas Vyhlidal, Pavel Zitek. IFAC-TDS 2010 - 9th IFAC Workshop on Time Delay Systems, Jun 2010, Prague, Czech Republic. IFAC, 9, pp.150-155, 2010, <10.3182/20100607-3-CZ-4010.00028>. <hal-00769579>
  • Irinel-Constantin Morarescu, Antoine Girard. A model of opinion dynamics for community detection in graphs. Carlos Canudas de Wit, Alexandre Seuret. NecSys'10 - 2nd IFAC Workshop on Distributed Estimation and Control in Networked Systems, Sep 2010, Annecy, France. IFAC, pp.251-256, 2010, <10.3182/20100913-2-FR-4014.00001>. <hal-00769568>
  • Antoine Girard. Consensus, flocking and opinion dynamics. International Summer School of Automatic Control, Sep 2010, Grenoble, France. <hal-00770292>
  • Samuel Martin, Antoine Girard. Sufficient conditions for flocking via graph robustness analysis. CDC 2010 - 49th IEEE Conference on Decision and Control, Dec 2010, Atlanta, GA, United States. IEEE, pp.6293-6298, 2010, <10.1109/CDC.2010.5717084>. <hal-00769600>
  • Antoine Girard. Synthesis using approximately bisimilar abstractions: time-optimal control problems. CDC 2010 - 49th IEEE Conference on Decision and Control, Dec 2010, Atlanta, GA, United States. IEEE, pp.5893-5898, 2010, <10.1109/CDC.2010.5717756>. <hal-00769592>
  • Antoine Girard. Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications. HSCC '10 - 13th ACM International Conference on Hybrid Systems: Computation and Control, Apr 2010, Stockholm, Sweden. ACM, pp.111-120, 2010, <10.1145/1755952.1755969>. <hal-00769582>
  • Antoine Girard. Symbolic models of control systems. Heterogeneity in control systems, May 2009, Nancy, France. <hal-00770290>
  • Antoine Girard. Vérification des systèmes hybrides. École des Journées Doctoriales du GDR MACS, Mar 2009, Angers, France. <hal-00770289>
  • Colas Le Guernic, Antoine Girard. Reachability Analysis of Hybrid Systems Using Support Functions. Ahmed Bouajjani, Oded Maler. CAV 2009 - 21st International Conference on Computer Aided Verification, Jun 2009, Grenoble, France. Springer, 5643, pp.540-554, 2009, Lecture Notes in Computer Science. <10.1007/978-3-642-02658-4_40>. <hal-00769527>
  • Gang Zheng, Antoine Girard. Bounded and unbounded safety verification using bisimulation metrics. Rupak Majumdar, Paulo Tabuada. HSCC 2009 - 12th International Conference Hybrid Systems: Computation and Control, Apr 2009, San Francisco, CA, United States. Springer, 5469, pp.426-440, 2009, Lecture Notes in Computer Science. <10.1007/978-3-642-00602-9_30>. <hal-00379746>
  • Antoine Girard. Systèmes à commutation, stabilité, représentation symbolique et commande. Groupe de Travail "Systèmes dynamiques hybrides" du GDR MACS, Jan 2008, Paris, France. <hal-00770284>
  • Antoine Girard, Colas Le Guernic. Zonotope/hyperplane intersection for hybrid systems reachability analysis. Magnus Egerstedt, Bud Mishra. HSCC 2008 - Hybrid Systems: Computation and Control, Apr 2008, St. Louis, MO, United States. Springer, 4981, pp.215-228, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-78929-1_16>. <hal-00306993>
  • Antoine Girard, Samuel Martin. Motion planning for nonlinear systems using hybridizations and robust controllers on simplices. CDC 2008 - 47th IEEE Conference on Decision and Control, Dec 2008, Cancun, Mexico. IEEE, pp.239-244, 2008, <10.1109/CDC.2008.4738758>. <hal-00379740>
  • Antoine Girard. Modèles symboliques de systèmes dynamiques pour la conception de systèmes embarqués sûrs. Colloque en hommage à Louis Bolliet : l'Informatique à Venir, May 2008, Grenoble, France. <hal-00307089>
  • Antoine Girard, Colas Le Guernic. Efficient reachability analysis for linear systems using support functions. IFAC World Congress, Jul 2008, Séoul, South Korea. IFAC, pp.8966-8971, 2008, <10.3182/20080706-5-KR-1001.0569>. <hal-00307009>
  • Antoine Girard, Giordano Pola, Paulo Tabuada. Approximately bisimilar symbolic models for incrementally stable switched systems. Magnus Egerstedt, Bud Mishra. HSCC 2008 - Hybrid Systems: Computation and Control, Apr 2008, Saint Louis, MO, United States. Springer, 4981, pp.201-214, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-78929-1_15>. <hal-00306990>
  • Antoine Girard. Approximately bisimilar finite abstractions of stable linear systems. Alberto Bemporad, Antonio Bicchi and Giorgio Buttazzo. HSCC 2007 - Hybrid Systems: Computation and Control, Apr 2007, Pisa, Italy. Springer, 4416, pp.231-244, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-71493-4_20>. <hal-00306999>
  • Antoine Girard. Presentation of the VAL-AMS project. Grand Colloque STIC, Nov 2007, Paris, France. <hal-00307092>
  • Antoine Girard. Méthodes algorithmiques pour l'analyse des systèmes hybrides. Journées Nationales du GDR MACS, Jul 2007, Reims, France. <hal-00307096>
  • Giordano Pola, Antoine Girard, Paulo Tabuada. Symbolic models for nonlinear control systems using approximate bisimulation. CDC - 46th IEEE Conference on Decision and Control, Dec 2007, New Orleans, LA, United States. IEEE, pp.4656-4661, 2007, <10.1109/CDC.2007.4434911>. <hal-00307012>
  • Antoine Girard, George J. Pappas. Approximate hierarchies of linear control systems. CDC - 46th IEEE Conference on Decision and Control, Dec 2007, New Orleans, LA, United States. IEEE, pp.3727-3732, 2007, <10.1109/CDC.2007.4434071>. <hal-00307020>
  • Georgios E. Fainekos, Antoine Girard, George J. Pappas. Hierarchical synthesis of hybrid controllers from temporal logics specifications. Alberto Bemporad, Antonio Bicchi and Giorgio Buttazzo. HSCC 2007 - Hybrid Systems: Computation and Control, Apr 2007, Pisa, Italy. Springer, 4416, pp.203-216, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-71493-4_18>. <hal-00306996>
  • Antoine Girard, George J. Pappas. Hierarchical control using approximate simulation relations. 45th IEEE Conference on Decision and Control, 2006, San Diego, United States. pp.264-269, 2006. <hal-00307028>
  • Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic, et al.. Recent progress in continuous and hybrid reachability analysis. IEEE International Symposium on Computer-Aided Control Systems Design 2006, Oct 2006, Munich, Germany. IEEE, pp.1582 - 1587, 2006, <10.1109/CACSD-CCA-ISIC.2006.4776877>. <hal-00307031>
  • Antoine Girard, Agung A. Julius, George J. Pappas. Approximate simulation relations for hybrid systems. 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006, Alghero, Italy. pp.106-111, 2006. <hal-00307035>
  • Antoine Girard. Zonotope techniques for reachability analysis. Workshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States. <hal-00171716>
  • Antoine Girard. Relations de simulation approchées pour la vérification des systèmes dynamiques continus et hybrides. Groupe de travail "Systèmes Dynamiques Hybrides", Feb 2006, Paris, France. <hal-00171715>
  • Antoine Girard. Approximation metrics for discrete and continuous systems. Workshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States. <hal-00171714>
  • Georgios E. Fainekos, Antoine Girard, George J. Pappas. Temporal logic verification using simulation. Asarin E. et Bouyer P. Formal Modelling and Analysis of Timed Systems, FORMATS 2006, Sep 2006, Paris, France. Springer, 4202, pp.171-186, 2006, Lecture Notes in Computer Science. <hal-00171560>
  • Antoine Girard, George J. Pappas. Verification using simulation. Hespanha J. .P. et Tiwari A. Hybrid Systems: Computation and Control, HSCC 2006, Mar 2006, Santa Barbara, United States. Springer, 3927, pp.272-286, 2006, Lecture Notes in Computer Science. <hal-00171538>
  • Agung A. Julius, Antoine Girard, George J. Pappas. Approximate bisimulation for a class of stochastic hybrid systems. American Control Conference, Jun 2006, Portland, United States. IEEE, pp.4724-4729, 2006. <hal-00171556>
  • Antoine Girard, Colas Le Guernic, Oded Maler. Efficient computation of reachable sets of linear time-invariant systems with inputs. Hespanha J. .P. et Tiwari A. Hybrid Systems: Computation and Control, HSCC 2006, Mar 2006, Santa Barbara, United States. Springer, 3927, pp.257-271, 2006, Lecture Notes in Computer Science. <hal-00171555>
  • Truong Nghiem, George J. Pappas, Antoine Girard, Rajeev Alur. Time-triggered implementations of dynamic controllers. Min S. .L. et Yi W. Conference on Embedded Software, EMSOFT'06, Oct 2006, Seoul, South Korea. pp.2-11, 2006. <hal-00171553>
  • Antoine Girard. Reachability of uncertain linear systems using zonotopes. Hybrid Systems: Computation and Control, 2005, Zurich, Switzerland. Springer, 3414, pp.291-305, 2005, LNCS. <hal-00307003>
  • Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur. Quantifying the gap between embedded control models and time-triggered implementations. 26th IEEE Real-Time Systems Symposium, 2005, Miami Beach, United States. pp.111-120, 2005. <hal-00307047>
  • Antoine Girard, George J. Pappas. Approximate bisimulations for nonlinear dynamical systems. Conference on Decision and Control and European Control Conference, Dec 2005, Seville, Spain. IEEE, pp.684-689, 2006. <hal-00171559>
  • Antoine Girard, George J. Pappas. Approximate bisimulations for constrained linear systems. Conference on Decision and Control and European Control Conference, Dec 2005, Seville, Spain. IEEE, pp.4700-4705, 2006. <hal-00171539>
  • Antoine Girard. Optimal control of linear systems: a multiresolution approach. 43rd IEEE Conference on Decision and Control, 2004, Nassau, Bahamas. pp.1806-1811, 2004. <hal-00307049>
  • Eugene Asarin, Thao Dang, Antoine Girard. Reachability analysis of non-linear systems using conservative approximations. Hybrid Systems: Computation and Control, 2003, Prague, Czech Republic. Springer, 2623, pp.20-35, 2003, LNCS. <hal-00307007>
  • Antoine Girard. Computation and stability analysis of limit cycles in piecewise linear hybrid systems. 1st IFAC Conference on Analysis and Design of Hybrid Systems, 2003, St Malo, France. pp.181-186, 2003. <hal-00307053>
  • Antoine Girard. Approximate solutions of ODEs using piecewise linear vector fields. 5th International Workshop on Computer Algebra in Scientific Computing, 2002, Yalta, Ukraine. pp.107-120, 2002. <hal-00307056>
  • Antoine Girard. Detection of event occurrence in piecewise linear hybrid systems. 4th International Conference on Recent Advances in Soft Computing, 2002, Nottingham, United Kingdom. pp.19-25, 2002. <hal-00307055>

Chapitre d'ouvrage3 documents

  • Irinel-Constantin Morarescu, Silviu-Iulian Niculescu, Antoine Girard. Consensus with constrained convergence rate and time-delays. Rifat Sipahi, Tomáš Vyhlídal, Silviu-Iulian Niculescu, Pepe Pierdomenico. Time Delay Systems: Methods, Applications and New Trends, Springer, pp.417-428, 2012, Lecture Notes in Control and Information Sciences, volume 423, <10.1007/978-3-642-25221-1_32>. <hal-00768438>
  • Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic. Tools for the Analysis of Hybrid Models. Claude Jard, Olivier H. Roux. Communicating Embedded Systems: Software and Design, Hermès, 2009, Wiley-ISTE, 978-1-84821-143-8. <hal-00765812>
  • Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic. Outils pour l'analyse des modèles hybrides. Olivier H. Roux, Claude Jard. Approches formelles des systèmes embarqués communicants, Hermès, 2008, Traité IC2, série Informatique et systèmes d'information. <hal-00765809>

Direction d'ouvrage, Proceedings1 document

  • Antoine Girard, Sriram Sankaranarayanan. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. 18th International Conference on Hybrid Systems: Computation and Control, Apr 2015, Seattle, United States. 2015. <hal-01170573>

Rapport2 documents

  • Ying Tang, Christophe Prieur, Antoine Girard. Singular perturbation approximation of linear hyperbolic systems of balance laws (full version). [Research Report] Gipsa-Lab. 2015. <hal-01175825v2>
  • Sebti Mouelhi, Antoine Girard, Gregor Gössler. CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions. [Research Report] RR-8108, INRIA. 2012. <hal-00743982>

Thèse1 document

  • Antoine Girard. Analyse Algorithmique des Systèmes Hybrides. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2004. Français. <tel-00007064>

HDR1 document

  • Antoine Girard. Computational Approaches to Analysis and Control of Hybrid Systems. Optimization and Control [math.OC]. Université de Grenoble, 2013. <tel-00908913>