default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAntoine Girard
Person information
- affiliation: Paris-Saclay University, CNRS, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j63]Georges Aazan, Antoine Girard, Luca Greco, Paolo Mason:
An automata theoretic approach to observer design for switched linear systems. Autom. 165: 111689 (2024)- [j62]Matteo Della Rossa
, Thiago Alves Lima, Antoine Girard:
Feedback Stabilization of Discrete-Time Switched Systems Under Büchi-Constrained Signals. IEEE Control. Syst. Lett. 8: 418-423 (2024) - [j61]Carla de Souza, Sophie Tarbouriech, Isabelle Queinnec, Antoine Girard:
Nonstandard anti-windup approach for event-triggered control purpose. Syst. Control. Lett. 185: 105715 (2024) - [j60]Anas Makdesi, Antoine Girard, Laurent Fribourg:
Data-Driven Models of Monotone Systems. IEEE Trans. Autom. Control. 69(8): 5294-5309 (2024) - [j59]W. Alejandro Apaza-Perez, Antoine Girard:
Synthesis of Input-to-State Attractivity Controllers for Transition Systems With Disturbances. IEEE Trans. Autom. Control. 69(9): 6365-6372 (2024) - [j58]Sorin Olaru, Martin Soyer, Zhixin Zhao, Carlos E. T. Dórea, Ernesto Kofman, Antoine Girard:
From Relaxed Constraint Satisfaction to p-Invariance of Sets. IEEE Trans. Autom. Control. 69(10): 7036-7042 (2024) - [c94]Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers:
Memoryless concretization relation. HSCC 2024: 14:1-14:9 - [i14]Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers:
Memoryless concretization relation. CoRR abs/2403.09556 (2024) - 2023
- [j57]Carla de Souza, Antoine Girard, Sophie Tarbouriech:
Event-triggered neural network control using quadratic constraints for perturbed systems. Autom. 157: 111237 (2023) - [j56]Carla de Souza, Sophie Tarbouriech, Antoine Girard:
Event-Triggered Neural Network Control for LTI Systems. IEEE Control. Syst. Lett. 7: 1381-1386 (2023) - [j55]Anas Makdesi, Antoine Girard, Laurent Fribourg:
Safe learning-based model predictive control using the compatible models approach. Eur. J. Control 74: 100849 (2023) - [j54]Vladimir Sinyakov, Antoine Girard:
Abstraction of Continuous-Time Systems Based on Feedback Controllers and Mixed Monotonicity. IEEE Trans. Autom. Control. 68(8): 4508-4522 (2023) - [j53]W. Alejandro Apaza-Perez, Antoine Girard:
Abstraction Refinement for Attractivity Controllers Using Quantitative Synthesis. IEEE Trans. Autom. Control. 68(9): 5745-5751 (2023) - [c93]Raphaël Neymann, Hendrik Meier, Hugo Lhachemi, Christophe Prieur, Antoine Girard:
Minimization of Parameter Sensitivity to Pre-Estimation Errors and its Application to the Calibration of Magnetometer Arrays. ECC 2023: 1-7 - [c92]Raphaël Neymann, Alexis Berthou, Jean-François Jourdas, Hugo Lhachemi, Christophe Prieur, Antoine Girard:
Magneto-Inertial Dead-Reckoning Navigation with Walk Dynamic Model in Indoor Environment. IPIN 2023: 1-7 - 2022
- [j52]Elena Ivanova, Adnane Saoud, Antoine Girard:
Lazy controller synthesis for monotone transition systems and directed safety specifications. Autom. 135: 109993 (2022) - [j51]Georges Aazan, Antoine Girard, Luca Greco, Paolo Mason:
Stability of shuffled switched linear systems: A joint spectral radius approach. Autom. 143: 110434 (2022) - [c91]Antoine Girard, Alessio Iovine, Sofiane Benberkane:
Invariant Sets for Assume-Guarantee Contracts. CDC 2022: 2190-2195 - [c90]Georges Aazan, Antoine Girard, Paolo Mason, Luca Greco:
A Joint Spectral Radius for ømega-Regular Language-Driven Switched Linear Systems. HANDY 2022: 161-178 - [c89]Sophie Tarbouriech, Carla de Souza, Antoine Girard:
Layers Update of Neural Network Control via Event-Triggering Mechanism. HANDY 2022: 253-272 - [c88]Georges Aazan, Antoine Girard, Paolo Mason, Luca Greco:
Stability of discrete-time switched linear systems with ω-regular switching sequences. HSCC 2022: 13:1-13:7 - 2021
- [j50]Matthias Althoff, Goran Frehse, Antoine Girard:
Set Propagation Techniques for Reachability Analysis. Annu. Rev. Control. Robotics Auton. Syst. 4: 369-395 (2021) - [j49]Antoine Girard, Alina Eqtami:
Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications. Autom. 127: 109543 (2021) - [j48]Vladimir Sinyakov, Antoine Girard:
Formal controller synthesis from specifications given by discrete-time hybrid automata. Autom. 131: 109768 (2021) - [j47]Adnane Saoud, Antoine Girard, Laurent Fribourg:
Assume-guarantee contracts for continuous-time systems. Autom. 134: 109910 (2021) - [j46]Abdalla Swikir, Antoine Girard, Majid Zamani:
Symbolic Models for a Class of Impulsive Systems. IEEE Control. Syst. Lett. 5(1): 247-252 (2021) - [j45]W. Alejandro Apaza-Perez, Antoine Girard, Christophe Combastel, Ali Zolghadri:
Symbolic Observer-Based Controller for Uncertain Nonlinear Systems. IEEE Control. Syst. Lett. 5(4): 1297-1302 (2021) - [j44]Adnane Saoud, Antoine Girard, Laurent Fribourg:
Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems. IEEE Trans. Autom. Control. 66(3): 1055-1070 (2021) - [j43]Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard:
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach. IEEE Trans. Control. Netw. Syst. 8(2): 702-712 (2021) - [c87]Anas Makdesi, Antoine Girard, Laurent Fribourg:
Efficient Data-Driven Abstraction of Monotone Systems with Disturbances. ADHS 2021: 49-54 - [c86]Elena Ivanova, Antoine Girard:
Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration. ADHS 2021: 109-114 - [c85]W. Alejandro Apaza-Perez, Antoine Girard, Christophe Combastel, Ali Zolghadri:
Symbolic observer-based controller for uncertain nonlinear systems. ACC 2021: 3410-3415 - [c84]W. Alejandro Apaza-Perez, Antoine Girard:
Compositional Synthesis of Symbolic Controllers for Attractivity Specifications. CDC 2021: 2008-2013 - [c83]Anas Makdesi, Antoine Girard, Laurent Fribourg:
Data-Driven Abstraction of Monotone Systems. L4DC 2021: 803-814 - 2020
- [j42]Antoine Girard, Gregor Gößler:
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions. Acta Informatica 57(1-2): 245-269 (2020) - [j41]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:
Guest Editorial Introduction to the Special Issue of the IEEE L-CSS on Learning and Control. IEEE Control. Syst. Lett. 4(3): 710-712 (2020) - [c82]Vladimir Sinyakov, Antoine Girard:
Formal Synthesis from Control Programs. CDC 2020: 2138-2145 - [i13]Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard:
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach. CoRR abs/2002.02014 (2020) - [i12]Abdalla Swikir, Antoine Girard, Majid Zamani:
Symbolic Models for a Class of Impulsive Systems. CoRR abs/2005.08409 (2020)
2010 – 2019
- 2019
- [j40]Lucien Etienne, Antoine Girard, Luca Greco:
Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems. Autom. 100: 388-395 (2019) - [j39]Antoine Girard, Paolo Mason:
Lyapunov Functions for Shuffle Asymptotic Stability of Discrete-Time Switched Systems. IEEE Control. Syst. Lett. 3(3): 499-504 (2019) - [c81]Zohra Kader, Antoine Girard:
Symbolic models for incrementally stable singularly perturbed hybrid affine systems. ACC 2019: 3002-3007 - [c80]Zohra Kader, Antoine Girard:
Reference Tracking for Linear Time Invariant Systems with a Relay Control. CDC 2019: 2485-2490 - [c79]Vladimir Sinyakov, Antoine Girard:
Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity. CDC 2019: 4355-4360 - [c78]Adnane Saoud, Elena Ivanova, Antoine Girard:
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications. CDC 2019: 6255-6260 - [c77]Alina Eqtami, Antoine Girard:
A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems. ECC 2019: 536-541 - [c76]Daniele Zonetti, Adnane Saoud, Antoine Girard, Laurent Fribourg:
A symbolic approach to voltage stability and power sharing in time-varying DC microgrids. ECC 2019: 903-909 - [c75]Zohra Kader, Adnane Saoud, Antoine Girard:
Safety controller design for incrementally stable switched systems using event-based symbolic models. ECC 2019: 1269-1274 - 2018
- [j38]Jihene Ben Rejeb, Irinel-Constantin Morarescu, Antoine Girard, Jamal Daafouz:
Stability analysis of a general class of singularly perturbed linear hybrid systems. Autom. 90: 98-108 (2018) - [j37]Mirko Fiacchini, Marc Jungers, Antoine Girard:
Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems. Autom. 93: 64-74 (2018) - [j36]Adnane Saoud, Antoine Girard:
Optimal multirate sampling in symbolic models for incrementally stable switched systems. Autom. 98: 58-65 (2018) - [j35]Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models. IEEE Trans. Autom. Control. 63(6): 1835-1841 (2018) - [j34]Nicolás Espitia, Antoine Girard, Nicolas Marchand, Christophe Prieur:
Event-Based Boundary Control of a Linear $2\times 2$ Hyperbolic System via Backstepping Approach. IEEE Trans. Autom. Control. 63(8): 2686-2693 (2018) - [c74]Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard:
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. ADHS 2018: 13-18 - [c73]Marc Jungers, Antoine Girard, Mirko Fiacchini:
Language constrained stabilization of discrete-time switched linear systems: an LMI approach. ADHS 2018: 25-30 - [c72]Alina Eqtami, Antoine Girard:
Safety control, a quantitative approach. ADHS 2018: 187-192 - [c71]Zohra Kader, Antoine Girard, Adnane Saoud:
Symbolic models for incrementally stable switched systems with aperiodic time sampling. ADHS 2018: 253-258 - [c70]Sophie Tarbouriech, Antoine Girard:
LMI-based design of dynamic event-triggering mechanism for linear systems. CDC 2018: 121-126 - [c69]Adnane Saoud, Antoine Girard, Laurent Fribourg:
Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems. CDC 2018: 773-779 - [c68]Adnane Saoud, Antoine Girard, Laurent Fribourg:
On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance. ECC 2018: 435-440 - [c67]Antoine Girard:
Compositional Synthesis for Symbolic Control. HSCC 2018: 136 - [c66]Vladimir Sinyakov, Antoine Girard:
Formal Controller Synthesis from Hybrid Programs. HSCC 2018: 271-272 - [c65]Abdalla Swikir, Antoine Girard, Majid Zamani:
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach. HSCC 2018: 275-276 - [c64]Adnane Saoud, Antoine Girard, Laurent Fribourg:
Contract based Design of Symbolic Controllers for Vehicle Platooning. HSCC 2018: 277-278 - [e2]Alessandro Abate, Antoine Girard, Maurice Heemels:
6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018. IFAC-PapersOnLine 51(16), Elsevier 2018 [contents] - 2017
- [c63]Jihene Ben Rejeb, Irinel-Constantin Morarescu, Antoine Girard, Jamal Daafouz:
Design of O(ε) dwell-time graph for stability of singularly perturbed hybrid linear systems. ACC 2017: 1193-1198 - [c62]Nicolás Espitia, Antoine Girard, Nicolas Marchand, Christophe Prieur:
Dynamic boundary control synthesis of coupled PDE-ODEs for communication networks under fluid flow modeling. CDC 2017: 1260-1265 - [c61]Mohammad Al Khatib, Antoine Girard, Thao Dang:
Scheduling of Embedded Controllers Under Timing Contracts. HSCC 2017: 131-140 - [i11]Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Compositional abstraction and safety synthesis using overlapping symbolic models. CoRR abs/1704.07124 (2017) - [i10]Jihene Ben Rejeb, Irinel-Constantin Morarescu, Antoine Girard, Jamal Daafouz:
Stability analysis of a general class of singularly perturbed linear hybrid systems. CoRR abs/1706.04932 (2017) - [i9]Abdalla Swikir, Antoine Girard, Majid Zamani:
From dissipativity theory to compositional synthesis of symbolic models. CoRR abs/1710.05585 (2017) - 2016
- [j33]Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings. Autom. 70: 14-20 (2016) - [j32]Nicolás Espitia, Antoine Girard, Nicolas Marchand, Christophe Prieur:
Event-based control of linear hyperbolic systems of conservation laws. Autom. 70: 275-287 (2016) - [j31]Ying Tang, Christophe Prieur, Antoine Girard:
Singular perturbation approximation by means of a H2 Lyapunov function for linear hyperbolic systems. Syst. Control. Lett. 88: 24-31 (2016) - [j30]Mirko Fiacchini, Antoine Girard, Marc Jungers:
On the Stabilizability of Discrete-Time Switched Linear Systems: Novel Conditions and Comparisons. IEEE Trans. Autom. Control. 61(5): 1181-1193 (2016) - [j29]Antoine Girard, Gregor Gößler, Sebti Mouelhi:
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. IEEE Trans. Autom. Control. 61(6): 1537-1549 (2016) - [j28]Irinel-Constantin Morarescu, Samuel Martin, Antoine Girard, Aurélie Muller-Gueudin:
Coordination in Networks of Linear Impulsive Agents. IEEE Trans. Autom. Control. 61(9): 2402-2415 (2016) - [j27]Ying Tang, Christophe Prieur, Antoine Girard:
Singular Perturbation Approximation of Linear Hyperbolic Systems of Balance Laws. IEEE Trans. Autom. Control. 61(10): 3031-3037 (2016) - [c60]Jihene Ben Rejeb, Irinel-Constantin Morarescu, Antoine Girard, Jamal Daafouz:
Stability analysis of singularly perturbed switched and impulsive linear systems. CDC 2016: 5521-5526 - [c59]Marc Jungers, Antoine Girard, Mirko Fiacchini:
Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approach. CDC 2016: 5539-5544 - [c58]Mirko Fiacchini, Marc Jungers, Antoine Girard:
Exponential stabilization of language constrained discrete-time switched linear systems: A geometrical approach. ECC 2016: 2035-2040 - [c57]Mohammad Al Khatib, Antoine Girard, Thao Dang:
Verification and Synthesis of Timing Contracts for Embedded Controllers. HSCC 2016: 115-124 - 2015
- [j26]Majid Zamani, Alessandro Abate, Antoine Girard:
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. Autom. 55: 183-196 (2015) - [j25]Ying Tang, Christophe Prieur, Antoine Girard:
Tikhonov theorem for linear hyperbolic systems. Autom. 57: 1-10 (2015) - [j24]Takayuki Ishizaki, Kenji Kashima, Antoine Girard, Jun-ichi Imura, Luonan Chen, Kazuyuki Aihara:
Clustered model reduction of positive directed networks. Autom. 59: 238-247 (2015) - [j23]Pierre-Olivier Lamare, Antoine Girard, Christophe Prieur:
Switching Rules for Stabilization of Linear Systems of Conservation Laws. SIAM J. Control. Optim. 53(3): 1599-1624 (2015) - [j22]Antoine Girard:
Dynamic Triggering Mechanisms for Event-Triggered Control. IEEE Trans. Autom. Control. 60(7): 1992-1997 (2015) - [c56]Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Safety control with performance guarantees of cooperative systems using compositional abstractions. ADHS 2015: 317-322 - [c55]Mohammad Al Khatib, Antoine Girard, Thao Dang:
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis. ADHS 2015: 358-363 - [c54]Majid Zamani, Antoine Girard:
Bisimilar symbolic models for stochastic switched systems: A discretization-free approach. ACC 2015: 1923-1928 - [c53]Ying Tang, Christophe Prieur, Antoine Girard:
Stability analysis of a singularly perturbed coupled ODE-PDE system. CDC 2015: 4591-4596 - [c52]Romain Postoyan, Antoine Girard:
Triggering mechanism using freely selected sensors for linear time-invariant systems. CDC 2015: 4812-4817 - [c51]Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Symbolic control of monotone systems application to ventilation regulation in buildings. HSCC 2015: 281-282 - [e1]Antoine Girard, Sriram Sankaranarayanan:
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. ACM 2015, ISBN 978-1-4503-3433-4 [contents] - 2014
- [j21]Christophe Prieur, Antoine Girard, Emmanuel Witrant:
Stability of Switched Linear Hyperbolic Systems by Lyapunov Techniques. IEEE Trans. Autom. Control. 59(8): 2196-2202 (2014) - [j20]Samuel Martin, Antoine Girard, Arastoo Fazeli, Ali Jadbabaie:
Multiagent Flocking Under General Communication Rule. IEEE Trans. Control. Netw. Syst. 1(2): 155-166 (2014) - [c50]Antoine Girard:
Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems. CDC 2014: 824-829 - [c49]Ying Tang, Christophe Prieur, Antoine Girard:
Boundary control synthesis for hyperbolic systems: A singular perturbation approach. CDC 2014: 2840-2845 - [c48]Irinel-Constantin Morarescu, Samuel Martin, Antoine Girard:
Coordination in networks of linear impulsive agents. CDC 2014: 3713-3718 - [c47]Mirko Fiacchini, Antoine Girard, Marc Jungers:
On stabilizability conditions for discrete-time switched linear systems. CDC 2014: 5469-5474 - [c46]Mohamed Amin Ben Sassi, Antoine Girard, Sriram Sankaranarayanan:
Iterative computation of polyhedral invariants sets for polynomial dynamical systems. CDC 2014: 6348-6353 - [c45]Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant:
Experimental implementation of UFAD regulation based on Robust Controlled Invariance. ECC 2014: 1468-1473 - [c44]Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu:
Compositionality results for cardiac cell dynamics. HSCC 2014: 243-252 - [i8]Majid Zamani, Alessandro Abate, Antoine Girard:
Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach. CoRR abs/1407.2730 (2014) - 2013
- [b2]Antoine Girard:
Computational Approaches to Analysis and Control of Hybrid Systems. (Approches Computationnelles pour l'Analyse et le Contrôle des Systèmes Hybrides). Grenoble Alpes University, France, 2013 - [j19]Samuel Martin, Antoine Girard:
Continuous-Time Consensus under Persistent Connectivity and Slow Divergence of Reciprocal Interaction Weights. SIAM J. Control. Optim. 51(3): 2568-2584 (2013) - [c43]Pierre-Olivier Lamare, Antoine Girard, Christophe Prieur:
Lyapunov techniques for stabilization of switched linear systems of conservation laws. CDC 2013: 448-453 - [c42]Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant:
Controllability and invariance of monotone systems for robust ventilation automation in buildings. CDC 2013: 1289-1294 - [c41]Ying Tang, Christophe Prieur, Antoine Girard:
A new H2-norm Lyapunov function for the stability of a singularly perturbed system of two conservation laws. CDC 2013: 3026-3031 - [c40]Euriell Le Corronc, Antoine Girard, Gregor Goessler:
Mode sequences as symbolic states in abstractions of incrementally stable switched systems. CDC 2013: 3225-3230 - [c39]Mohamed Amin Ben Sassi, Antoine Girard:
Control of polynomial dynamical systems on rectangles. ECC 2013: 658-663 - [c38]Alessandro Colombo, Antoine Girard:
An approximate abstraction approach to safety control of differentially flat systems. ECC 2013: 4226-4231 - [c37]Sebti Mouelhi, Antoine Girard, Gregor Gößler:
CoSyMA: a tool for controller synthesis using multi-scale abstractions. HSCC 2013: 83-88 - [c36]Pierre-Jean Meyer, Hosein Nazarpour, Antoine Girard, Emmanuel Witrant:
Robust Controlled Invariance for UFAD Regulation. BuildSys@SenSys 2013: 31:1-31:2 - [p1]Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic:
Tools for the Analysis of Hybrid Models. Communicating Embedded Systems 2013: 227-251 - [i7]Antoine Girard:
Dynamic Event Generators for Event-Triggered Control Systems. CoRR abs/1301.2182 (2013) - [i6]Antoine Girard:
A composition theorem for bisimulation functions. CoRR abs/1304.5153 (2013) - 2012
- [j18]Antoine Girard:
Controller synthesis for safety and reachability via approximate bisimulation. Autom. 48(5): 947-953 (2012) - [j17]Mohamed Amin Ben Sassi, Antoine Girard:
Computation of polytopic invariants for polynomial dynamical systems using linear programming. Autom. 48(12): 3114-3121 (2012) - [j16]Mohamed Amin Ben Sassi, Antoine Girard:
Controller synthesis for robust invariance of polynomial dynamical systems using linear programming. Syst. Control. Lett. 61(4): 506-512 (2012) - [j15]Antoine Girard, Samuel Martin:
Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices. IEEE Trans. Autom. Control. 57(4): 1046-1051 (2012) - [j14]Antoine Girard, Gang Zheng:
Verification of Safety and Liveness Properties of Metric Transition Systems. ACM Trans. Embed. Comput. Syst. 11(S2): 54:1-54:23 (2012) - [j13]Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard:
Time-Triggered Implementations of Dynamic Controllers. ACM Trans. Embed. Comput. Syst. 11(S2): 58:1-58:24 (2012) - [c35]Antoine Girard:
Low-Complexity Switching Controllers for Safety using Symbolic Models. ADHS 2012: 82-87 - [c34]Christophe Prieur, Antoine Girard, Emmanuel Witrant:
Lyapunov functions for switched linear hyperbolic systems. ADHS 2012: 382-387 - [c33]Samuel Martin, Arastoo Fazeli, Ali Jadbabaie, Antoine Girard:
Multi-agent flocking with random communication radius. ACC 2012: 3871-3876 - [c32]Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard:
Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. ATVA 2012: 137-151 - [c31]Takayuki Ishizaki, Kenji Kashima, Antoine Girard, Jun-ichi Imura, Luonan Chen, Kazuyuki Aihara:
Clustering-based ℌ2-state aggregation of positive networks and its application to reduction of chemical master equations. CDC 2012: 4175-4180 - [i5]Antoine Girard:
Low-Complexity Quantized Switching Controllers using Approximate Bisimulation. CoRR abs/1209.4576 (2012) - 2011
- [j12]Antoine Girard, George J. Pappas:
Approximate Bisimulation: A Bridge Between Computer Science and Control Theory. Eur. J. Control 17(5-6): 568-578 (2011) - [j11]Irinel-Constantin Morarescu, Antoine Girard:
Opinion Dynamics With Decaying Confidence: Application to Community Detection in Graphs. IEEE Trans. Autom. Control. 56(8): 1862-1873 (2011) - [c30]Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler:
SpaceEx: Scalable Verification of Hybrid Systems. CAV 2011: 379-395 - [c29]Javier Cámara, Antoine Girard, Gregor Gößler:
Safety controller synthesis for switched systems using multi-scale symbolic models. CDC/ECC 2011: 520-525 - [c28]Javier Cámara, Antoine Girard, Gregor Gößler:
Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC 2011: 191-200 - [i4]Antoine Girard, Samuel Martin:
Control Synthesis for Constrained Nonlinear Systems using Hybridization and Robust Controllers on Simplices. CoRR abs/1103.2612 (2011) - [i3]Mohamed Amin Ben Sassi, Antoine Girard:
Controller Synthesis for Robust Invariance of Polynomial Dynamical Systems using Linear Programming. CoRR abs/1107.1580 (2011) - 2010
- [j10]Antoine Girard, Giordano Pola, Paulo Tabuada:
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. IEEE Trans. Autom. Control. 55(1): 116-126 (2010) - [c27]Antoine Girard:
Synthesis using approximately bisimilar abstractions: time-optimal control problems. CDC 2010: 5893-5898 - [c26]Samuel Martin, Antoine Girard:
Sufficient conditions for flocking via graph robustness analysis. CDC 2010: 6293-6298 - [c25]Constantin-Irinel Morarescu, Antoine Girard:
Consensus with constrained convergence rate: Agreement in communities. CDC 2010: 6311-6316 - [c24]Antoine Girard:
Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications. HSCC 2010: 111-120 - [i2]Antoine Girard:
Controller Synthesis for Safety and Reachability via Approximate Bisimulation. CoRR abs/1010.4672 (2010) - [i1]Mohamed Amin Ben Sassi, Antoine Girard:
Polytopic Invariant Verification and Synthesis for Polynomial Dynamical Systems via Linear Programming. CoRR abs/1012.1256 (2010)
2000 – 2009
- 2009
- [j9]Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas:
Temporal logic motion planning for dynamic robots. Autom. 45(2): 343-352 (2009) - [j8]Antoine Girard, George J. Pappas:
Hierarchical control system design using approximate simulation. Autom. 45(2): 566-571 (2009) - [c23]Colas Le Guernic, Antoine Girard:
Reachability Analysis of Hybrid Systems Using Support Functions. CAV 2009: 540-554 - [c22]Gang Zheng, Antoine Girard:
Bounded and Unbounded Safety Verification Using Bisimulation Metrics. HSCC 2009: 426-440 - 2008
- [j7]Giordano Pola, Antoine Girard, Paulo Tabuada:
Approximately bisimilar symbolic models for nonlinear control systems. Autom. 44(10): 2508-2516 (2008) - [j6]Antoine Girard, A. Agung Julius, George J. Pappas:
Approximate Simulation Relations for Hybrid Systems. Discret. Event Dyn. Syst. 18(2): 163-179 (2008) - [c21]Antoine Girard, Samuel Martin:
Motion planning for nonlinear systems using hybridizations and robust controllers on simplices. CDC 2008: 239-244 - [c20]Antoine Girard, Giordano Pola, Paulo Tabuada:
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. HSCC 2008: 201-214 - [c19]Antoine Girard, Colas Le Guernic:
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. HSCC 2008: 215-228 - 2007
- [j5]Eugene Asarin, Thao Dang, Antoine Girard:
Hybridization methods for the analysis of nonlinear systems. Acta Informatica 43(7): 451-476 (2007) - [j4]Antoine Girard, George J. Pappas:
Approximate bisimulation relations for constrained linear systems. Autom. 43(8): 1307-1317 (2007) - [j3]Antoine Girard, George J. Pappas:
Approximation Metrics for Discrete and Continuous Systems. IEEE Trans. Autom. Control. 52(5): 782-798 (2007) - [c18]Antoine Girard, George J. Pappas:
Approximate hierarchies of linear control systems. CDC 2007: 3727-3732 - [c17]Giordano Pola, Antoine Girard, Paulo Tabuada:
Symbolic models for nonlinear control systems using approximate bisimulation. CDC 2007: 4656-4661 - [c16]Georgios E. Fainekos, Antoine Girard, George J. Pappas:
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. HSCC 2007: 203-216 - [c15]Antoine Girard:
Approximately Bisimilar Finite Abstractions of Stable Linear Systems. HSCC 2007: 231-244 - 2006
- [j2]Antoine Girard:
Towards a multiresolution approach to linear control. IEEE Trans. Autom. Control. 51(8): 1261-1270 (2006) - [c14]Antoine Girard, A. Agung Julius, George J. Pappas:
Approximate simulation Relations for Hybrid Systems. ADHS 2006: 106-111 - [c13]A. Agung Julius, Antoine Girard, George J. Pappas:
Approximate bisimulation for a class of stochastic hybrid systems. ACC 2006: 1-6 - [c12]Antoine Girard, George J. Pappas:
Hierarchical Control using Approximate Simulation Relations. CDC 2006: 264-269 - [c11]Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard:
Time-triggered implementations of dynamic controllers. EMSOFT 2006: 2-11 - [c10]Georgios E. Fainekos, Antoine Girard, George J. Pappas:
Temporal Logic Verification Using Simulation. FORMATS 2006: 171-186 - [c9]Antoine Girard, Colas Le Guernic, Oded Maler:
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. HSCC 2006: 257-271 - [c8]Antoine Girard, George J. Pappas:
Verification Using Simulation. HSCC 2006: 272-286 - 2005
- [j1]Antoine Girard:
Linear time-invariant systems: Martin Schetzen (Ed.); The Institute of Electrical and Electronics Engineers, ISBN: 0-471-23145-2. Autom. 41(11): 2014-2015 (2005) - [c7]Antoine Girard, George J. Pappas:
Approximate Bisimulations for Nonlinear Dynamical Systems. CDC/ECC 2005: 684-689 - [c6]Antoine Girard, George J. Pappas:
Approximate Bisimulations for Constrained Linear Systems. CDC/ECC 2005: 4700-4705 - [c5]Antoine Girard:
Reachability of Uncertain Linear Systems Using Zonotopes. HSCC 2005: 291-305 - [c4]Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur:
Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. RTSS 2005: 111-120 - 2004
- [b1]Antoine Girard:
Analyse Algorithmique des Systèmes Hybrides. (Algorithmic Analysis of Hybrid Systems). Grenoble Institute of Technology, France, 2004 - [c3]Antoine Girard:
Optimal control of linear systems: a multiresolution approach. CDC 2004: 1818-1823 - 2003
- [c2]Antoine Girard:
Computation and Stability Analysis of Limit Cycles in Piecewise Linear Hybrid Systems. ADHS 2003: 181-186 - [c1]Eugene Asarin, Thao Dang, Antoine Girard:
Reachability Analysis of Nonlinear Systems Using Conservative Approximation . HSCC 2003: 20-35
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
