Antoine Girard
Orcid: 0000-0002-4075-9041Affiliations:
- Paris-Saclay University, CNRS, France
According to our database1,
Antoine Girard
authored at least 163 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
IEEE Trans. Autom. Control., October, 2024
Synthesis of Input-to-State Attractivity Controllers for Transition Systems With Disturbances.
IEEE Trans. Autom. Control., September, 2024
Syst. Control. Lett., 2024
Feedback Stabilization of Discrete-Time Switched Systems Under Büchi-Constrained Signals.
IEEE Control. Syst. Lett., 2024
Autom., 2024
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
2023
Eur. J. Control, November, 2023
Event-triggered neural network control using quadratic constraints for perturbed systems.
Autom., November, 2023
IEEE Trans. Autom. Control., September, 2023
Abstraction of Continuous-Time Systems Based on Feedback Controllers and Mixed Monotonicity.
IEEE Trans. Autom. Control., August, 2023
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
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
Proceedings of the Hybrid and Networked Dynamical Systems - Modeling, Analysis and Control, 2022
Proceedings of the Hybrid and Networked Dynamical Systems - Modeling, Analysis and Control, 2022
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
IEEE Control. Syst. Lett., 2021
Formal controller synthesis from specifications given by discrete-time hybrid automata.
Autom., 2021
Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications.
Autom., 2021
Annu. Rev. Control. Robotics Auton. Syst., 2021
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
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
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
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 2019 American Control Conference, 2019
2018
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
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
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
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
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
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
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
2017
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
IEEE Trans. Autom. Control., 2016
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
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
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
IEEE Trans. Autom. Control., 2015
SIAM J. Control. Optim., 2015
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach.
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
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
IEEE Trans. Control. Netw. Syst., 2014
IEEE Trans. Autom. Control., 2014
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
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
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
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
Proceedings of the BuildSys 2013, 2013
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013
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
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
ACM Trans. Embed. Comput. Syst., 2012
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
CoRR, 2012
Computation of polytopic invariants for polynomial dynamical systems using linear programming.
Autom., 2012
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
Proceedings of the Automated Technology for Verification and Analysis, 2012
Proceedings of the American Control Conference, 2012
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012
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
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
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
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
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
2009
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
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
IEEE Trans. Autom. Control., 2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
2006
IEEE Trans. Autom. Control., 2006
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
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
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
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
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
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
2003
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