Journal articles

2023

Safe Learning-Based Model Predictive Control Using The Compatible Models Approach

Makdesi, Girard, Fribourg
EUCA, Elsevier, p. 100849, 2023

Event-Triggered Neural Network Control for LTI Systems

de Souza, Tarbouriech, Girard
IEEE Control Systems Letters, 7, p. 1381-1386, 2023

Abstraction of Continuous-time Systems Based on Feedback Controllers and Mixed Monotonicity

Sinyakov, Girard
IEEE Transactions on Automatic Control, 68 (8), 2023

Demodulation Methods for a Wireless Electromagnetic Tracker

Guerret, Vehrlé, Meier, Girard, Prieur
IEEE Sensors Letters, 7 (9), p. 3502304, 2023

Event-triggered Neural Network Control using Quadratic Constraints for Perturbed Systems

de Souza, Girard, Tarbouriech
Automatica, 157, p. 111237, 2023

Abstraction refinement for attractivity controllers using quantitative synthesis

Apaza-Perez, Girard
IEEE Transactions on Automatic Control, 68 (9), p. 5745 – 5751, 2023

2022

Stability of Shuffled Switched Linear Systems: A Joint Spectral Radius Approach

Aazan, Girard, Greco, Mason
Automatica, 143, p. 110434, 2022

Data-Driven Modeling of the Temporal Evolution of Breakers’ States in the French Electrical Transmission Grid

Gonzalez, Girard
Nonlinear Analysis: Hybrid Systems, 46, p. 101215, 2022

Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications

Ivanova, Saoud, Girard
Automatica, 135, 2022

2021

Set Propagation Techniques for Reachability Analysis

Althoff, Frehse, Girard
Annual Review of Control, Robotics, and Autonomous Systems, 4 (1), 2021

Conference papers

2023

Magneto-Inertial Dead-Reckoning Navigation with Walk Dynamic Model in Indoor Environment

Neymann, Berthou, Jourdas, Lhachemi, Prieur, Girard
IPIN 2023 – 30th International Conference on Indoor Positioning and Indoor Navigation, Nuremberg, Allemagne, 2023

Minimization of Parameter Sensitivity to Pre-Estimation Errors and its Application to the Calibration of Magnetometer Arrays

Neymann, Meier, Lhachemi, Prieur, Girard
ECC 2023 – 21st European Control Conference, Bucarest, Roumanie, 2023

2022

Invariant Sets for Assume-Guarantee Contracts

Girard, Iovine, Benberkane
61st IEEE Conference on Decision and Control 2022, Cancun, Mexique, 2022

Predictive and Symbolic Control: Performance and Safety for Non-linear Systems

Azaki, Girard, Olaru
CAO 2022 – 18th IFAC Workshop on Control Applications of Optimization, Gif-sur-Yvette, France, 2022

Stability of discrete-time switched linear systems with ω-regular switching sequences

Aazan, Girard, Mason, Greco
25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italie, 2022

On the Joint Spectral Radius of Shuffled Switched Linear Systems

Aazan, Girard, Greco, Mason
International Symposium on Mathematical Theory of Networks and Systems, Bayreuth, Allemagne, 2022

2021

Compositional Synthesis of Symbolic Controllers for Attractivity Specifications

Apaza-Perez, Girard
60th IEEE conference on Decision and Control, Austin, États-Unis, 2021

Efficient Data-Driven Abstraction of Monotone Systems with Disturbances

Makdesi, Girard, Fribourg
IFAC Conference on Analysis and Design of Hybrid Systems, Brussels, Belgique, 2021

Data-Driven Abstraction of Monotone Systems

Makdesi, Girard, Fribourg
Learning for Dynamics and Control Conference, Zurich, Suisse, 2021

Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration

Ivanova, Girard
7th IFAC Conference on Analysis and Design of Hybrid Systems, Brussels, Belgique, 2021

Books

Patents and software

These/HDR

2013

H.D.R.

Computational Approaches to Analysis and Control of Hybrid Systems

Girard
2013

2004

Thèses

Analyse Algorithmique des Systèmes Hybrides

Girard
Institut National Polytechnique de Grenoble – INPG, 2004

Publications

Journal articles

Conference papers

Books

Patents and software

These/HDR