# Antoine Girard

According to our database1, Antoine Girard authored at least 102 papers between 2003 and 2018.

Collaborative distances:
• Dijkstra number2 of four.
• Erdős number3 of four.

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2018
Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models.
IEEE Trans. Automat. Contr., 2018

Event-Based Boundary Control of a Linear $2\times 2$ Hyperbolic System via Backstepping Approach.
IEEE Trans. Automat. Contr., 2018

Optimal multirate sampling in symbolic models for incrementally stable switched systems.
Automatica, 2018

Stability analysis of a general class of singularly perturbed linear hybrid systems.
Automatica, 2018

Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems.
Automatica, 2018

Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Formal Controller Synthesis from Hybrid Programs.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Contract based Design of Symbolic Controllers for Vehicle Platooning.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Compositional Synthesis for Symbolic Control.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance.
Proceedings of the 2018 European Control Conference, 2018

Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Symbolic models for incrementally stable switched systems with aperiodic time sampling.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Language constrained stabilization of discrete-time switched linear systems: an LMI approach.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Safety control, a quantitative approach.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
Scheduling of Embedded Controllers Under Timing Contracts.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Dynamic boundary control synthesis of coupled PDE-ODEs for communication networks under fluid flow modeling.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Design of O(ε) dwell-time graph for stability of singularly perturbed hybrid linear systems.
Proceedings of the 2017 American Control Conference, 2017

2016
Singular Perturbation Approximation of Linear Hyperbolic Systems of Balance Laws.
IEEE Trans. Automat. Contr., 2016

Coordination in Networks of Linear Impulsive Agents.
IEEE Trans. Automat. Contr., 2016

Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models.
IEEE Trans. Automat. Contr., 2016

On the Stabilizability of Discrete-Time Switched Linear Systems: Novel Conditions and Comparisons.
IEEE Trans. Automat. Contr., 2016

Singular perturbation approximation by means of a H2 Lyapunov function for linear hyperbolic systems.
Systems & Control Letters, 2016

Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings.
Automatica, 2016

Event-based control of linear hyperbolic systems of conservation laws.
Automatica, 2016

Verification and Synthesis of Timing Contracts for Embedded Controllers.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Exponential stabilization of language constrained discrete-time switched linear systems: A geometrical approach.
Proceedings of the 2016 European Control Conference, 2016

Stability analysis of singularly perturbed switched and impulsive linear systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approach.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Dynamic Triggering Mechanisms for Event-Triggered Control.
IEEE Trans. Automat. Contr., 2015

Switching Rules for Stabilization of Linear Systems of Conservation Laws.
SIAM J. Control and Optimization, 2015

Symbolic models for stochastic switched systems: A discretization and a discretization-free approach.
Automatica, 2015

Tikhonov theorem for linear hyperbolic systems.
Automatica, 2015

Clustered model reduction of positive directed networks.
Automatica, 2015

Symbolic control of monotone systems application to ventilation regulation in buildings.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Stability analysis of a singularly perturbed coupled ODE-PDE system.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Triggering mechanism using freely selected sensors for linear time-invariant systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Bisimilar symbolic models for stochastic switched systems: A discretization-free approach.
Proceedings of the American Control Conference, 2015

Safety control with performance guarantees of cooperative systems using compositional abstractions.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
Multiagent Flocking Under General Communication Rule.
IEEE Trans. Control of Network Systems, 2014

Stability of Switched Linear Hyperbolic Systems by Lyapunov Techniques.
IEEE Trans. Automat. Contr., 2014

Compositionality results for cardiac cell dynamics.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Experimental implementation of UFAD regulation based on Robust Controlled Invariance.
Proceedings of the European Control Conference, 2014

Boundary control synthesis for hyperbolic systems: A singular perturbation approach.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Iterative computation of polyhedral invariants sets for polynomial dynamical systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Coordination in networks of linear impulsive agents.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

On stabilizability conditions for discrete-time switched linear systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Continuous-Time Consensus under Persistent Connectivity and Slow Divergence of Reciprocal Interaction Weights.
SIAM J. Control and Optimization, 2013

