2017

Journal articles

titre
Stability Verification and Timing Contract Synthesis for Linear Impulsive Systems using Reachability Analysis
auteur
Mohammad Al Khatib, Antoine Girard, Thao Dang
article
Nonlinear Analysis: Hybrid Systems, Elsevier, 2017, 25, pp.211-226. 〈10.1016/j.nahs.2016.08.007〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01331737/file/main.pdf BibTex

Conference papers

titre
Design of O(ε) dwell-time graph for stability of singularly perturbed hybrid linear systems
auteur
Jihene Ben Rejeb, Irinel-Constantin Morărescu, Antoine Girard, Jamal Daafouz
article
American Control Conference, ACC 2017, May 2017, Seattle, WA United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01538604/file/acc_graphe.pdf BibTex
titre
Scheduling of Embedded Controllers Under Timing Contracts
auteur
Mohammad Al Khatib, Antoine Girard, Thao Dang
article
20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2017), Apr 2017, Pittsburgh, PA, United States. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pp.131 - 140, 2017, 〈10.1145/3049797.3049816〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01540841/file/hscc_paper.pdf BibTex
titre
Self-Triggered Control for Sampled-data Systems using Reachability Analysis
auteur
Mohammad Al Khatib, Antoine Girard, Thao Dang
article
IFAC World Congress The 20th World Congress of the International Federation of Automatic Control,, 2017, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01540847/file/ifacwc17-AlkhatibGD.pdf BibTex
titre
Multirate Symbolic Models for Incrementally Stable Switched Systems
auteur
Adnane Saoud, Antoine Girard
article
IFAC World Congress The 20th World Congress of the International Federation of Automatic Control, , 2017, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01540854/file/IFAC17_SaoudG.pdf BibTex

Preprints, Working Papers, ...

titre
Event-based boundary control of a linear 2x2 hyperbolic system via backstepping approach
auteur
Nicolás Espitia, Antoine Girard, Nicolas Marchand, Christophe Prieur
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01592643/file/EBC-BacksConditAcepptV2HAL.pdf BibTex

2016

Journal articles

titre
Coordination in networks of linear impulsive agents
auteur
Irinel-Constantin Morarescu, Samuel Martin, Antoine Girard, Aurélie Muller-Gueudin
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (9), pp.2402-2415. 〈10.1109/TAC.2015.2492058〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01096071/file/Report_hal.pdf BibTex
titre
On the stabilizability of discrete-time switched linear systems: novel conditions and comparisons
auteur
Mirko Fiacchini, Antoine Girard, Marc Jungers
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (5), pp.1181-1193. 〈10.1109/TAC.2015.2450871〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01185649/file/NSLM_TAC_V_Final.pdf BibTex
titre
Singular perturbation approximation by means of a $H^2$ Lyapunov function for linear hyperbolic systems
auteur
Ying Tang, Christophe Prieur, Antoine Girard
article
Systems and Control Letters, Elsevier, 2016, 88, pp.24-31. 〈10.1016/j.sysconle.2015.10.015〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01253479/file/approxr_v2.pdf BibTex
titre
Singular Perturbation Approximation of Linear Hyperbolic Systems of Balance Laws
auteur
Ying Tang, Christophe Prieur, Antoine Girard
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (10), pp.3031-3037. 〈10.1109/TAC.2015.2499444〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01276260/file/ieee162.pdf BibTex
titre
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
auteur
Antoine Girard, Gregor Gössler, Sebti Mouelhi
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (6), pp.1537-1549. 〈10.1109/TAC.2015.2478131〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01197426/file/multiscale-tac-double.pdf BibTex
titre
An optimisation approach for stability analysis and controller synthesis of linear hyperbolic systems
auteur
Pierre-Olivier Lamare, Antoine Girard, Christophe Prieur
article
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2016, 22 (4), pp.1236-1263. 〈10.1051/cocv/2016038〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01331730/file/COCV_LGP16.pdf BibTex
titre
Robust controlled invariance for monotone systems: application to ventilation regulation in buildings
auteur
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
article
Automatica, Elsevier, 2016, 70, pp.14-20. 〈10.1016/j.automatica.2016.03.004〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01276261/file/Meyer_Automatica.pdf BibTex
titre
Event-based control of linear hyperbolic systems of conservation laws
auteur
Nicolás Espitia, Antoine Girard, Nicolas Marchand, Christophe Prieur
article
Automatica, Elsevier, 2016, 70, pp.275-287. 〈10.1016/j.automatica.2016.04.009〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01309671/file/EBC_PDEs_final_manuscript.pdf BibTex

