Computation and Stability Analysis of Limit Cycles in Piecewise Linear Hybrid Systems. - Antoine Girard (ADHS, 2003)

Reachability Analysis of Nonlinear Systems Using Conservative Approximation . - Eugene Asarin; Thao Dang 001; Antoine Girard (HSCC, 2003)

Optimal control of linear systems: a multiresolution approach. - Antoine Girard (CDC, 2004)

Analyse Algorithmique des Systèmes Hybrides. (Algorithmic Analysis of Hybrid Systems). - Antoine Girard (2004)

Approximate Bisimulations for Nonlinear Dynamical Systems. - Antoine Girard; George J. Pappas (CDC/ECC, 2005)

Approximate Bisimulations for Constrained Linear Systems. - Antoine Girard; George J. Pappas (CDC/ECC, 2005)

Reachability of Uncertain Linear Systems Using Zonotopes. - Antoine Girard (HSCC, 2005)

Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. - Hakan Yazarel; Antoine Girard; George J. Pappas; Rajeev Alur (RTSS, 2005)

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

Approximate bisimulation for a class of stochastic hybrid systems. - A. Agung Julius; Antoine Girard; George J. Pappas (ACC, 2006)

Hierarchical Control using Approximate Simulation Relations. - Antoine Girard; George J. Pappas (CDC, 2006)

Temporal Logic Verification Using Simulation. - Georgios E. Fainekos; Antoine Girard; George J. Pappas (FORMATS, 2006)

Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. - Antoine Girard; Colas Le Guernic; Oded Maler (HSCC, 2006)

Verification Using Simulation. - Antoine Girard; George J. Pappas (HSCC, 2006)

Towards a multiresolution approach to linear control. - Antoine Girard (IEEE Trans. Autom. Control., 2006)

Approximate hierarchies of linear control systems. - Antoine Girard; George J. Pappas (CDC, 2007)

Symbolic models for nonlinear control systems using approximate bisimulation. - Giordano Pola; Antoine Girard; Paulo Tabuada (CDC, 2007)

Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. - Georgios E. Fainekos; Antoine Girard; George J. Pappas (HSCC, 2007)

Approximately Bisimilar Finite Abstractions of Stable Linear Systems. - Antoine Girard (HSCC, 2007)

Hybridization methods for the analysis of nonlinear systems. - Eugene Asarin; Thao Dang 001; Antoine Girard (Acta Informatica, 2007)

Approximate bisimulation relations for constrained linear systems. - Antoine Girard; George J. Pappas (Autom., 2007)

Approximation Metrics for Discrete and Continuous Systems. - Antoine Girard; George J. Pappas (IEEE Trans. Autom. Control., 2007)

Motion planning for nonlinear systems using hybridizations and robust controllers on simplices. - Antoine Girard; Samuel Martin (CDC, 2008)

Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. - Antoine Girard; Colas Le Guernic (HSCC, 2008)

Approximately bisimilar symbolic models for nonlinear control systems. - Giordano Pola; Antoine Girard; Paulo Tabuada (Autom., 2008)

Approximate Simulation Relations for Hybrid Systems. - Antoine Girard; A. Agung Julius; George J. Pappas (Discret. Event Dyn. Syst., 2008)

Reachability Analysis of Hybrid Systems Using Support Functions. - Colas Le Guernic; Antoine Girard (CAV, 2009)

Bounded and Unbounded Safety Verification Using Bisimulation Metrics. - Gang Zheng; Antoine Girard (HSCC, 2009)

Temporal logic motion planning for dynamic robots. - Georgios E. Fainekos; Antoine Girard; Hadas Kress-Gazit; George J. Pappas (Autom., 2009)

Hierarchical control system design using approximate simulation. - Antoine Girard; George J. Pappas (Autom., 2009)

Synthesis using approximately bisimilar abstractions: time-optimal control problems. - Antoine Girard (CDC, 2010)

Sufficient conditions for flocking via graph robustness analysis. - Samuel Martin; Antoine Girard (CDC, 2010)

Consensus with constrained convergence rate: Agreement in communities. - Constantin-Irinel Morarescu; Antoine Girard (CDC, 2010)

Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications. - Antoine Girard (HSCC, 2010)

Polytopic Invariant Verification and Synthesis for Polynomial Dynamical Systems via Linear Programming - Mohamed Amin Ben Sassi; Antoine Girard (CoRR, 2010)

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. - Antoine Girard; Giordano Pola; Paulo Tabuada (IEEE Trans. Autom. Control., 2010)

