Stop the war!Остановите войну!
for scientists:
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
- 2023
[j55]Carla de Souza
, Sophie Tarbouriech, Antoine Girard:
Event-Triggered Neural Network Control for LTI Systems. IEEE Control. Syst. Lett. 7: 1381-1386 (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) - [c90]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 - 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) - [c89]Antoine Girard, Alessio Iovine, Sofiane Benberkane:
Invariant Sets for Assume-Guarantee Contracts. CDC 2022: 2190-2195 - [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]