Robust Controlled Invariance for UFAD Regulation.
Proceedings of the BuildSys 2013, 2013

CoSyMA: a tool for controller synthesis using multi-scale abstractions.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

A new H2-norm Lyapunov function for the stability of a singularly perturbed system of two conservation laws.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Controllability and invariance of monotone systems for robust ventilation automation in buildings.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Lyapunov techniques for stabilization of switched linear systems of conservation laws.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Mode sequences as symbolic states in abstractions of incrementally stable switched systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Computational Approaches to Analysis and Control of Hybrid Systems. (Approches Computationnelles pour l'Analyse et le Contrôle des Systèmes Hybrides).
, 2013

2012
Verification of Safety and Liveness Properties of Metric Transition Systems.
ACM Trans. Embedded Comput. Syst., 2012

Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices.
IEEE Trans. Automat. Contr., 2012

Controller synthesis for robust invariance of polynomial dynamical systems using linear programming.
Systems & Control Letters, 2012

Computation of polytopic invariants for polynomial dynamical systems using linear programming.
Automatica, 2012

Controller synthesis for safety and reachability via approximate bisimulation.
Automatica, 2012

Clustering-based ℌ2-state aggregation of positive networks and its application to reduction of chemical master equations.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations.
Proceedings of the Automated Technology for Verification and Analysis, 2012

Multi-agent flocking with random communication radius.
Proceedings of the American Control Conference, 2012

Low-Complexity Switching Controllers for Safety using Symbolic Models.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

Lyapunov functions for switched linear hyperbolic systems.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011
Opinion Dynamics With Decaying Confidence: Application to Community Detection in Graphs.
IEEE Trans. Automat. Contr., 2011

Approximate Bisimulation: A Bridge Between Computer Science and Control Theory.
Eur. J. Control, 2011

Synthesis of switching controllers using approximately bisimilar multiscale abstractions.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Safety controller synthesis for switched systems using multi-scale symbolic models.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

SpaceEx: Scalable Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Consensus with constrained convergence rate: Agreement in communities.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Sufficient conditions for flocking via graph robustness analysis.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Synthesis using approximately bisimilar abstractions: time-optimal control problems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
Hierarchical control system design using approximate simulation.
Automatica, 2009

Temporal logic motion planning for dynamic robots.
Automatica, 2009

Bounded and Unbounded Safety Verification Using Bisimulation Metrics.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Reachability Analysis of Hybrid Systems Using Support Functions.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Approximately bisimilar symbolic models for nonlinear control systems.
Automatica, 2008

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Motion planning for nonlinear systems using hybridizations and robust controllers on simplices.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Approximation Metrics for Discrete and Continuous Systems.
IEEE Trans. Automat. Contr., 2007

Approximate bisimulation relations for constrained linear systems.
Automatica, 2007

Hybridization methods for the analysis of nonlinear systems.
Acta Inf., 2007

Approximately Bisimilar Finite Abstractions of Stable Linear Systems.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Symbolic models for nonlinear control systems using approximate bisimulation.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Approximate hierarchies of linear control systems.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006
Towards a multiresolution approach to linear control.
IEEE Trans. Automat. Contr., 2006

Verification Using Simulation.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Temporal Logic Verification Using Simulation.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Time-triggered implementations of dynamic controllers.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Approximate simulation Relations for Hybrid Systems.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005
Linear time-invariant systems: Martin Schetzen (Ed.); The Institute of Electrical and Electronics Engineers, ISBN: 0-471-23145-2.
Automatica, 2005

Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Reachability of Uncertain Linear Systems Using Zonotopes.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

2004
Analyse Algorithmique des Systèmes Hybrides. (Algorithmic Analysis of Hybrid Systems).
PhD thesis, 2004

2003
Reachability Analysis of Nonlinear Systems Using Conservative Approximation .
Proceedings of the Hybrid Systems: Computation and Control, 2003

Computation and Stability Analysis of Limit Cycles in Piecewise Linear Hybrid Systems.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003