Conference papers

titre
Stability analysis of singularly perturbed switched and impulsive linear systems
auteur
Jihene Ben Rejeb, Irinel-Constantin Morarescu, Antoine Girard, Jamal Daafouz
article
55th IEEE Conference on Decision and Control, CDC 2016, Dec 2016, Las Vegas, NV, United States. 〈http://cdc2016.ieeecss.org/index.php〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01379136/file/SwitchedSingularPerturbation_v4.pdf BibTex
titre
Event-based stabilization of linear systems of conservation laws using a dynamic triggering condition
auteur
Nicolás Espitia, Antoine Girard, Nicolas Marchand, Christophe Prieur
article
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
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01309675/file/EBC-Hyp_nolcosacceptedFinal.pdf BibTex
titre
Exponential stabilization of language constrained discrete-time switched linear systems
auteur
Mirko Fiacchini, Marc Jungers, Antoine Girard
article
15th European Control Conference (ECC 2016), Jun 2016, Aalborg, Denmark. pp.2035-2040, 2016, Proceedings of the European Control Conference
Accès au bibtex
BibTex
titre
Verification and Synthesis of Timing Contracts for Embedded Controllers
auteur
Mohammad Al Khatib, Antoine Girard, Thao Dang
article
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〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01276251/file/root.pdf BibTex

2015

Journal articles

titre
Dynamic triggering mechanisms for event-triggered control
auteur
Antoine Girard
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2015, 60 (7), pp.1992-1997. 〈10.1109/TAC.2014.2366855〉
Accès au bibtex
https://arxiv.org/pdf/1301.2182 BibTex
titre
Tikhonov theorem for linear hyperbolic systems
auteur
Ying Tang, Christophe Prieur, Antoine Girard
article
Automatica, Elsevier, 2015, 57, pp.1-10. 〈10.1016/j.automatica.2015.03.028〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01064805/file/sp_V2.pdf BibTex
titre
Switching rules for stabilization of linear systems of conservation laws
auteur
Pierre-Olivier Lamare, Antoine Girard, Christophe Prieur
article
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2015, 53 (3), pp.1599-1624. 〈10.1137/140953952〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01165967/file/siam152.pdf BibTex
titre
Symbolic models for stochastic switched systems: a discretization and a discretization-free approach
auteur
Majid Zamani, Alessandro Abate, Antoine Girard
article
Automatica, Elsevier, 2015, 55, pp.183-196. 〈10.1016/j.automatica.2015.03.004〉
Accès au bibtex
https://arxiv.org/pdf/1407.2730 BibTex
titre
Clustered model reduction of positive directed networks
auteur
Takayuki Ishizaki, Kenji Kashima, Antoine Girard, Jun-Ichi Imura, Luonan Chen, Kazuyuki Aihara
article
Automatica, Elsevier, 2015, 59, pp.238-247. 〈10.1016/j.automatica.2015.06.027〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01276233/file/automatica2015.pdf BibTex

Conference papers

