


Остановите войну!
for scientists:


default search action
Antoine 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]