SpaceEx: Scalable Verification of Hybrid Systems. - Goran Frehse; Colas Le Guernic; Alexandre Donzé; Scott Cotton; Rajarshi Ray 001; Olivier Lebeltel; Rodolfo Ripado; Antoine Girard; Thao Dang 001; Oded Maler (CAV, 2011)

Safety controller synthesis for switched systems using multi-scale symbolic models. - Javier Cámara 001; Antoine Girard; Gregor Gößler (CDC/ECC, 2011)

Synthesis of switching controllers using approximately bisimilar multiscale abstractions. - Javier Cámara 001; Antoine Girard; Gregor Gößler (HSCC, 2011)

Control Synthesis for Constrained Nonlinear Systems using Hybridization and Robust Controllers on Simplices - Antoine Girard; Samuel Martin (CoRR, 2011)

Approximate Bisimulation: A Bridge Between Computer Science and Control Theory. - Antoine Girard; George J. Pappas (Eur. J. Control, 2011)

Opinion Dynamics With Decaying Confidence: Application to Community Detection in Graphs. - Irinel-Constantin Morarescu; Antoine Girard (IEEE Trans. Autom. Control., 2011)

Lyapunov functions for switched linear hyperbolic systems. - Christophe Prieur 001; Antoine Girard; Emmanuel Witrant (ADHS, 2012)

Low-Complexity Switching Controllers for Safety using Symbolic Models. - Antoine Girard (ADHS, 2012)

Multi-agent flocking with random communication radius. - Samuel Martin; Arastoo Fazeli; Ali Jadbabaie; Antoine Girard (ACC, 2012)

Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. - Mohamed Amin Ben Sassi; Romain Testylier; Thao Dang 001; Antoine Girard (ATVA, 2012)

Clustering-based ℌ2-state aggregation of positive networks and its application to reduction of chemical master equations. - Takayuki Ishizaki; Kenji Kashima; Antoine Girard; Jun-ichi Imura; Luonan Chen; Kazuyuki Aihara (CDC, 2012)

Controller synthesis for safety and reachability via approximate bisimulation. - Antoine Girard (Autom., 2012)

Computation of polytopic invariants for polynomial dynamical systems using linear programming. - Mohamed Amin Ben Sassi; Antoine Girard (Autom., 2012)

Low-Complexity Quantized Switching Controllers using Approximate Bisimulation - Antoine Girard (CoRR, 2012)

Controller synthesis for robust invariance of polynomial dynamical systems using linear programming. - Mohamed Amin Ben Sassi; Antoine Girard (Syst. Control. Lett., 2012)

Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices. - Antoine Girard; Samuel Martin (IEEE Trans. Autom. Control., 2012)

Verification of Safety and Liveness Properties of Metric Transition Systems. - Antoine Girard; Gang Zheng (ACM Trans. Embed. Comput. Syst., 2012)

Time-Triggered Implementations of Dynamic Controllers. - Truong Nghiem; George J. Pappas; Rajeev Alur; Antoine Girard (ACM Trans. Embed. Comput. Syst., 2012)

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

Tools for the Analysis of Hybrid Models. - Thao Dang 001; Goran Frehse; Antoine Girard; Colas Le Guernic (Communicating Embedded Systems, 2013)

Mode sequences as symbolic states in abstractions of incrementally stable switched systems. - Euriell Le Corronc; Antoine Girard; Gregor Goessler (CDC, 2013)

Lyapunov techniques for stabilization of switched linear systems of conservation laws. - Pierre-Olivier Lamare; Antoine Girard; Christophe Prieur 001 (CDC, 2013)

Controllability and invariance of monotone systems for robust ventilation automation in buildings. - Pierre-Jean Meyer; Antoine Girard; Emmanuel Witrant (CDC, 2013)

A new H2-norm Lyapunov function for the stability of a singularly perturbed system of two conservation laws. - Ying Tang 006; Christophe Prieur 001; Antoine Girard (CDC, 2013)

An approximate abstraction approach to safety control of differentially flat systems. - Alessandro Colombo; Antoine Girard (ECC, 2013)

Control of polynomial dynamical systems on rectangles. - Mohamed Amin Ben Sassi; Antoine Girard (ECC, 2013)