titre
Triggering mechanism using freely selected sensors for linear time-invariant systems
auteur
Romain Postoyan, Antoine Girard
article
54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. IEEE, pp.4812-4817, 2015, 〈10.1109/CDC.2015.7402970〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01204815/file/01-final-cdc-trig-mechanism-limited-sensors.pdf BibTex
titre
Safety control with performance guarantees of cooperative systems using compositional abstractions
auteur
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
article
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〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01180975/file/Meyer_ADHS15_extended.pdf BibTex
titre
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis
auteur
Mohammad Al Khatib, Antoine Girard, Thao Dang
article
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〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01276237/file/adhs2015_AlkhatibGD.pdf BibTex
titre
Numerical Computation of Lyapunov Function for Hyperbolic PDE using LMI Formulation and Polytopic Embeddings
auteur
Pierre-Olivier Lamare, Antoine Girard, Christophe Prieur
article
1st IFAC Workshop on Linear Parameter Varying Systems (LPVS 2015 ), Oct 2015, Grenoble, France. 〈http://www.gipsa-lab.grenoble-inp.fr/LPVS2015/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01214441/file/LGP_LPVS15.pdf BibTex
titre
Bisimilar symbolic models for stochastic switched systems: A discretization-free approach
auteur
Majid Zamani, Antoine Girard
article
ACC 2015 - American Control Conference, Jul 2015, Chicago, United States. IEEE, pp.1923-1928, 〈10.1109/ACC.2015.7171014〉
Accès au bibtex
BibTex
titre
Poster: Symbolic Control of Monotone Systems, Application to Ventilation Regulation in Buildings
auteur
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
article
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〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01492955/file/Meyer_HSCC15.pdf BibTex

Directions of work or proceedings

titre
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
auteur
Antoine Girard, Sriram Sankaranarayanan
article
18th International Conference on Hybrid Systems: Computation and Control, Apr 2015, Seattle, United States. 2015
Accès au bibtex
BibTex

Reports

titre
Singular perturbation approximation of linear hyperbolic systems of balance laws (full version)
auteur
Ying Tang, Christophe Prieur, Antoine Girard
article
[Research Report] Gipsa-Lab. 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01175825/file/TAC_tn_ext_v3_long.pdf BibTex

2014

Journal articles

titre
Stability of switched linear hyperbolic systems by Lyapunov techniques
auteur
Christophe Prieur, Antoine Girard, Emmanuel Witrant
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2014, 59 (8), pp.2196-2202. 〈10.1109/TAC.2013.2297191〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00845766/file/corrected.pdf BibTex
titre
Multi-agent flocking under general communication rule
auteur
Samuel Martin, Antoine Girard, Arastoo Fazeli, Ali Jadbabaie
article
IEEE Transactions on Control of Network Systems, IEEE, 2014, 1 (2), pp.155-166. 〈10.1109/TCNS.2014.2316994〉
Accès au bibtex
BibTex

Conference papers

titre
Iterative computation of polyhedral invariants sets for polynomial dynamical systems
auteur
Mohamed Amin Ben Sassi, Antoine Girard, Sriram Sankaranarayanan
article
CDC 2014 - IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. IEEE, pp.6348-6353, 〈10.1109/CDC.2014.7040384〉
Accès au bibtex
BibTex
titre
On stabilizability conditions for discrete-time switched linear systems
auteur
Mirko Fiacchini, Antoine Girard, Marc Jungers
article
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〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01084388/file/NSLM_CDC14.pdf BibTex
titre
Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems
auteur
Antoine Girard
article
CDC 2014 - IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. IEEE, pp.824-829, 〈10.1109/CDC.2014.7039483〉
Accès au bibtex
BibTex
titre
Coordination in networks of linear impulsive agents
auteur
Irinel-Constantin Morarescu, Samuel Martin, Antoine Girard
article
53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01076175/file/CDC_MASrapport.pdf BibTex
titre
Boundary control synthesis for hyperbolic systems: A singular perturbation approach
auteur
Ying Tang, Christophe Prieur, Antoine Girard
article
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〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01144135/file/CDC14_0443_FI.pdf BibTex
titre
Approximation of singularly perturbed linear hyperbolic systems
auteur
Ying Tang, Christophe Prieur, Antoine Girard
article
21th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2014), Jul 2014, Groningen, Netherlands. 4 p., 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00997291/file/MTNS.pdf BibTex
titre
Experimental Implementation of UFAD Regulation based on Robust Controlled Invariance
auteur
Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant
article
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〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00988959/file/Meyer_ECC14_extended.pdf BibTex
titre
Compositionality results for cardiac cell dynamics
auteur
Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott Smolka, Radu Grosu
article
HSCC '14 - 17th International Conference on Hybrid systems: computation and control, Apr 2014, Berlin, Germany. ACM, pp.243-252, 〈10.1145/2562059.2562138〉
Accès au bibtex
BibTex

