Mots-clés

Co-auteurs

Nombre de documents

123

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

  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • Ying Tang, Christophe Prieur, Antoine Girard. Tikhonov theorem for linear hyperbolic systems. Automatica, Elsevier, 2015, 57, pp.1-10. <10.1016/j.automatica.2015.03.028>. <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>
  • 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>
  • 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>
  • 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. <10.1109/TAC.2013.2297191>. <hal-00845766>
  • 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>
  • 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>
  • 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. 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>
  • 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>
  • 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, 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>
  • 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>
  • 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, 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>
  • 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. 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, 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. 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ès79 documents

  • Jihene Ben 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>
  • 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. HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, Apr 2016, Vienna, Austria. 19th ACM International Conference on Hybrid Systems: Computation and Control, pp.115-124, 2016, <10.1145/2883817.2883827>. <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>
  • 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-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>
  • Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant. Poster: Symbolic Control of Monotone Systems, Application to Ventilation Regulation in Buildings. 18th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Apr 2015, Seattle, United States. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, pp.1817 - 1819, 2015, <10.1145/2728606.2728637>. <hal-01492955>
  • 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>
  • 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. Elsevier, 48 (27), pp.317-322, 2015, IFAC-PapersOnLine. <10.1016/j.ifacol.2015.11.194>. <hal-01180975>
  • 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. IEEE, pp.4812-4817, 2015, <10.1109/CDC.2015.7402970>. <hal-01204815>
  • 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>
  • 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>
  • 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>
  • Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant. Experimental Implementation of UFAD Regulation based on Robust Controlled Invariance. 13th European Control Conference (ECC 2014), Jun 2014, Strasbourg, France. IEEE, Proceedings of the 13th European Control Conference, pp.1468-1473, 2014, <10.1109/ECC.2014.6862273>. <hal-00988959v2>
  • 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>
  • Mirko Fiacchini, Antoine Girard, Marc Jungers. On stabilizability conditions for discrete-time switched linear systems. 53rd IEEE Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States. IEEE, pp.5469-5474, 2014, <10.1109/CDC.2014.7040244>. <hal-01084388>
  • Ying Tang, Christophe Prieur, Antoine Girard. Boundary control synthesis for hyperbolic systems: A singular perturbation approach. 53rd IEEE Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles (CA), United States. pp.2840-2845, 2014, <10.1109/CDC.2014.7039825>. <hal-01144135>
  • 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>
  • 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. Springer, 46 (26), pp.227-232, 2013, IFAC Proceedings Volumes. <10.3182/20130925-3-FR-4043.00050>. <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>
  • 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>
  • 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>
  • Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant. Poster Abstract: Robust Controlled Invariance for UFAD Regulation. 5th ACM Workshop on Embedded Systems For Energy ­Efficient Buildings (BuildSys), Nov 2013, Roma, Italy. Proceedings of the 5th ACM Workshop on Embedded Systems For Energy-Efficient Buildings, pp.1 - 2, 2013, <10.1145/2528282.2528316>. <hal-01492943>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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. 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>
  • 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>
  • 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>
  • Antoine Girard. Consensus, flocking and opinion dynamics. International Summer School of Automatic Control, Sep 2010, Grenoble, France. <hal-00770292>
  • Nadim Alayli, A. Girard, F. Schoenstein, Pierre-Richard Dahoo, K.L. Tan, et al.. Etude du frittage de particules d'argent pour la connexion dans un système électronique de puissance. Matériaux 2010, Oct 2010, Nantes, France. <hal-01436699>
  • 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>
  • Antoine Girard. Vérification des systèmes hybrides. École des Journées Doctoriales du GDR MACS, Mar 2009, Angers, France. <hal-00770289>
  • Antoine Girard. Symbolic models of control systems. Heterogeneity in control systems, May 2009, Nancy, France. <hal-00770290>
  • 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. 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, 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, 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. 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, 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. Méthodes algorithmiques pour l'analyse des systèmes hybrides. Journées Nationales du GDR MACS, Jul 2007, Reims, France. <hal-00307096>
  • Antoine Girard. Presentation of the VAL-AMS project. Grand Colloque STIC, Nov 2007, Paris, France. <hal-00307092>
  • 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>
  • 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>
  • 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. 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>
  • 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>
  • 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>
  • 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, 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>
  • 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>
  • 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. 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, 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, 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. 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. 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. 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>
  • 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>

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>