CoSyMA: a tool for controller synthesis using multi-scale abstractions. - Sebti Mouelhi; Antoine Girard; Gregor Gößler (HSCC, 2013)

Robust Controlled Invariance for UFAD Regulation. - Pierre-Jean Meyer; Hosein Nazarpour; Antoine Girard; Emmanuel Witrant (BuildSys@SenSys, 2013)

Dynamic Event Generators for Event-Triggered Control Systems - Antoine Girard (CoRR, 2013)

A composition theorem for bisimulation functions - Antoine Girard (CoRR, 2013)

Continuous-Time Consensus under Persistent Connectivity and Slow Divergence of Reciprocal Interaction Weights. - Samuel Martin; Antoine Girard (SIAM J. Control. Optim., 2013)

On stabilizability conditions for discrete-time switched linear systems. - Mirko Fiacchini; Antoine Girard; Marc Jungers (CDC, 2014)

Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems. - Antoine Girard (CDC, 2014)

Coordination in networks of linear impulsive agents. - Irinel-Constantin Morarescu; Samuel Martin; Antoine Girard (CDC, 2014)

Iterative computation of polyhedral invariants sets for polynomial dynamical systems. - Mohamed Amin Ben Sassi; Antoine Girard; Sriram Sankaranarayanan 001 (CDC, 2014)

Boundary control synthesis for hyperbolic systems: A singular perturbation approach. - Ying Tang 006; Christophe Prieur 001; Antoine Girard (CDC, 2014)

Experimental implementation of UFAD regulation based on Robust Controlled Invariance. - Pierre-Jean Meyer; Hosein Nazarpour; Antoine Girard; Emmanuel Witrant (ECC, 2014)

Compositionality results for cardiac cell dynamics. - Md. Ariful Islam; Abhishek Murthy; Antoine Girard; Scott A. Smolka; Radu Grosu (HSCC, 2014)

Stability of Switched Linear Hyperbolic Systems by Lyapunov Techniques. - Christophe Prieur 001; Antoine Girard; Emmanuel Witrant (IEEE Trans. Autom. Control., 2014)

Multiagent Flocking Under General Communication Rule. - Samuel Martin; Antoine Girard; Arastoo Fazeli; Ali Jadbabaie (IEEE Trans. Control. Netw. Syst., 2014)

Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis. - Mohammad Al Khatib; Antoine Girard; Thao Dang 001 (ADHS, 2015)

Safety control with performance guarantees of cooperative systems using compositional abstractions. - Pierre-Jean Meyer; Antoine Girard; Emmanuel Witrant (ADHS, 2015)

Bisimilar symbolic models for stochastic switched systems: A discretization-free approach. - Majid Zamani 001; Antoine Girard (ACC, 2015)

Triggering mechanism using freely selected sensors for linear time-invariant systems. - Romain Postoyan; Antoine Girard (CDC, 2015)

Stability analysis of a singularly perturbed coupled ODE-PDE system. - Ying Tang 006; Christophe Prieur 001; Antoine Girard (CDC, 2015)

Symbolic control of monotone systems application to ventilation regulation in buildings. - Pierre-Jean Meyer; Antoine Girard; Emmanuel Witrant (HSCC, 2015)

Clustered model reduction of positive directed networks. - Takayuki Ishizaki; Kenji Kashima; Antoine Girard; Jun-ichi Imura; Luonan Chen; Kazuyuki Aihara (Autom., 2015)

Tikhonov theorem for linear hyperbolic systems. - Ying Tang 006; Christophe Prieur 001; Antoine Girard (Autom., 2015)

Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. - Majid Zamani 001; Alessandro Abate; Antoine Girard (Autom., 2015)

Switching Rules for Stabilization of Linear Systems of Conservation Laws. - Pierre-Olivier Lamare; Antoine Girard; Christophe Prieur 001 (SIAM J. Control. Optim., 2015)

Dynamic Triggering Mechanisms for Event-Triggered Control. - Antoine Girard (IEEE Trans. Autom. Control., 2015)

Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approach. - Marc Jungers; Antoine Girard; Mirko Fiacchini (CDC, 2016)

Stability analysis of singularly perturbed switched and impulsive linear systems. - Jihene Ben Rejeb; Irinel-Constantin Morarescu; Antoine Girard; Jamal Daafouz (CDC, 2016)