2013

Journal articles

titre
Low-complexity quantized switching controllers using approximate bisimulation
auteur
Antoine Girard
article
Nonlinear Analysis: Hybrid Systems, Elsevier, 2013, 10, pp.34-44. 〈10.1016/j.nahs.2013.02.001〉
Accès au bibtex
BibTex
titre
Continuous-Time Consensus under Persistent Connectivity and Slow Divergence of Reciprocal Interaction Weights
auteur
Samuel Martin, Antoine Girard
article
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2013, 51 (3), pp.2568-2584. 〈10.1137/11083438X〉
Accès au bibtex
BibTex

Conference papers

titre
A new H2-norm Lyapunov function for the stability of a singularly perturbed system of two conservation laws
auteur
Ying Tang, Christophe Prieur, Antoine Girard
article
52nd IEEE Conference on Decision and Control (CDC 2013), Dec 2013, Florence, Italy. IEEE, pp.3026-3031, 2013, 〈10.1109/CDC.2013.6760343〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00926211/file/CDC13_0917_FI.pdf BibTex
titre
Lyapunov techniques for stabilization of switched linear systems of conservation laws
auteur
Pierre-Olivier Lamare, Antoine Girard, Christophe Prieur
article
52nd IEEE Conference on Decision and Control (CDC 2013), Dec 2013, Florence, Italy. pp.448-453, 2013, 〈10.1109/CDC.2013.6759922〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00926379/file/CDC2013.pdf BibTex
titre
Controllability and invariance of monotone systems for robust ventilation automation in buildings
auteur
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
article
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〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00858715/file/Controllability.pdf BibTex
titre
Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems
auteur
Euriell Le Corronc, Antoine Girard, Gregor Gössler
article
CDC 2013 - 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. IEEE, pp.3225-3230, 2013, 〈10.1109/CDC.2013.6760375〉
Accès au bibtex
BibTex
titre
Poster Abstract: Robust Controlled Invariance for UFAD Regulation
auteur
Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant
article
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〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01492943/file/Meyer_BuildSys13.pdf BibTex
titre
Lyapunov stability of a singularly perturbed system of two conservation laws
auteur
Ying Tang, Christophe Prieur, Antoine Girard
article
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〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00839621/file/CPDE_VER2.pdf BibTex
titre
Control of polynomial dynamical systems on rectangles
auteur
Mohamed Amin Ben Sassi, Antoine Girard
article
ECC13 - European Control Conference, Jul 2013, Zurich, Switzerland. IEEE, pp.658-663, 2013
Accès au bibtex
BibTex
titre
An approximate abstraction approach to safety control of differentially flat systems
auteur
Alessandro Colombo, Antoine Girard
article
ECC13 - European Control Conference, Jul 2013, Zurich, Switzerland. IEEE, pp.4226-4231, 2013
Accès au bibtex
BibTex
titre
CoSyMA: a tool for controller synthesis using multi-scale abstractions
auteur
Sebti Mouelhi, Antoine Girard, Gregor Goessler
article
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〉
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Computational Approaches to Analysis and Control of Hybrid Systems
auteur
Antoine Girard
article
Optimization and Control [math.OC]. Université de Grenoble, 2013
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00908913/file/hdr-manuscript.pdf BibTex

2012

Journal articles

titre
Computation of polytopic invariants for polynomial dynamical systems using linear programming
auteur
Mohamed Amin Ben Sassi, Antoine Girard
article
Automatica, Elsevier, 2012, 48 (12), pp.3114-3121. 〈10.1016/j.automatica.2012.08.014〉
Accès au bibtex
BibTex
titre
Verification of Safety and Liveness Properties of Metric Transition Systems
auteur
Antoine Girard, Gang Zheng
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2012, 11 (S2), pp.article 54. 〈10.1145/2331147.2331164〉
Accès au bibtex
BibTex
titre
Time-Triggered Implementations of Dynamic Controllers
auteur
Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2012, 11 (S2), pp.article 58. 〈10.1145/2331147.2331168〉
Accès au bibtex
BibTex
titre
Controller synthesis for safety and reachability via approximate bisimulation
auteur
Antoine Girard
article
Automatica, Elsevier, 2012, 48 (5), pp.947-953. 〈10.1016/j.automatica.2012.02.037〉
Accès au bibtex
BibTex
titre
Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices
auteur
Antoine Girard, Samuel Martin
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2012, 57 (4), pp.1046-1051. 〈10.1109/TAC.2011.2168874〉
Accès au bibtex
BibTex
titre
Controller synthesis for robust invariance of polynomial dynamical systems using linear programming
auteur
Mohamed Amin Ben Sassi, Antoine Girard
article
Systems and Control Letters, Elsevier, 2012, 61 (4), pp.506-512. 〈10.1016/j.sysconle.2012.01.004〉
Accès au bibtex
BibTex

