# Antoine Girard

According to our database

^{1}, Antoine Girard## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

From dissipativity theory to compositional synthesis of symbolic models.

CoRR, 2017

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

CoRR, 2017

Compositional abstraction and safety synthesis using overlapping symbolic models.

CoRR, 2017

Scheduling of Embedded Controllers Under Timing Contracts.

Proceedings of the 20th International Conference on Hybrid Systems: Computation 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 H

^{2}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

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

Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach.

CoRR, 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

A composition theorem for bisimulation functions

CoRR, 2013

Dynamic Event Generators for Event-Triggered Control Systems

CoRR, 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 H

^{2}-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

Time-Triggered Implementations of Dynamic Controllers.

ACM Trans. Embedded Comput. Syst., 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

Low-Complexity Quantized Switching Controllers using Approximate Bisimulation

CoRR, 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

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

Controller Synthesis for Robust Invariance of Polynomial Dynamical Systems using Linear Programming

CoRR, 2011

Control Synthesis for Constrained Nonlinear Systems using Hybridization and Robust Controllers on Simplices

CoRR, 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

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.

IEEE Trans. Automat. Contr., 2010

Polytopic Invariant Verification and Synthesis for Polynomial Dynamical Systems via Linear Programming

CoRR, 2010

Controller Synthesis for Safety and Reachability via Approximate Bisimulation

CoRR, 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

Approximate Simulation Relations for Hybrid Systems.

Discrete Event Dynamic Systems, 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

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