Publications

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

Event-Triggered Neural Network Control for LTI Systems

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

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

Demodulation Methods for a Wireless Electromagnetic Tracker

Abstraction refinement for attractivity controllers using quantitative synthesis

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

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

Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications

Set Propagation Techniques for Reachability Analysis

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

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

Invariant Sets for Assume-Guarantee Contracts

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

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

On the Joint Spectral Radius of Shuffled Switched Linear Systems

Compositional Synthesis of Symbolic Controllers for Attractivity Specifications

Efficient Data-Driven Abstraction of Monotone Systems with Disturbances

Data-Driven Abstraction of Monotone Systems

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

Singular perturbation approach for linear coupled ODE-PDE systems

Control Subject to Computational and Communication Constraints

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems

Stabilizability and control co-design for discrete-time switched linear systems

Stability analysis of singularly perturbed switched linear systems

Timing contracts for multi-core embedded control systems

Symbolic synthesis for cyber-physical systems

Tools for the Analysis of Hybrid Models

Outils pour l’analyse des modèles hybrides

Computational Approaches to Analysis and Control of Hybrid Systems

Analyse Algorithmique des Systèmes Hybrides