Conference papers

titre
Clustering-Based H2-State Aggregation of Positive Networks and Its Application to Reduction of Chemical Master Equations
auteur
Takayuki Ishizaki, Kenji Kashima, Antoine Girard, Jun-Ichi Imura, Luonan Chen, Kazuyuki Aihara
article
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〉
Accès au bibtex
BibTex
titre
Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations
auteur
Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard
article
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〉
Accès au bibtex
BibTex
titre
Multi-Agent Flocking with Random Communication Radius
auteur
Samuel Martin, Arastoo Fazeli, Ali Jadbabaie, Antoine Girard
article
ACC 2012 - 2012 American Control Conference, Jun 2012, Montréal, Canada. IEEE, pp.3871-3876, 2012
Accès au bibtex
BibTex
titre
Lyapunov functions for switched linear hyperbolic systems
auteur
Christophe Prieur, Antoine Girard, Emmanuel Witrant
article
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〉
Accès au bibtex
BibTex
titre
Low-complexity switching controllers for safety using symbolic models
auteur
Antoine Girard
article
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〉
Accès au bibtex
BibTex

Book sections

titre
Consensus with constrained convergence rate and time-delays
auteur
Irinel-Constantin Morarescu, Silviu-Iulian Niculescu, Antoine Girard
article
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〉
Accès au bibtex
BibTex

Reports

titre
CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions
auteur
Sebti Mouelhi, Antoine Girard, Gregor Gössler
article
[Research Report] RR-8108, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00743982/file/RR-8108.pdf BibTex

2011

Journal articles

titre
Opinion dynamics with decaying confidence: application to community detection in graphs
auteur
Irinel-Constantin Morarescu, Antoine Girard
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2011, 56 (8), pp.1862-1873. 〈10.1109/TAC.2010.2095315〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00622835/file/paper.pdf BibTex
titre
Approximate Bisimulation: A Bridge Between Computer Science and Control Theory
auteur
Antoine Girard, George J. Pappas
article
European Journal of Control, Lavoisier, 2011, 17 (5-6), pp.568-578. 〈10.3166/ejc.17.568-578〉
Accès au bibtex
BibTex

Conference papers

titre
Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models
auteur
Javier Cámara, Antoine Girard, Gregor Gössler
article
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〉
Accès au bibtex
BibTex
titre
SpaceEx: Scalable Verification of Hybrid Systems
auteur
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
article
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〉
Accès au bibtex
BibTex
titre
Synthesis of switching controllers using approximately bisimilar multiscale abstractions
auteur
Javier Cámara, Antoine Girard, Gregor Gössler
article
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〉
Accès au bibtex
BibTex

2010

Journal articles

titre
Reachability analysis of linear systems using support functions
auteur
Colas Le Guernic, Antoine Girard
article
Nonlinear Analysis: Hybrid Systems, Elsevier, 2010, 4 (2), pp.250-262. 〈10.1016/j.nahs.2009.03.002〉
Accès au bibtex
BibTex
titre
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
auteur
Antoine Girard, Giordano Pola, Paulo Tabuada
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2010, 55 (1), pp.116-126. 〈10.1109/TAC.2009.2034922〉
Accès au bibtex
BibTex

Conference papers

