Antoine Girard

Affiliations:
  • Paris-Saclay University, CNRS, France


According to our database1, Antoine Girard authored at least 153 papers between 2003 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Safe learning-based model predictive control using the compatible models approach.
Eur. J. Control, November, 2023

Event-triggered neural network control using quadratic constraints for perturbed systems.
Autom., November, 2023

Abstraction Refinement for Attractivity Controllers Using Quantitative Synthesis.
IEEE Trans. Autom. Control., September, 2023

Abstraction of Continuous-Time Systems Based on Feedback Controllers and Mixed Monotonicity.
IEEE Trans. Autom. Control., August, 2023

Event-Triggered Neural Network Control for LTI Systems.
IEEE Control. Syst. Lett., 2023

Magneto-Inertial Dead-Reckoning Navigation with Walk Dynamic Model in Indoor Environment.
Proceedings of the 13th International Conference on Indoor Positioning and Indoor Navigation, 2023

Minimization of Parameter Sensitivity to Pre-Estimation Errors and its Application to the Calibration of Magnetometer Arrays.
Proceedings of the European Control Conference, 2023

2022
Lazy controller synthesis for monotone transition systems and directed safety specifications.
Autom., 2022

Stability of shuffled switched linear systems: A joint spectral radius approach.
Autom., 2022

Stability of discrete-time switched linear systems with ω-regular switching sequences.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Invariant Sets for Assume-Guarantee Contracts.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach.
IEEE Trans. Control. Netw. Syst., 2021

Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems.
IEEE Trans. Autom. Control., 2021

Symbolic Models for a Class of Impulsive Systems.
IEEE Control. Syst. Lett., 2021

Symbolic Observer-Based Controller for Uncertain Nonlinear Systems.
IEEE Control. Syst. Lett., 2021

Formal controller synthesis from specifications given by discrete-time hybrid automata.
Autom., 2021

Assume-guarantee contracts for continuous-time systems.
Autom., 2021

Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications.
Autom., 2021

Set Propagation Techniques for Reachability Analysis.
Annu. Rev. Control. Robotics Auton. Syst., 2021

Data-Driven Abstraction of Monotone Systems.
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Compositional Synthesis of Symbolic Controllers for Attractivity Specifications.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Efficient Data-Driven Abstraction of Monotone Systems with Disturbances.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020
Guest Editorial Introduction to the Special Issue of the IEEE L-CSS on Learning and Control.
IEEE Control. Syst. Lett., 2020

Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions.
Acta Informatica, 2020

Formal Synthesis from Control Programs.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019
Lyapunov Functions for Shuffle Asymptotic Stability of Discrete-Time Switched Systems.
IEEE Control. Syst. Lett., 2019

Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems.
Autom., 2019

A symbolic approach to voltage stability and power sharing in time-varying DC microgrids.
Proceedings of the 17th European Control Conference, 2019

Safety controller design for incrementally stable switched systems using event-based symbolic models.
Proceedings of the 17th European Control Conference, 2019

A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems.
Proceedings of the 17th European Control Conference, 2019

Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Reference Tracking for Linear Time Invariant Systems with a Relay Control.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Symbolic models for incrementally stable singularly perturbed hybrid affine systems.
Proceedings of the 2019 American Control Conference, 2019

2018
Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models.
IEEE Trans. Autom. Control., 2018

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

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

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

Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems.
Autom., 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 16th European Control Conference, 2018

LMI-based design of dynamic event-triggering mechanism for linear systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 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
From dissipativity theory to compositional synthesis of 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 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. Autom. Control., 2016

Coordination in Networks of Linear Impulsive Agents.
IEEE Trans. Autom. Control., 2016

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

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

Singular perturbation approximation by means of a H<sup>2</sup> Lyapunov function for linear hyperbolic systems.
Syst. Control. Lett., 2016

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

Event-based control of linear hyperbolic systems of conservation laws.
Autom., 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 15th 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. Autom. Control., 2015

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

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

Tikhonov theorem for linear hyperbolic systems.
Autom., 2015

Clustered model reduction of positive directed networks.
Autom., 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. Netw. Syst., 2014

Stability of Switched Linear Hyperbolic Systems by Lyapunov Techniques.
IEEE Trans. Autom. Control., 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 13th 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. Optim., 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

Control of polynomial dynamical systems on rectangles.
Proceedings of the 12th European Control Conference, 2013

An approximate abstraction approach to safety control of differentially flat systems.
Proceedings of the 12th European Control Conference, 2013

A new H<sup>2</sup>-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

Tools for the Analysis of Hybrid Models.
Proceedings of the Communicating Embedded Systems, 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. Embed. Comput. Syst., 2012

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

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

Controller synthesis for robust invariance of polynomial dynamical systems using linear programming.
Syst. Control. Lett., 2012

Low-Complexity Quantized Switching Controllers using Approximate Bisimulation
CoRR, 2012

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

Controller synthesis for safety and reachability via approximate bisimulation.
Autom., 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. Autom. Control., 2011

Approximate Bisimulation: A Bridge Between Computer Science and Control Theory.
Eur. J. Control, 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. Autom. Control., 2010

Polytopic Invariant Verification and Synthesis for Polynomial Dynamical Systems via Linear Programming
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.
Autom., 2009

Temporal logic motion planning for dynamic robots.
Autom., 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.
Discret. Event Dyn. Syst., 2008

Approximately bisimilar symbolic models for nonlinear control systems.
Autom., 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. Autom. Control., 2007

Approximate bisimulation relations for constrained linear systems.
Autom., 2007

Hybridization methods for the analysis of nonlinear systems.
Acta Informatica, 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. Autom. Control., 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

Hierarchical Control using Approximate Simulation Relations.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Approximate bisimulation for a class of stochastic hybrid systems.
Proceedings of the American Control Conference, 2006

2005
Linear time-invariant systems: Martin Schetzen (Ed.); The Institute of Electrical and Electronics Engineers, ISBN: 0-471-23145-2.
Autom., 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

Approximate Bisimulations for Constrained Linear Systems.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Approximate Bisimulations for Nonlinear Dynamical Systems.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

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

Optimal control of linear systems: a multiresolution approach.
Proceedings of the 43rd IEEE Conference on Decision and Control, 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


  Loading...