Antoine Girard

187 papers A* 2A 1B 1C 8Misc 1Journal 83Unranked 86
YearRankTypeTitle / Venue / Authors
2025 — conf
Continuous-Time Nonlinear Optimal Control Problem Under Signal Temporal Logic Constraints.
CDC
En Lai, Riccardo Bonalli, Antoine Girard, Frédéric Jean
2025 J jnl
Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control.
CoRR
Antoine Aspeel, Antoine Girard, Thiago Alves Lima
2025 J jnl
Feedback stabilization of switched systems under arbitrary switching: A convex characterization.
CoRR
Thiago Alves Lima, Matteo Della Rossa, Antoine Girard
2025 — conf
Safe navigation using NMPC based on a K-invariant set and its exploration features.
CDC
Zhixin Zhao, Antoine Girard, Sorin Olaru
2025 C conf
Set Invariance for Assume-Guarantee Contracts in Cyber-Physical Systems Design - - Extended Abstract -.
ICTAC
Antoine Girard
2025 J jnl
Symbolic Control: Unveiling Free Robustness Margins.
CoRR
Youssef Ait Si, Antoine Girard, Adnane Saoud
2025 J jnl
Symbolic control: Unveiling free robustness margins.
Eur. J. Control
Youssef Ait Si, Antoine Girard, Adnane Saoud
2024 J jnl
An automata theoretic approach to observer design for switched linear systems.
Autom.
Georges Aazan, Antoine Girard, Luca Greco, Paolo Mason
2024 J jnl
Classification of simulation relations for symbolic control.
CoRR
Julien Calbert, Antoine Girard, Raphaël M. Jungers
2024 J jnl
Data-Driven Models of Monotone Systems.
IEEE Trans. Autom. Control.
Anas Makdesi, Antoine Girard, Laurent Fribourg
2024 J jnl
Feedback Stabilization of Discrete-Time Switched Systems Under Büchi-Constrained Signals.
IEEE Control. Syst. Lett.
Matteo Della Rossa, Thiago Alves Lima, Antoine Girard
2024 J jnl
From Relaxed Constraint Satisfaction to p-Invariance of Sets.
IEEE Trans. Autom. Control.
Sorin Olaru, Martin Soyer, Zhixin Zhao, Carlos E. T. Dórea, Ernesto Kofman, Antoine Girard
2024 — conf
Memoryless concretization relation.
HSCC
Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers
2024 J jnl
Memoryless concretization relation.
CoRR
Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers
2024 J jnl
Nonlinear model predictive control based on K-step control invariant sets.
Eur. J. Control
Zhixin Zhao, Antoine Girard, Sorin Olaru
2024 J jnl
Nonstandard anti-windup approach for event-triggered control purpose.
Syst. Control. Lett.
Carla de Souza, Sophie Tarbouriech, Isabelle Queinnec, Antoine Girard
2024 — conf
Online Learning for Safe Model Predictive Control with the Compatible Models Approach.
ADHS
Anas Makdesi, Antoine Girard, Laurent Fribourg
2024 — conf
Symbolically Synthesized Motion Primitives for Autonomous Navigation.
CDC
Zhixin Zhao, Antoine Girard, Sorin Olaru
2024 J jnl
Synthesis of Input-to-State Attractivity Controllers for Transition Systems With Disturbances.
IEEE Trans. Autom. Control.
W. Alejandro Apaza-Perez, Antoine Girard
2023 J jnl
Abstraction Refinement for Attractivity Controllers Using Quantitative Synthesis.
IEEE Trans. Autom. Control.
W. Alejandro Apaza-Perez, Antoine Girard
2023 J jnl
Abstraction of Continuous-Time Systems Based on Feedback Controllers and Mixed Monotonicity.
IEEE Trans. Autom. Control.
Vladimir Sinyakov, Antoine Girard
2023 J jnl
Event-Triggered Neural Network Control for LTI Systems.
IEEE Control. Syst. Lett.
Carla de Souza, Sophie Tarbouriech, Antoine Girard
2023 J jnl
Event-triggered neural network control using quadratic constraints for perturbed systems.
Autom.
Carla de Souza, Antoine Girard, Sophie Tarbouriech
2023 C conf
Magneto-Inertial Dead-Reckoning Navigation with Walk Dynamic Model in Indoor Environment.
IPIN
Raphaël Neymann, Alexis Berthou, Jean-François Jourdas, Hugo Lhachemi, Christophe Prieur, Antoine Girard
2023 — conf
Minimization of Parameter Sensitivity to Pre-Estimation Errors and its Application to the Calibration of Magnetometer Arrays.
ECC
Raphaël Neymann, Hendrik Meier, Hugo Lhachemi, Christophe Prieur, Antoine Girard
2023 J jnl
Safe learning-based model predictive control using the compatible models approach.
Eur. J. Control
Anas Makdesi, Antoine Girard, Laurent Fribourg
2022 — conf
A Joint Spectral Radius for ømega-Regular Language-Driven Switched Linear Systems.
HANDY
Georges Aazan, Antoine Girard, Paolo Mason, Luca Greco
2022 — conf
Invariant Sets for Assume-Guarantee Contracts.
CDC
Antoine Girard, Alessio Iovine, Sofiane Benberkane
2022 — conf
Layers Update of Neural Network Control via Event-Triggering Mechanism.
HANDY
Sophie Tarbouriech, Carla de Souza, Antoine Girard
2022 J jnl
Lazy controller synthesis for monotone transition systems and directed safety specifications.
Autom.
Elena Ivanova, Adnane Saoud, Antoine Girard
2022 — conf
Stability of discrete-time switched linear systems with ω-regular switching sequences.
HSCC
Georges Aazan, Antoine Girard, Paolo Mason, Luca Greco
2022 J jnl
Stability of shuffled switched linear systems: A joint spectral radius approach.
Autom.
Georges Aazan, Antoine Girard, Luca Greco, Paolo Mason
2021 J jnl
Assume-guarantee contracts for continuous-time systems.
Autom.
Adnane Saoud, Antoine Girard, Laurent Fribourg
2021 J jnl
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach.
IEEE Trans. Control. Netw. Syst.
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
2021 — conf
Compositional Synthesis of Symbolic Controllers for Attractivity Specifications.
CDC
W. Alejandro Apaza-Perez, Antoine Girard
2021 J jnl
Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems.
IEEE Trans. Autom. Control.
Adnane Saoud, Antoine Girard, Laurent Fribourg
2021 — conf
Data-Driven Abstraction of Monotone Systems.
L4DC
Anas Makdesi, Antoine Girard, Laurent Fribourg
2021 — conf
Efficient Data-Driven Abstraction of Monotone Systems with Disturbances.
ADHS
Anas Makdesi, Antoine Girard, Laurent Fribourg
2021 J jnl
Formal controller synthesis from specifications given by discrete-time hybrid automata.
Autom.
Vladimir Sinyakov, Antoine Girard
2021 — conf
Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration.
ADHS
Elena Ivanova, Antoine Girard
2021 J jnl
Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications.
Autom.
Antoine Girard, Alina Eqtami
2021 J jnl
Set Propagation Techniques for Reachability Analysis.
Annu. Rev. Control. Robotics Auton. Syst.
Matthias Althoff, Goran Frehse, Antoine Girard
2021 J jnl
Symbolic Models for a Class of Impulsive Systems.
IEEE Control. Syst. Lett.
Abdalla Swikir, Antoine Girard, Majid Zamani
2021 J jnl
Symbolic Observer-Based Controller for Uncertain Nonlinear Systems.
IEEE Control. Syst. Lett.
W. Alejandro Apaza-Perez, Antoine Girard, Christophe Combastel, Ali Zolghadri
2021 C conf
Symbolic observer-based controller for uncertain nonlinear systems.
ACC
W. Alejandro Apaza-Perez, Antoine Girard, Christophe Combastel, Ali Zolghadri
2020 J jnl
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach.
CoRR
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
2020 — conf
Formal Synthesis from Control Programs.
CDC
Vladimir Sinyakov, Antoine Girard
2020 J jnl
Guest Editorial Introduction to the Special Issue of the IEEE L-CSS on Learning and Control.
IEEE Control. Syst. Lett.
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, Christopher M. Kellett, Usman Khan, Giuseppe Notarstefano, Luca Scardovi, Kyriakos G. Vamvoudakis
2020 J jnl
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions.
Acta Informatica
Antoine Girard, Gregor Gößler
2020 J jnl
Symbolic Models for a Class of Impulsive Systems.
CoRR
Abdalla Swikir, Antoine Girard, Majid Zamani
2019 — conf
A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems.
ECC
Alina Eqtami, Antoine Girard
2019 — conf
A symbolic approach to voltage stability and power sharing in time-varying DC microgrids.
ECC
Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg
2019 — conf
Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity.
CDC
Vladimir Sinyakov, Antoine Girard
2019 — conf
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications.
CDC
Adnane Saoud, Elena Ivanova, Antoine Girard
2019 J jnl
Lyapunov Functions for Shuffle Asymptotic Stability of Discrete-Time Switched Systems.
IEEE Control. Syst. Lett.
Antoine Girard, Paolo Mason
2019 — conf
Reference Tracking for Linear Time Invariant Systems with a Relay Control.
CDC
Zohra Kader, Antoine Girard
2019 — conf
Safety controller design for incrementally stable switched systems using event-based symbolic models.
ECC
Zohra Kader, Adnane Saoud, Antoine Girard
2019 J jnl
Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems.
Autom.
Lucien Etienne, Antoine Girard, Luca Greco
2019 C conf
Symbolic models for incrementally stable singularly perturbed hybrid affine systems.
ACC
Zohra Kader, Antoine Girard
2018 — ed.
6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018
ADHS
Alessandro Abate, Antoine Girard, Maurice Heemels
2018 J jnl
Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models.
IEEE Trans. Autom. Control.
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
2018 — conf
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems.
ADHS
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
2018 — conf
Compositional Synthesis for Symbolic Control.
HSCC
Antoine Girard
2018 — conf
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach.
HSCC
Abdalla Swikir, Antoine Girard, Majid Zamani
2018 — conf
Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems.
CDC
Adnane Saoud, Antoine Girard, Laurent Fribourg
2018 — conf
Contract based Design of Symbolic Controllers for Vehicle Platooning.
HSCC
Adnane Saoud, Antoine Girard, Laurent Fribourg
2018 J jnl
Event-Based Boundary Control of a Linear $2\times 2$ Hyperbolic System via Backstepping Approach.
IEEE Trans. Autom. Control.
Nicolás Espitia, Antoine Girard, Nicolas Marchand, Christophe Prieur
2018 — conf
Formal Controller Synthesis from Hybrid Programs.
HSCC
Vladimir Sinyakov, Antoine Girard
2018 — conf
LMI-based design of dynamic event-triggering mechanism for linear systems.
CDC
Sophie Tarbouriech, Antoine Girard
2018 — conf
Language constrained stabilization of discrete-time switched linear systems: an LMI approach.
ADHS
Marc Jungers, Antoine Girard, Mirko Fiacchini
2018 — conf
On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance.
ECC
Adnane Saoud, Antoine Girard, Laurent Fribourg
2018 J jnl
Optimal multirate sampling in symbolic models for incrementally stable switched systems.
Autom.
Adnane Saoud, Antoine Girard
2018 — conf
Safety control, a quantitative approach.
ADHS
Alina Eqtami, Antoine Girard
2018 J jnl
Stability analysis of a general class of singularly perturbed linear hybrid systems.
Autom.
Jihene Ben Rejeb, Irinel-Constantin Morarescu, Antoine Girard, Jamal Daafouz
2018 J jnl
Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems.
Autom.
Mirko Fiacchini, Marc Jungers, Antoine Girard
2018 — conf
Symbolic models for incrementally stable switched systems with aperiodic time sampling.
ADHS
Zohra Kader, Antoine Girard, Adnane Saoud
2017 J jnl
Compositional abstraction and safety synthesis using overlapping symbolic models.
CoRR
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
2017 C conf
Design of O(ε) dwell-time graph for stability of singularly perturbed hybrid linear systems.
ACC
Jihene Ben Rejeb, Irinel-Constantin Morarescu, Antoine Girard, Jamal Daafouz
2017 — conf
Dynamic boundary control synthesis of coupled PDE-ODEs for communication networks under fluid flow modeling.
CDC
Nicolás Espitia, Antoine Girard, Nicolas Marchand, Christophe Prieur
2017 J jnl
From dissipativity theory to compositional synthesis of symbolic models.
CoRR
Abdalla Swikir, Antoine Girard, Majid Zamani
2017 — conf
Scheduling of Embedded Controllers Under Timing Contracts.
HSCC
Mohammad Al Khatib, Antoine Girard, Thao Dang
2017 J jnl
Stability analysis of a general class of singularly perturbed linear hybrid systems.
CoRR
Jihene Ben Rejeb, Irinel-Constantin Morarescu, Antoine Girard, Jamal Daafouz
2016 J jnl
Coordination in Networks of Linear Impulsive Agents.
IEEE Trans. Autom. Control.
Irinel-Constantin Morarescu, Samuel Martin, Antoine Girard, Aurélie Muller-Gueudin
2016 J jnl
Event-based control of linear hyperbolic systems of conservation laws.
Autom.
Nicolás Espitia, Antoine Girard, Nicolas Marchand, Christophe Prieur
2016 — conf
Exponential stabilization of language constrained discrete-time switched linear systems: A geometrical approach.
ECC
Mirko Fiacchini, Marc Jungers, Antoine Girard
2016 — conf
Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approach.
CDC
Marc Jungers, Antoine Girard, Mirko Fiacchini
2016 J jnl
On the Stabilizability of Discrete-Time Switched Linear Systems: Novel Conditions and Comparisons.
IEEE Trans. Autom. Control.
Mirko Fiacchini, Antoine Girard, Marc Jungers
2016 J jnl
Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings.
Autom.
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
2016 J jnl
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models.
IEEE Trans. Autom. Control.
Antoine Girard, Gregor Gößler, Sebti Mouelhi
2016 J jnl
Singular Perturbation Approximation of Linear Hyperbolic Systems of Balance Laws.
IEEE Trans. Autom. Control.
Ying Tang, Christophe Prieur, Antoine Girard
2016 J jnl
Singular perturbation approximation by means of a H
Syst. Control. Lett.
Ying Tang, Christophe Prieur, Antoine Girard
2016 — conf
Stability analysis of singularly perturbed switched and impulsive linear systems.
CDC
Jihene Ben Rejeb, Irinel-Constantin Morarescu, Antoine Girard, Jamal Daafouz
2016 — conf
Verification and Synthesis of Timing Contracts for Embedded Controllers.
HSCC
Mohammad Al Khatib, Antoine Girard, Thao Dang
2015 C conf
Bisimilar symbolic models for stochastic switched systems: A discretization-free approach.
ACC
Majid Zamani, Antoine Girard
2015 J jnl
Clustered model reduction of positive directed networks.
Autom.
Takayuki Ishizaki, Kenji Kashima, Antoine Girard, Jun-ichi Imura, Luonan Chen, Kazuyuki Aihara
2015 J jnl
Dynamic Triggering Mechanisms for Event-Triggered Control.
IEEE Trans. Autom. Control.
Antoine Girard
2015 — ed.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015
HSCC
Antoine Girard, Sriram Sankaranarayanan
2015 — conf
Safety control with performance guarantees of cooperative systems using compositional abstractions.
ADHS
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
2015 — conf
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis.
ADHS
Mohammad Al Khatib, Antoine Girard, Thao Dang
2015 — conf
Stability analysis of a singularly perturbed coupled ODE-PDE system.
CDC
Ying Tang, Christophe Prieur, Antoine Girard
2015 J jnl
Switching Rules for Stabilization of Linear Systems of Conservation Laws.
SIAM J. Control. Optim.
Pierre-Olivier Lamare, Antoine Girard, Christophe Prieur
2015 — conf
Symbolic control of monotone systems application to ventilation regulation in buildings.
HSCC
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
2015 J jnl
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach.
Autom.
Majid Zamani, Alessandro Abate, Antoine Girard
2015 J jnl
Tikhonov theorem for linear hyperbolic systems.
Autom.
Ying Tang, Christophe Prieur, Antoine Girard
2015 — conf
Triggering mechanism using freely selected sensors for linear time-invariant systems.
CDC
Romain Postoyan, Antoine Girard
2014 — conf
Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems.
CDC
Antoine Girard
2014 — conf
Boundary control synthesis for hyperbolic systems: A singular perturbation approach.
CDC
Ying Tang, Christophe Prieur, Antoine Girard
2014 — conf
Compositionality results for cardiac cell dynamics.
HSCC
Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu
2014 — conf
Coordination in networks of linear impulsive agents.
CDC
Irinel-Constantin Morarescu, Samuel Martin, Antoine Girard
2014 — conf
Experimental implementation of UFAD regulation based on Robust Controlled Invariance.
ECC
Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant
2014 — conf
Iterative computation of polyhedral invariants sets for polynomial dynamical systems.
CDC
Mohamed Amin Ben Sassi, Antoine Girard, Sriram Sankaranarayanan
2014 J jnl
Multiagent Flocking Under General Communication Rule.
IEEE Trans. Control. Netw. Syst.
Samuel Martin, Antoine Girard, Arastoo Fazeli, Ali Jadbabaie
2014 — conf
On stabilizability conditions for discrete-time switched linear systems.
CDC
Mirko Fiacchini, Antoine Girard, Marc Jungers
2014 J jnl
Stability of Switched Linear Hyperbolic Systems by Lyapunov Techniques.
IEEE Trans. Autom. Control.
Christophe Prieur, Antoine Girard, Emmanuel Witrant
2014 J jnl
Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach.
CoRR
Majid Zamani, Alessandro Abate, Antoine Girard
2013 J jnl
A composition theorem for bisimulation functions
CoRR
Antoine Girard
2013 — conf
A new H
CDC
Ying Tang, Christophe Prieur, Antoine Girard
2013 — conf
An approximate abstraction approach to safety control of differentially flat systems.
ECC
Alessandro Colombo, Antoine Girard
2013 — conf
CoSyMA: a tool for controller synthesis using multi-scale abstractions.
HSCC
Sebti Mouelhi, Antoine Girard, Gregor Gößler
2013 — book
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 J jnl
Continuous-Time Consensus under Persistent Connectivity and Slow Divergence of Reciprocal Interaction Weights.
SIAM J. Control. Optim.
Samuel Martin, Antoine Girard
2013 — conf
Control of polynomial dynamical systems on rectangles.
ECC
Mohamed Amin Ben Sassi, Antoine Girard
2013 — conf
Controllability and invariance of monotone systems for robust ventilation automation in buildings.
CDC
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
2013 J jnl
Dynamic Event Generators for Event-Triggered Control Systems
CoRR
Antoine Girard
2013 — conf
Lyapunov techniques for stabilization of switched linear systems of conservation laws.
CDC
Pierre-Olivier Lamare, Antoine Girard, Christophe Prieur
2013 — conf
Mode sequences as symbolic states in abstractions of incrementally stable switched systems.
CDC
Euriell Le Corronc, Antoine Girard, Gregor Goessler
2013 — conf
Robust Controlled Invariance for UFAD Regulation.
BuildSys@SenSys
Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant
2013 — ch.
Tools for the Analysis of Hybrid Models.
Communicating Embedded Systems
Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic
2012 — conf
Clustering-based ℌ2-state aggregation of positive networks and its application to reduction of chemical master equations.
CDC
Takayuki Ishizaki, Kenji Kashima, Antoine Girard, Jun-ichi Imura, Luonan Chen, Kazuyuki Aihara
2012 J jnl
Computation of polytopic invariants for polynomial dynamical systems using linear programming.
Autom.
Mohamed Amin Ben Sassi, Antoine Girard
2012 J jnl
Controller synthesis for robust invariance of polynomial dynamical systems using linear programming.
Syst. Control. Lett.
Mohamed Amin Ben Sassi, Antoine Girard
2012 J jnl
Controller synthesis for safety and reachability via approximate bisimulation.
Autom.
Antoine Girard
2012 J jnl
Low-Complexity Quantized Switching Controllers using Approximate Bisimulation
CoRR
Antoine Girard
2012 — conf
Low-Complexity Switching Controllers for Safety using Symbolic Models.
ADHS
Antoine Girard
2012 — conf
Lyapunov functions for switched linear hyperbolic systems.
ADHS
Christophe Prieur, Antoine Girard, Emmanuel Witrant
2012 C conf
Multi-agent flocking with random communication radius.
ACC
Samuel Martin, Arastoo Fazeli, Ali Jadbabaie, Antoine Girard
2012 B conf
Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations.
ATVA
Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard
2012 J jnl
Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices.
IEEE Trans. Autom. Control.
Antoine Girard, Samuel Martin
2012 J jnl
Time-Triggered Implementations of Dynamic Controllers.
ACM Trans. Embed. Comput. Syst.
Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard
2012 J jnl
Verification of Safety and Liveness Properties of Metric Transition Systems.
ACM Trans. Embed. Comput. Syst.
Antoine Girard, Gang Zheng
2011 J jnl
Approximate Bisimulation: A Bridge Between Computer Science and Control Theory.
Eur. J. Control
Antoine Girard, George J. Pappas
2011 J jnl
Control Synthesis for Constrained Nonlinear Systems using Hybridization and Robust Controllers on Simplices
CoRR
Antoine Girard, Samuel Martin
2011 J jnl
Controller Synthesis for Robust Invariance of Polynomial Dynamical Systems using Linear Programming
CoRR
Mohamed Amin Ben Sassi, Antoine Girard
2011 J jnl
Opinion Dynamics With Decaying Confidence: Application to Community Detection in Graphs.
IEEE Trans. Autom. Control.
Irinel-Constantin Morarescu, Antoine Girard
2011 — conf
Safety controller synthesis for switched systems using multi-scale symbolic models.
CDC/ECC
Javier Cámara, Antoine Girard, Gregor Gößler
2011 A* conf
SpaceEx: Scalable Verification of Hybrid Systems.
CAV
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
2011 — conf
Synthesis of switching controllers using approximately bisimilar multiscale abstractions.
HSCC
Javier Cámara, Antoine Girard, Gregor Gößler
2010 J jnl
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.
IEEE Trans. Autom. Control.
Antoine Girard, Giordano Pola, Paulo Tabuada
2010 — conf
Consensus with constrained convergence rate: Agreement in communities.
CDC
Constantin-Irinel Morarescu, Antoine Girard
2010 J jnl
Controller Synthesis for Safety and Reachability via Approximate Bisimulation
CoRR
Antoine Girard
2010 J jnl
Polytopic Invariant Verification and Synthesis for Polynomial Dynamical Systems via Linear Programming
CoRR
Mohamed Amin Ben Sassi, Antoine Girard
2010 — conf
Sufficient conditions for flocking via graph robustness analysis.
CDC
Samuel Martin, Antoine Girard
2010 — conf
Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications.
HSCC
Antoine Girard
2010 — conf
Synthesis using approximately bisimilar abstractions: time-optimal control problems.
CDC
Antoine Girard
2009 — conf
Bounded and Unbounded Safety Verification Using Bisimulation Metrics.
HSCC
Gang Zheng, Antoine Girard
2009 J jnl
Hierarchical control system design using approximate simulation.
Autom.
Antoine Girard, George J. Pappas
2009 A* conf
Reachability Analysis of Hybrid Systems Using Support Functions.
CAV
Colas Le Guernic, Antoine Girard
2009 J jnl
Temporal logic motion planning for dynamic robots.
Autom.
Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas
2008 J jnl
Approximate Simulation Relations for Hybrid Systems.
Discret. Event Dyn. Syst.
Antoine Girard, A. Agung Julius, George J. Pappas
2008 — conf
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.
HSCC
Antoine Girard, Giordano Pola, Paulo Tabuada
2008 J jnl
Approximately bisimilar symbolic models for nonlinear control systems.
Autom.
Giordano Pola, Antoine Girard, Paulo Tabuada
2008 — conf
Motion planning for nonlinear systems using hybridizations and robust controllers on simplices.
CDC
Antoine Girard, Samuel Martin
2008 — conf
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.
HSCC
Antoine Girard, Colas Le Guernic
2007 J jnl
Approximate bisimulation relations for constrained linear systems.
Autom.
Antoine Girard, George J. Pappas
2007 — conf
Approximate hierarchies of linear control systems.
CDC
Antoine Girard, George J. Pappas
2007 — conf
Approximately Bisimilar Finite Abstractions of Stable Linear Systems.
HSCC
Antoine Girard
2007 J jnl
Approximation Metrics for Discrete and Continuous Systems.
IEEE Trans. Autom. Control.
Antoine Girard, George J. Pappas
2007 — conf
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications.
HSCC
Georgios E. Fainekos, Antoine Girard, George J. Pappas
2007 J jnl
Hybridization methods for the analysis of nonlinear systems.
Acta Informatica
Eugene Asarin, Thao Dang, Antoine Girard
2007 — conf
Symbolic models for nonlinear control systems using approximate bisimulation.
CDC
Giordano Pola, Antoine Girard, Paulo Tabuada
2006 C conf
Approximate bisimulation for a class of stochastic hybrid systems.
ACC
A. Agung Julius, Antoine Girard, George J. Pappas
2006 — conf
Approximate simulation Relations for Hybrid Systems.
ADHS
Antoine Girard, A. Agung Julius, George J. Pappas
2006 — conf
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.
HSCC
Antoine Girard, Colas Le Guernic, Oded Maler
2006 — conf
Hierarchical Control using Approximate Simulation Relations.
CDC
Antoine Girard, George J. Pappas
2006 — conf
Temporal Logic Verification Using Simulation.
FORMATS
Georgios E. Fainekos, Antoine Girard, George J. Pappas
2006 Misc conf
Time-triggered implementations of dynamic controllers.
EMSOFT
Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard
2006 J jnl
Towards a multiresolution approach to linear control.
IEEE Trans. Autom. Control.
Antoine Girard
2006 — conf
Verification Using Simulation.
HSCC
Antoine Girard, George J. Pappas
2005 — conf
Approximate Bisimulations for Constrained Linear Systems.
CDC/ECC
Antoine Girard, George J. Pappas
2005 — conf
Approximate Bisimulations for Nonlinear Dynamical Systems.
CDC/ECC
Antoine Girard, George J. Pappas
2005 J jnl
Linear time-invariant systems: Martin Schetzen (Ed.); The Institute of Electrical and Electronics Engineers, ISBN: 0-471-23145-2.
Autom.
Antoine Girard
2005 A conf
Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations.
RTSS
Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur
2005 — conf
Reachability of Uncertain Linear Systems Using Zonotopes.
HSCC
Antoine Girard
2004 — —
Analyse Algorithmique des Systèmes Hybrides. (Algorithmic Analysis of Hybrid Systems).
Antoine Girard
2004 — conf
Optimal control of linear systems: a multiresolution approach.
CDC
Antoine Girard
2003 — conf
Computation and Stability Analysis of Limit Cycles in Piecewise Linear Hybrid Systems.
ADHS
Antoine Girard
2003 — conf
Reachability Analysis of Nonlinear Systems Using Conservative Approximation .
HSCC
Eugene Asarin, Thao Dang, Antoine Girard