titre
Consensus with constrained convergence rate: Agreement in communities
auteur
Irinel - Constantin Morarescu, Antoine Girard
article
49th IEEE Conference on Decision and Control, CDC 2010, Dec 2010, Atlanta, GA, Afghanistan. IEEE, pp.6311-6316, 2010, 〈10.1109/CDC.2010.5717635〉
Accès au bibtex
BibTex
titre
Synthesis using approximately bisimilar abstractions: time-optimal control problems
auteur
Antoine Girard
article
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〉
Accès au bibtex
BibTex
titre
Sufficient conditions for flocking via graph robustness analysis
auteur
Samuel Martin, Antoine Girard
article
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〉
Accès au bibtex
BibTex
titre
A model of opinion dynamics for community detection in graphs
auteur
Irinel-Constantin Morarescu, Antoine Girard
article
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〉
Accès au bibtex
BibTex
titre
Consensus, flocking and opinion dynamics
auteur
Antoine Girard
article
International Summer School of Automatic Control, Sep 2010, Grenoble, France
Accès au bibtex
BibTex
titre
Consensus with constrained convergence rate and time-delays
auteur
Irinel - Constantin Morarescu, Silviu-Iulian Niculescu, Antoine Girard
article
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〉
Accès au bibtex
BibTex
titre
Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications
auteur
Antoine Girard
article
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〉
Accès au bibtex
BibTex

2009

Journal articles

titre
Hierarchical control system design using approximate simulation
auteur
Antoine Girard, George J. Pappas
article
Automatica, Elsevier, 2009, 45 (2), pp.566-571. 〈10.1016/j.automatica.2008.09.016〉
Accès au bibtex
BibTex
titre
Temporal logic planning for dynamic models
auteur
Georgios E. Fainekos, Antoine Girard, Haddas Kress-Gazit, George J. Pappas
article
Automatica, Elsevier, 2009, 45 (2), pp.343-352. 〈10.1016/j.automatica.2008.08.008〉
Accès au bibtex
BibTex

Conference papers

titre
Reachability Analysis of Hybrid Systems Using Support Functions
auteur
Colas Le Guernic, Antoine Girard
article
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〉
Accès au bibtex
BibTex
titre
Symbolic models of control systems
auteur
Antoine Girard
article
Heterogeneity in control systems, May 2009, Nancy, France
Accès au bibtex
BibTex
titre
Bounded and unbounded safety verification using bisimulation metrics
auteur
Gang Zheng, Antoine Girard
article
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〉
Accès au bibtex
BibTex
titre
Vérification des systèmes hybrides
auteur
Antoine Girard
article
École des Journées Doctoriales du GDR MACS, Mar 2009, Angers, France
Accès au bibtex
BibTex

Book sections

titre
Tools for the Analysis of Hybrid Models
auteur
Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic
article
Claude Jard, Olivier H. Roux. Communicating Embedded Systems: Software and Design, Hermès, 2009, Wiley-ISTE, 978-1-84821-143-8
Accès au bibtex
BibTex

2008

Journal articles

titre
Approximately bisimilar symbolic models for nonlinear control systems
auteur
Giordano Pola, Antoine Girard, Paulo Tabuada
article
Automatica, Elsevier, 2008, 44 (10), pp.2508-2516. 〈10.1016/j.automatica.2008.02.021〉
Accès au bibtex
BibTex
titre
Approximate simulation relations for hybrid systems
auteur
Antoine Girard, Agung A. Julius, George J. Pappas
article
Discrete Event Dynamic Systems, Springer Verlag, 2008, 18 (2), pp.163-179. 〈10.1007/s10626-007-0029-9〉
Accès au bibtex
BibTex

Conference papers

