Antoine Girard
According to our database^{1}, Antoine Girard
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2018
Stability analysis of a general class of singularly perturbed linear hybrid 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
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
Dynamic boundary control synthesis of coupled PDEODEs for communication networks under fluid flow modeling.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Design of O(ε) dwelltime 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 DiscreteTime 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
Eventbased 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 discretetime 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 discretetime switched linear systems: a LyapunovMetzler inequalities approach.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
2015
Dynamic Triggering Mechanisms for EventTriggered 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 discretizationfree 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 ODEPDE system.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Triggering mechanism using freely selected sensors for linear timeinvariant systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Bisimilar symbolic models for stochastic switched systems: A discretizationfree 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 DiscretizationFree 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 discretetime switched linear systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
2013
ContinuousTime 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 EventTriggered Control Systems
CoRR, 2013
Robust Controlled Invariance for UFAD Regulation.
Proceedings of the BuildSys 2013, 2013
CoSyMA: a tool for controller synthesis using multiscale 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
TimeTriggered 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
LowComplexity 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
Clusteringbased ℌ2state 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
Multiagent 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 multiscale 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: statefeedback 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: timeoptimal 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 TimeInvariant 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
Timetriggered implementations of dynamic controllers.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006
2005
Linear timeinvariant systems: Martin Schetzen (Ed.); The Institute of Electrical and Electronics Engineers, ISBN: 0471231452.
Automatica, 2005
Quantifying the Gap between Embedded Control Models and TimeTriggered Implementations.
Proceedings of the 26th IEEE RealTime 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