logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
A

Antoine Girard

Laboratoire des signaux et systèmes

43H-index
282Paper Count
1.1WCitation Count
Published Papers 49
Publication Date
logo
Symbolic control: Unveiling free robustness margins
errEuropean Journal of Control
IF2.6
err2025-07-25
err0
PREAI
errYoussef Ait Si; Antoine Girard; Adnane Saoud
errShare
errSave
From Relaxed Constraint Satisfaction to p-Invariance of Sets
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-10-01
err0
PREAI
errOlaru, Sorin; Soyer, Martin; Zhao, Zhixin; Dorea, Carlos E. T.; Kofman, Ernesto; Girard, Antoine
errShare
errSave
Synthesis of Input-to-State Attractivity Controllers for Transition Systems With Disturbances
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-09-01
err0
PREAI
errApaza-Perez, W. Alejandro; Girard, Antoine
errShare
errSave
Data-Driven Models of Monotone Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-08-01
err0
errOAAI
errMakdesi, Anas; Girard, Antoine; Fribourg, Laurent
errShare
errSave
An automata theoretic approach to observer design for switched linear systems
errAUTOMATICA
IF5.9
err2024-07-01
err0
errOAAI
errAazan, Georges; Girard, Antoine; Greco, Luca; Mason, Paolo
errShare
errSave
Event-triggered neural network control using quadratic constraints for perturbed systems
errAUTOMATICA
IF5.9
err2023-11-01
err2
errOAAI
errde Souza, Carla; Girard, Antoine; Tarbouriech, Sophie
errShare
errSave
Abstraction Refinement for Attractivity Controllers Using Quantitative Synthesis
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-09-01
err0
errOAAI
errApaza-Perez, W. Alejandro; Girard, Antoine
errShare
errSave
Abstraction of Continuous-Time Systems Based on Feedback Controllers and Mixed Monotonicity
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-08-01
err1
errOAAI
errSinyakov, Vladimir; Girard, Antoine
errShare
errSave
Data-driven modeling of the temporal evolution of breakers' states in the French electrical transmission grid?
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2022-11-01
err0
errOAAI
errGonzalez, Mauricio; Girard, Antoine
errShare
errSave
Stability of shuffled switched linear systems: A joint spectral radius approach
errAUTOMATICA
IF5.9
err2022-09-01
err6
errOAAI
errAazan, Georges; Girard, Antoine; Greco, Luca; Mason, Paolo
errShare
errSave
Lazy controller synthesis for monotone transition systems and directed safety specifications
errAUTOMATICA
IF5.9
err2022-01-01
err4
errOAAI
errIvanova, Elena; Saoud, Adnane; Girard, Antoine
errShare
errSave
Assume-guarantee contracts for continuous-time systems
errAUTOMATICA
IF5.9
err2021-12-01
err21
errOAAI
errSaoud, Adnane; Girard, Antoine; Fribourg, Laurent
errShare
errSave
Formal controller synthesis from specifications given by discrete-time hybrid automata
errAUTOMATICA
IF5.9
err2021-09-01
err2
errOAAI
errSinyakov, Vladimir; Girard, Antoine
errShare
errSave
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach
errIEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS
IF5
err2021-06-01
err7
errOAAI
errSaoud, Adnane; Jagtap, Pushpak; Zamani, Majid; Girard, Antoine
errShare
errSave
Set Propagation Techniques for Reachability Analysis
errANNUAL REVIEW OF CONTROL, ROBOTICS, AND AUTONOMOUS SYSTEMS, VOL 4, 2021
IF0
err2021-05-03
err126
errOAAI
errAlthoff, Matthias; Frehse, Goran; Girard, Antoine
errShare
errSave
Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
errAUTOMATICA
IF5.9
err2021-05-01
err13
errOAAI
errGirard, Antoine; Eqtami, Alina
errShare
errSave
Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-03-01
err17
errOAAI
errSaoud, Adnane; Girard, Antoine; Fribourg, Laurent
errShare
errSave
Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems
errAUTOMATICA
IF5.9
err2019-02-01
err10
errOAAI
errEtienne, Lucien; Girard, Antoine; Greco, Luca
errShare
errSave
Optimal multirate sampling in symbolic models for incrementally stable switched systems
errAUTOMATICA
IF5.9
err2018-12-01
err14
errOAAI
errSaoud, Adnane; Girard, Antoine
errShare
errSave
Event-Based Boundary Control of a Linear 2 x 2 Hyperbolic System via Backstepping Approach
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2018-08-01
err53
errOAAI
errEspitia, Nicolas; Girard, Antoine; Marchand, Nicolas; Prieur, Christophe
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
G
George J. Pappas
H-index: 98 · Papers: 902
陈
陈洛南 (Luonan Chen)
H-index: 84 · Papers: 806
J
John Lygeros
H-index: 76 · Papers: 946
K
Kazuyuki Aihara
H-index: 75 · Papers: 1.4K
P
Paulo Tabuada
H-index: 55 · Papers: 347
View more