titre
Motion planning for nonlinear systems using hybridizations and robust controllers on simplices
auteur
Antoine Girard, Samuel Martin
article
CDC 2008 - 47th IEEE Conference on Decision and Control, Dec 2008, Cancun, Mexico. IEEE, pp.239-244, 2008, 〈10.1109/CDC.2008.4738758〉
Accès au bibtex
BibTex
titre
Efficient reachability analysis for linear systems using support functions
auteur
Antoine Girard, Colas Le Guernic
article
IFAC World Congress, Jul 2008, Séoul, South Korea. IFAC, pp.8966-8971, 2008, 〈10.3182/20080706-5-KR-1001.0569〉
Accès au bibtex
BibTex
titre
Modèles symboliques de systèmes dynamiques pour la conception de systèmes embarqués sûrs
auteur
Antoine Girard
article
Colloque en hommage à Louis Bolliet : l'Informatique à Venir, May 2008, Grenoble, France
Accès au bibtex
BibTex
titre
Zonotope/hyperplane intersection for hybrid systems reachability analysis
auteur
Antoine Girard, Colas Le Guernic
article
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〉
Accès au bibtex
BibTex
titre
Approximately bisimilar symbolic models for incrementally stable switched systems
auteur
Antoine Girard, Giordano Pola, Paulo Tabuada
article
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〉
Accès au bibtex
BibTex
titre
Systèmes à commutation, stabilité, représentation symbolique et commande
auteur
Antoine Girard
article
Groupe de Travail "Systèmes dynamiques hybrides" du GDR MACS, Jan 2008, Paris, France
Accès au bibtex
BibTex

Book sections

titre
Outils pour l'analyse des modèles hybrides
auteur
Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic
article
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
Accès au bibtex
BibTex

2007

Journal articles

titre
Approximate bisimulation relations for constrained linear systems
auteur
Antoine Girard, George J. Pappas
article
Automatica, Elsevier, 2007, 43 (8), pp.1307-1317. 〈10.1016/j.automatica.2007.01.019〉
Accès au bibtex
BibTex
titre
Approximation metrics for discrete and continuous systems
auteur
Antoine Girard, George J. Pappas
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2007, 52 (5), pp.782-798. 〈10.1109/TAC.2007.895849〉
Accès au bibtex
BibTex
titre
Hybridization methods for the analysis of nonlinear systems
auteur
Eugene Asarin, Thao Dang, Antoine Girard
article
Acta Informatica, Springer Verlag, 2007, 43 (7), pp.451-476. 〈10.1007/s00236-006-0035-7〉
Accès au bibtex
BibTex

Conference papers

titre
Symbolic models for nonlinear control systems using approximate bisimulation
auteur
Giordano Pola, Antoine Girard, Paulo Tabuada
article
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〉
Accès au bibtex
BibTex
titre
Approximate hierarchies of linear control systems
auteur
Antoine Girard, George J. Pappas
article
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〉
Accès au bibtex
BibTex
titre
Presentation of the VAL-AMS project
auteur
Antoine Girard
article
Grand Colloque STIC, Nov 2007, Paris, France
Accès au bibtex
BibTex
titre
Méthodes algorithmiques pour l'analyse des systèmes hybrides
auteur
Antoine Girard
article
Journées Nationales du GDR MACS, Jul 2007, Reims, France
Accès au bibtex
BibTex
titre
Hierarchical synthesis of hybrid controllers from temporal logics specifications
auteur
Georgios E. Fainekos, Antoine Girard, George J. Pappas
article
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〉
Accès au bibtex
BibTex
titre
Approximately bisimilar finite abstractions of stable linear systems
auteur
Antoine Girard
article
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〉
Accès au bibtex
BibTex

2006

Journal articles

titre
Towards a multiresolution approach to linear control
auteur
Antoine Girard
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2006, 51 (8), pp.1261-1270
Accès au bibtex
BibTex

Conference papers

