☰

Antoine Girard - Publications

Affiliations: 
L2S CNRS (France) 
Tree Info Similar researchers PubMed Report error

65 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Saoud A, Girard A, Fribourg L. Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems Ieee Transactions On Automatic Control. 1-1. DOI: 10.1109/Tac.2020.2992446  0.47
2020 Girard A, Gössler G. Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions Acta Informatica. 57: 245-269. DOI: 10.1007/S00236-019-00341-X  0.482
2019 Zonetti D, Saoud A, Girard A, Fribourg L. Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads Ifac-Papersonline. 52: 139-144. DOI: 10.1016/J.Ifacol.2019.12.148  0.367
2019 Etienne L, Girard A, Greco L. Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems Automatica. 100: 388-395. DOI: 10.1016/J.Automatica.2018.11.014  0.534
2018 Espitia N, Girard A, Marchand N, Prieur C. Event-Based Boundary Control of a Linear $2\times 2$ Hyperbolic System via Backstepping Approach Ieee Transactions On Automatic Control. 63: 2686-2693. DOI: 10.1109/Tac.2017.2774011  0.464
2018 Meyer P, Girard A, Witrant E. Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models Ieee Transactions On Automatic Control. 63: 1835-1841. DOI: 10.1109/Tac.2017.2753039  0.443
2018 Fränzle M, Girard A, Lygeros J, Sankaranarayanan S. Special issue on Hybrid Systems: Computation and Control Nonlinear Analysis: Hybrid Systems. 27: 174-176. DOI: 10.1016/J.Nahs.2017.07.001  0.43
2018 Kader Z, Girard A, Saoud A. Symbolic models for incrementally stable switched systems with aperiodic time sampling Ifac-Papersonline. 51: 253-258. DOI: 10.1016/J.Ifacol.2018.08.043  0.478
2018 Eqtami A, Girard A. Safety control, a quantitative approach Ifac-Papersonline. 51: 187-192. DOI: 10.1016/J.Ifacol.2018.08.032  0.442
2018 Jungers M, Girard A, Fiacchini M. Language constrained stabilization of discrete-time switched linear systems: an LMI approach Ifac-Papersonline. 51: 25-30. DOI: 10.1016/J.Ifacol.2018.08.005  0.473
2018 Saoud A, Jagtap P, Zamani M, Girard A. Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems Ifac-Papersonline. 51: 13-18. DOI: 10.1016/J.Ifacol.2018.08.003  0.637
2018 Saoud A, Girard A. Optimal multirate sampling in symbolic models for incrementally stable switched systems Automatica. 98: 58-65. DOI: 10.1016/J.Automatica.2018.09.005  0.428
2018 Fiacchini M, Jungers M, Girard A. Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems Automatica. 93: 64-74. DOI: 10.1016/J.Automatica.2018.03.039  0.503
2018 Rejeb JB, Morarescu I, Girard A, Daafouz J. Stability analysis of a general class of singularly perturbed linear hybrid systems Automatica. 90: 98-108. DOI: 10.1016/J.Automatica.2017.12.019  0.484
2017 Khatib MA, Girard A, Dang T. Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis Nonlinear Analysis: Hybrid Systems. 25: 211-226. DOI: 10.1016/J.Nahs.2016.08.007  0.484
2017 Saoud A, Girard A. Multirate Symbolic Models for Incrementally Stable Switched Systems Ifac-Papersonline. 50: 9278-9284. DOI: 10.1016/J.Ifacol.2017.08.912  0.427
2017 Khatib MA, Girard A, Dang T. Self-Triggered Control for Sampled-data Systems using Reachability Analysis Ifac-Papersonline. 50: 7881-7886. DOI: 10.1016/J.Ifacol.2017.08.745  0.412
2017 Espitia N, Girard A, Marchand N, Prieur C. Fluid-flow modeling and stability analysis of communication networks Ifac-Papersonline. 50: 4534-4539. DOI: 10.1016/J.Ifacol.2017.08.727  0.323
2016 Tang Y, Prieur C, Girard A. Singular Perturbation Approximation of Linear Hyperbolic Systems of Balance Laws Ieee Transactions On Automatic Control. 61: 3031-3037. DOI: 10.1109/Tac.2015.2499444  0.463
2016 Girard A, Gossler G, Mouelhi S. Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models Ieee Transactions On Automatic Control. 61: 1537-1549. DOI: 10.1109/Tac.2015.2478131  0.47
2016 Fiacchini M, Girard A, Jungers M. On the Stabilizability of Discrete-Time Switched Linear Systems: Novel Conditions and Comparisons Ieee Transactions On Automatic Control. 61: 1181-1193. DOI: 10.1109/Tac.2015.2450871  0.474
2016 Lamare P, Girard A, Prieur C. An optimisation approach for stability analysis and controller synthesis of linear hyperbolic systems Esaim: Control, Optimisation and Calculus of Variations. 22: 1236-1263. DOI: 10.1051/Cocv/2016038  0.472
2016 Tang Y, Prieur C, Girard A. Singular perturbation approximation by means of a H2 Lyapunov function for linear hyperbolic systems Systems and Control Letters. 88: 24-31. DOI: 10.1016/J.Sysconle.2015.10.015  0.412
2016 Espitia N, Girard A, Marchand N, Prieur C. Event-based stabilization of linear systems of conservation laws using a dynamic triggering condition Ifac-Papersonline. 49: 362-367. DOI: 10.1016/J.Ifacol.2016.10.192  0.441
2016 Khatib MA, Girard A, Dang T. Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis Ifac-Papersonline. 48: 358-363. DOI: 10.1016/J.Ifacol.2015.11.200  0.531
2016 Meyer PJ, Girard A, Witrant E. Safety control with performance guarantees of cooperative systems using compositional abstractions Ifac-Papersonline. 48: 317-322. DOI: 10.1016/J.Ifacol.2015.11.194  0.468
2016 Espitia N, Girard A, Marchand N, Prieur C. Event-based control of linear hyperbolic systems of conservation laws Automatica. 70: 275-287. DOI: 10.1016/J.Automatica.2016.04.009  0.499
2016 Meyer PJ, Girard A, Witrant E. Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings Automatica. 70: 14-20. DOI: 10.1016/J.Automatica.2016.03.004  0.468
2015 Lamare P, Girard A, Prieur C. Switching rules for stabilization of linear systems of conservation laws Siam Journal On Control and Optimization. 53: 1599-1624. DOI: 10.1137/140953952  0.49
2015 Girard A. Dynamic Triggering Mechanisms for Event-Triggered Control Ieee Transactions On Automatic Control. 60: 1992-1997. DOI: 10.1109/Tac.2014.2366855  0.449
2015 Lamare P, Girard A, Prieur C. Numerical Computation of Lyapunov Function for Hyperbolic PDE using LMI Formulation and Polytopic Embeddings Ifac-Papersonline. 48: 7-12. DOI: 10.1016/J.Ifacol.2015.11.105  0.49
2015 Ishizaki T, Kashima K, Girard A, Imura J, Chen L, Aihara K. Clustered model reduction of positive directed networks Automatica. 59: 238-247. DOI: 10.1016/J.Automatica.2015.06.027  0.338
2015 Tang Y, Prieur C, Girard A. Tikhonov theorem for linear hyperbolic systems Automatica. 57: 1-10. DOI: 10.1016/J.Automatica.2015.03.028  0.5
2015 Zamani M, Abate A, Girard A. Symbolic models for stochastic switched systems: A discretization and a discretization-free approach Automatica. 55: 183-196. DOI: 10.1016/J.Automatica.2015.03.004  0.538
2014 Martin S, Girard A, Fazeli A, Jadbabaie A. Multiagent Flocking Under General Communication Rule Ieee Transactions On Control of Network Systems. 1: 155-166. DOI: 10.1109/Tcns.2014.2316994  0.318
2014 Prieur C, Girard A, Witrant E. Stability of Switched Linear Hyperbolic Systems by Lyapunov Techniques Ieee Transactions On Automatic Control. 59: 2196-2202. DOI: 10.1109/Tac.2013.2297191  0.44
2013 Tang Y, Prieur C, Girard A. Lyapunov stability of a singularly perturbed system of two conservation laws Ifac Proceedings Volumes. 46: 227-232. DOI: 10.3182/20130925-3-Fr-4043.00050  0.423
2013 Martin S, Girard A. Continuous-Time Consensus under Persistent Connectivity and Slow Divergence of Reciprocal Interaction Weights Siam Journal On Control and Optimization. 51: 2568-2584. DOI: 10.1137/11083438X  0.332
2013 Girard A. Low-complexity quantized switching controllers using approximate bisimulation ☆ Nonlinear Analysis: Hybrid Systems. 10: 34-44. DOI: 10.1016/J.Nahs.2013.02.001  0.482
2012 Prieur C, Girard A, Witrant E. Lyapunov functions for switched linear hyperbolic systems Ifac Proceedings Volumes. 45: 382-387. DOI: 10.3182/20120606-3-Nl-3011.00041  0.479
2012 Girard A. Low-Complexity Switching Controllers for Safety Using Symbolic Models Ifac Proceedings Volumes. 45: 82-87. DOI: 10.3182/20120606-3-Nl-3011.00022  0.458
2012 Nghiem T, Pappas GJ, Alur R, Girard A. Time-triggered implementations of dynamic controllers Transactions On Embedded Computing Systems. 11. DOI: 10.1145/2331147.2331168  0.454
2012 Girard A, Zheng G. Verification of Safety and Liveness Properties of Metric Transition Systems Acm Transactions in Embedded Computing Systems. 11: 54. DOI: 10.1145/2331147.2331164  0.436
2012 Girard A, Martin S. Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices Ieee Transactions On Automatic Control. 57: 1046-1051. DOI: 10.1109/Tac.2011.2168874  0.47
2012 Sassi MAB, Girard A. Controller synthesis for robust invariance of polynomial dynamical systems using linear programming Systems & Control Letters. 61: 506-512. DOI: 10.1016/J.Sysconle.2012.01.004  0.485
2012 Sassi MAB, Girard A. Computation of polytopic invariants for polynomial dynamical systems using linear programming Automatica. 48: 3114-3121. DOI: 10.1016/J.Automatica.2012.08.014  0.422
2012 Girard A. Brief paper: Controller synthesis for safety and reachability via approximate bisimulation Automatica. 48: 947-953. DOI: 10.1016/J.Automatica.2012.02.037  0.455
2011 Girard A, Pappas GJ. Approximate Bisimulation: A Bridge Between Computer Science and Control Theory European Journal of Control. 17: 568-578. DOI: 10.3166/Ejc.17.568-578  0.504
2011 Morarescu I, Girard A. Opinion Dynamics With Decaying Confidence: Application to Community Detection in Graphs Ieee Transactions On Automatic Control. 56: 1862-1873. DOI: 10.1109/Tac.2010.2095315  0.344
2010 Morărescu I, Girard A. A Model of Opinion Dynamics for Community Detection in Graphs Ifac Proceedings Volumes. 43: 251-256. DOI: 10.3182/20100913-2-Fr-4014.00001  0.302
2010 Morarescu I, Niculescu S, Girard A. Consensus with constrained convergence rate and time-delays Ifac Proceedings Volumes. 43: 150-155. DOI: 10.3182/20100607-3-Cz-4010.00028  0.371
2010 Girard A, Pola G, Tabuada P. Approximately bisimilar symbolic models for incrementally stable switched systems Ieee Transactions On Automatic Control. 55: 116-126. DOI: 10.1109/Tac.2009.2034922  0.503
2010 Guernic CL, Girard A. Reachability analysis of linear systems using support functions Nonlinear Analysis: Hybrid Systems. 4: 250-262. DOI: 10.1016/J.Nahs.2009.03.002  0.463
2009 Girard A, Pappas GJ. Brief paper: Hierarchical control system design using approximate simulation Automatica. 45: 566-571. DOI: 10.1016/J.Automatica.2008.09.016  0.438
2009 Fainekos GE, Girard A, Kress-Gazit H, Pappas GJ. Temporal logic motion planning for dynamic robots Automatica. 45: 343-352. DOI: 10.1016/J.Automatica.2008.08.008  0.335
2008 Girard A, Guernic CL. Efficient reachability analysis for linear systems using support functions Ifac Proceedings Volumes. 41: 8966-8971. DOI: 10.3182/20080706-5-Kr-1001.01514  0.492
2008 Pola G, Girard A, Tabuada P. Approximately bisimilar symbolic models for nonlinear control systems Automatica. 44: 2508-2516. DOI: 10.1016/J.Automatica.2008.02.021  0.468
2008 Girard A, Julius AA, Pappas GJ. Approximate simulation relations for hybrid systems Discrete Event Dynamic Systems: Theory and Applications. 18: 163-179. DOI: 10.1007/S10626-007-0029-9  0.409
2007 Girard A, Pappas GJ. Approximation Metrics for Discrete and Continuous Systems Ieee Transactions On Automatic Control. 52: 782-798. DOI: 10.1109/Tac.2007.895849  0.464
2007 Girard A, Pappas GJ. Approximate bisimulation relations for constrained linear systems Automatica. 43: 1307-1317. DOI: 10.1016/J.Automatica.2007.01.019  0.479
2007 Asarin E, Dang T, Girard A. Hybridization methods for the analysis of nonlinear systems Acta Informatica. 43: 451-476. DOI: 10.1007/S00236-006-0035-7  0.413
2006 Girard A, Julius AA, Pappas GJ. Approximate Simulation Relations For Hybrid Systems Ifac Proceedings Volumes. 39: 106-111. DOI: 10.3182/20060607-3-It-3902.00022  0.417
2006 Girard A. Towards a multiresolution approach to linear control Ieee Transactions On Automatic Control. 51: 1261-1270. DOI: 10.1109/Tac.2006.878717  0.448
2005 Girard A. Book review: Linear time-invariant systems Automatica. 41: 2014-2015. DOI: 10.1016/J.Automatica.2005.05.014  0.403
2003 Girard A. Computation and Stability Analysis of Limit Cycles in Piecewise Linear Hybrid Systems Ifac Proceedings Volumes. 36: 181-186. DOI: 10.1016/S1474-6670(17)36428-5  0.459
Show low-probability matches.