Exponential stabilization of language constrained discrete-time switched linear systems: A geometrical approach. - Mirko Fiacchini; Marc Jungers; Antoine Girard (ECC, 2016)

Verification and Synthesis of Timing Contracts for Embedded Controllers. - Mohammad Al Khatib; Antoine Girard; Thao Dang 001 (HSCC, 2016)

Event-based control of linear hyperbolic systems of conservation laws. - Nicolás Espitia; Antoine Girard; Nicolas Marchand; Christophe Prieur 001 (Autom., 2016)

Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings. - Pierre-Jean Meyer; Antoine Girard; Emmanuel Witrant (Autom., 2016)

Singular perturbation approximation by means of a H2 Lyapunov function for linear hyperbolic systems. - Ying Tang 006; Christophe Prieur 001; Antoine Girard (Syst. Control. Lett., 2016)

On the Stabilizability of Discrete-Time Switched Linear Systems: Novel Conditions and Comparisons. - Mirko Fiacchini; Antoine Girard; Marc Jungers (IEEE Trans. Autom. Control., 2016)

Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. - Antoine Girard; Gregor Gößler; Sebti Mouelhi (IEEE Trans. Autom. Control., 2016)

Coordination in Networks of Linear Impulsive Agents. - Irinel-Constantin Morarescu; Samuel Martin; Antoine Girard; Aurélie Muller-Gueudin (IEEE Trans. Autom. Control., 2016)

Singular Perturbation Approximation of Linear Hyperbolic Systems of Balance Laws. - Ying Tang 006; Christophe Prieur 001; Antoine Girard (IEEE Trans. Autom. Control., 2016)

Design of O(ε) dwell-time graph for stability of singularly perturbed hybrid linear systems. - Jihene Ben Rejeb; Irinel-Constantin Morarescu; Antoine Girard; Jamal Daafouz (ACC, 2017)

Dynamic boundary control synthesis of coupled PDE-ODEs for communication networks under fluid flow modeling. - Nicolás Espitia; Antoine Girard; Nicolas Marchand; Christophe Prieur 001 (CDC, 2017)

Scheduling of Embedded Controllers Under Timing Contracts. - Mohammad Al Khatib; Antoine Girard; Thao Dang 001 (HSCC, 2017)

From dissipativity theory to compositional synthesis of symbolic models. - Abdalla Swikir; Antoine Girard; Majid Zamani 001 (CoRR, 2017)

Safety control, a quantitative approach. - Alina Eqtami; Antoine Girard (ADHS, 2018)

Language constrained stabilization of discrete-time switched linear systems: an LMI approach. - Marc Jungers; Antoine Girard; Mirko Fiacchini (ADHS, 2018)

Symbolic models for incrementally stable switched systems with aperiodic time sampling. - Zohra Kader; Antoine Girard; Adnane Saoud (ADHS, 2018)

Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. - Adnane Saoud; Pushpak Jagtap; Majid Zamani 001; Antoine Girard (ADHS, 2018)

Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems. - Adnane Saoud; Antoine Girard; Laurent Fribourg (CDC, 2018)

LMI-based design of dynamic event-triggering mechanism for linear systems. - Sophie Tarbouriech; Antoine Girard (CDC, 2018)

On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance. - Adnane Saoud; Antoine Girard; Laurent Fribourg (ECC, 2018)

Compositional Synthesis for Symbolic Control. - Antoine Girard (HSCC, 2018)

Contract based Design of Symbolic Controllers for Vehicle Platooning. - Adnane Saoud; Antoine Girard; Laurent Fribourg (HSCC, 2018)

Formal Controller Synthesis from Hybrid Programs. - Vladimir Sinyakov; Antoine Girard (HSCC, 2018)

Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach. - Abdalla Swikir; Antoine Girard; Majid Zamani 001 (HSCC, 2018)

Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems. - Mirko Fiacchini; Marc Jungers; Antoine Girard (Autom., 2018)

Stability analysis of a general class of singularly perturbed linear hybrid systems. - Jihene Ben Rejeb; Irinel-Constantin Morarescu; Antoine Girard; Jamal Daafouz (Autom., 2018)

Optimal multirate sampling in symbolic models for incrementally stable switched systems. - Adnane Saoud; Antoine Girard (Autom., 2018)