titre
Recent progress in continuous and hybrid reachability analysis
auteur
Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic, Oded Maler
article
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〉
Accès au bibtex
BibTex
titre
Time-triggered implementations of dynamic controllers
auteur
Truong Nghiem, George J. Pappas, Antoine Girard, Rajeev Alur
article
Min S. .L. et Yi W. Conference on Embedded Software, EMSOFT'06, Oct 2006, Seoul, South Korea. pp.2-11, 2006
Accès au bibtex
BibTex
titre
Temporal logic verification using simulation
auteur
Georgios E. Fainekos, Antoine Girard, George J. Pappas
article
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
Accès au bibtex
BibTex
titre
Approximate bisimulation for a class of stochastic hybrid systems
auteur
Agung A. Julius, Antoine Girard, George J. Pappas
article
American Control Conference, Jun 2006, Portland, United States. IEEE, pp.4724-4729, 2006
Accès au bibtex
BibTex
titre
Verification using simulation
auteur
Antoine Girard, George J. Pappas
article
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
Accès au bibtex
BibTex
titre
Zonotope techniques for reachability analysis
auteur
Antoine Girard
article
Workshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States
Accès au bibtex
BibTex
titre
Approximation metrics for discrete and continuous systems
auteur
Antoine Girard
article
Workshop Topics in Computation and Control, Mar 2006, Santa Barbara, United States
Accès au bibtex
BibTex
titre
Efficient computation of reachable sets of linear time-invariant systems with inputs
auteur
Antoine Girard, Colas Le Guernic, Oded Maler
article
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
Accès au bibtex
BibTex
titre
Relations de simulation approchées pour la vérification des systèmes dynamiques continus et hybrides
auteur
Antoine Girard
article
Groupe de travail "Systèmes Dynamiques Hybrides", Feb 2006, Paris, France
Accès au bibtex
BibTex
titre
Hierarchical control using approximate simulation relations
auteur
Antoine Girard, George J. Pappas
article
45th IEEE Conference on Decision and Control, 2006, San Diego, United States. pp.264-269, 2006
Accès au bibtex
BibTex
titre
Approximate simulation relations for hybrid systems
auteur
Antoine Girard, Agung A. Julius, George J. Pappas
article
2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006, Alghero, Italy. pp.106-111, 2006
Accès au bibtex
BibTex

2005

Conference papers

titre
Approximate bisimulations for constrained linear systems
auteur
Antoine Girard, George J. Pappas
article
Conference on Decision and Control and European Control Conference, Dec 2005, Seville, Spain. IEEE, pp.4700-4705, 2006
Accès au bibtex
BibTex
titre
Approximate bisimulations for nonlinear dynamical systems
auteur
Antoine Girard, George J. Pappas
article
Conference on Decision and Control and European Control Conference, Dec 2005, Seville, Spain. IEEE, pp.684-689, 2006
Accès au bibtex
BibTex
titre
Reachability of uncertain linear systems using zonotopes
auteur
Antoine Girard
article
Hybrid Systems: Computation and Control, 2005, Zurich, Switzerland. Springer, 3414, pp.291-305, 2005, LNCS
Accès au bibtex
BibTex
titre
Quantifying the gap between embedded control models and time-triggered implementations
auteur
Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur
article
26th IEEE Real-Time Systems Symposium, 2005, Miami Beach, United States. pp.111-120, 2005
Accès au bibtex
BibTex

2004

Conference papers

titre
Optimal control of linear systems: a multiresolution approach
auteur
Antoine Girard
article
43rd IEEE Conference on Decision and Control, 2004, Nassau, Bahamas. pp.1806-1811, 2004
Accès au bibtex
BibTex

Theses

titre
Analyse Algorithmique des Systèmes Hybrides
auteur
Antoine Girard
article
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2004. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00007064/file/tel-00007064.pdf BibTex

2003

Conference papers

titre
Computation and stability analysis of limit cycles in piecewise linear hybrid systems
auteur
Antoine Girard
article
1st IFAC Conference on Analysis and Design of Hybrid Systems, 2003, St Malo, France. pp.181-186, 2003
Accès au bibtex
BibTex
titre
Reachability analysis of non-linear systems using conservative approximations
auteur
Eugene Asarin, Thao Dang, Antoine Girard
article
Hybrid Systems: Computation and Control, 2003, Prague, Czech Republic. Springer, 2623, pp.20-35, 2003, LNCS
Accès au bibtex
BibTex

2002

Conference papers

titre
Approximate solutions of ODEs using piecewise linear vector fields
auteur
Antoine Girard
article
5th International Workshop on Computer Algebra in Scientific Computing, 2002, Yalta, Ukraine. pp.107-120, 2002
Accès au bibtex
BibTex
titre
Detection of event occurrence in piecewise linear hybrid systems
auteur
Antoine Girard
article
4th International Conference on Recent Advances in Soft Computing, 2002, Nottingham, United Kingdom. pp.19-25, 2002
Accès au bibtex
BibTex