Event-Based Boundary Control of a Linear $2 times 2$ Hyperbolic System via Backstepping Approach. - Nicolás Espitia; Antoine Girard; Nicolas Marchand; Christophe Prieur 001 (IEEE Trans. Autom. Control., 2018)

Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models. - Pierre-Jean Meyer; Antoine Girard; Emmanuel Witrant (IEEE Trans. Autom. Control., 2018)

Symbolic models for incrementally stable singularly perturbed hybrid affine systems. - Zohra Kader; Antoine Girard (ACC, 2019)

Reference Tracking for Linear Time Invariant Systems with a Relay Control. - Zohra Kader; Antoine Girard (CDC, 2019)

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications. - Adnane Saoud; Elena Ivanova; Antoine Girard (CDC, 2019)

Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity. - Vladimir Sinyakov; Antoine Girard (CDC, 2019)

A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems. - Alina Eqtami; Antoine Girard (ECC, 2019)

Safety controller design for incrementally stable switched systems using event-based symbolic models. - Zohra Kader; Adnane Saoud; Antoine Girard (ECC, 2019)

A symbolic approach to voltage stability and power sharing in time-varying DC microgrids. - Daniele Zonetti; Adnane Saoud; Antoine Girard; Laurent Fribourg (ECC, 2019)

Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems. - Lucien Etienne; Antoine Girard; Luca Greco 003 (Autom., 2019)

Lyapunov Functions for Shuffle Asymptotic Stability of Discrete-Time Switched Systems. - Antoine Girard; Paolo Mason (IEEE Control. Syst. Lett., 2019)

Formal Synthesis from Control Programs. - Vladimir Sinyakov; Antoine Girard (CDC, 2020)

Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions. - Antoine Girard; Gregor Gößler (Acta Informatica, 2020)

Guest Editorial Introduction to the Special Issue of the IEEE L-CSS on Learning and Control. - Giovanni Cherubini; Martin Guay; Sophie Tarbouriech; Kartik B. Ariyur; Mireille E. Broucke; Subhrakanti Dey; Christian Ebenbauer; Paolo Frasca; Bahman Gharesifard; Antoine Girard; João Manoel Gomes da Silva; Lars Grüne; et al. (IEEE Control. Syst. Lett., 2020)

Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration. - Elena Ivanova; Antoine Girard (ADHS, 2021)

Efficient Data-Driven Abstraction of Monotone Systems with Disturbances. - Anas Makdesi; Antoine Girard; Laurent Fribourg (ADHS, 2021)

Compositional Synthesis of Symbolic Controllers for Attractivity Specifications. - W. Alejandro Apaza-Perez; Antoine Girard (CDC, 2021)

Data-Driven Abstraction of Monotone Systems. - Anas Makdesi; Antoine Girard; Laurent Fribourg (L4DC, 2021)

Set Propagation Techniques for Reachability Analysis. - Matthias Althoff; Goran Frehse; Antoine Girard (Annu. Rev. Control. Robotics Auton. Syst., 2021)

Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications. - Antoine Girard; Alina Eqtami (Autom., 2021)

Assume-guarantee contracts for continuous-time systems. - Adnane Saoud; Antoine Girard; Laurent Fribourg (Autom., 2021)

Formal controller synthesis from specifications given by discrete-time hybrid automata. - Vladimir Sinyakov; Antoine Girard (Autom., 2021)

Symbolic Observer-Based Controller for Uncertain Nonlinear Systems. - W. Alejandro Apaza-Perez; Antoine Girard; Christophe Combastel; Ali Zolghadri (IEEE Control. Syst. Lett., 2021)

Symbolic Models for a Class of Impulsive Systems. - Abdalla Swikir; Antoine Girard; Majid Zamani 001 (IEEE Control. Syst. Lett., 2021)

Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems. - Adnane Saoud; Antoine Girard; Laurent Fribourg (IEEE Trans. Autom. Control., 2021)

Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach. - Adnane Saoud; Pushpak Jagtap; Majid Zamani 001; Antoine Girard (IEEE Trans. Control. Netw. Syst., 2021)

Invariant Sets for Assume-Guarantee Contracts. - Antoine Girard; Alessio Iovine; Sofiane Benberkane (CDC, 2022)

A Joint Spectral Radius for ømega-Regular Language-Driven Switched Linear Systems. - Georges Aazan; Antoine Girard; Paolo Mason; Luca Greco 003 (HANDY, 2022)

Layers Update of Neural Network Control via Event-Triggering Mechanism. - Sophie Tarbouriech; Carla de Souza; Antoine Girard (HANDY, 2022)

Stability of discrete-time switched linear systems with ω-regular switching sequences. - Georges Aazan; Antoine Girard; Paolo Mason; Luca Greco 003 (HSCC, 2022)

Stability of shuffled switched linear systems: A joint spectral radius approach. - Georges Aazan; Antoine Girard; Luca Greco 003; Paolo Mason (Autom., 2022)

Lazy controller synthesis for monotone transition systems and directed safety specifications. - Elena Ivanova; Adnane Saoud; Antoine Girard (Autom., 2022)

Minimization of Parameter Sensitivity to Pre-Estimation Errors and its Application to the Calibration of Magnetometer Arrays. - Raphaël Neymann; Hendrik Meier; Hugo Lhachemi; Christophe Prieur 001; Antoine Girard (ECC, 2023)

Magneto-Inertial Dead-Reckoning Navigation with Walk Dynamic Model in Indoor Environment. - Raphaël Neymann; Alexis Berthou; Jean-François Jourdas; Hugo Lhachemi; Christophe Prieur 001; Antoine Girard (IPIN, 2023)

Event-Triggered Neural Network Control for LTI Systems. - Carla de Souza; Sophie Tarbouriech; Antoine Girard (IEEE Control. Syst. Lett., 2023)

Abstraction of Continuous-Time Systems Based on Feedback Controllers and Mixed Monotonicity. - Vladimir Sinyakov; Antoine Girard (IEEE Trans. Autom. Control., 2023)

Abstraction Refinement for Attractivity Controllers Using Quantitative Synthesis. - W. Alejandro Apaza-Perez; Antoine Girard (IEEE Trans. Autom. Control., 2023)

Event-triggered neural network control using quadratic constraints for perturbed systems. - Carla de Souza; Antoine Girard; Sophie Tarbouriech (Autom., 2023)

Safe learning-based model predictive control using the compatible models approach. - Anas Makdesi; Antoine Girard; Laurent Fribourg (Eur. J. Control, 2023)

Online Learning for Safe Model Predictive Control with the Compatible Models Approach. - Anas Makdesi; Antoine Girard; Laurent Fribourg (ADHS, 2024)

Symbolically Synthesized Motion Primitives for Autonomous Navigation. - Zhixin Zhao; Antoine Girard; Sorin Olaru (CDC, 2024)

Memoryless concretization relation. - Julien Calbert; Sébastien M. Mattenet; Antoine Girard; Raphaël M. Jungers (HSCC, 2024)

An automata theoretic approach to observer design for switched linear systems. - Georges Aazan; Antoine Girard; Luca Greco 003; Paolo Mason (Autom., 2024)

Classification of simulation relations for symbolic control. - Julien Calbert; Antoine Girard; Raphaël M. Jungers (CoRR, 2024)

Feedback Stabilization of Discrete-Time Switched Systems Under Büchi-Constrained Signals. - Matteo Della Rossa; Thiago Alves Lima; Antoine Girard (IEEE Control. Syst. Lett., 2024)

Nonlinear model predictive control based on K-step control invariant sets. - Zhixin Zhao; Antoine Girard; Sorin Olaru (Eur. J. Control, 2024)

Nonstandard anti-windup approach for event-triggered control purpose. - Carla de Souza; Sophie Tarbouriech; Isabelle Queinnec; Antoine Girard (Syst. Control. Lett., 2024)

Data-Driven Models of Monotone Systems. - Anas Makdesi; Antoine Girard; Laurent Fribourg (IEEE Trans. Autom. Control., 2024)

Synthesis of Input-to-State Attractivity Controllers for Transition Systems With Disturbances. - W. Alejandro Apaza-Perez; Antoine Girard (IEEE Trans. Autom. Control., 2024)

From Relaxed Constraint Satisfaction to p-Invariance of Sets. - Sorin Olaru; Martin Soyer; Zhixin Zhao; Carlos E. T. Dórea; Ernesto Kofman; Antoine Girard (IEEE Trans. Autom. Control., 2024)

Feedback stabilization of switched systems under arbitrary switching: A convex characterization. - Thiago Alves Lima; Matteo Della Rossa; Antoine Girard (CoRR, 2025)

Symbolic Control: Unveiling Free Robustness Margins. - Youssef Ait Si; Antoine Girard; Adnane Saoud (CoRR, 2025)