Publications

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

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

Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications

Symbolic observer-based controller for uncertain nonlinear systems

Formal Controller Synthesis from Specifications Given by Discrete-Time Hybrid Automata

Assume-guarantee contracts for continuous-time systems

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

Abstraction of Monotone Systems Based on Feedback Controllers

Lazy Safety Controller Synthesis with Multi-Scale Adaptive-Sampling Abstractions of Nonlinear Systems

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

Stability analysis of singularly perturbed switched linear systems

Stabilizability and control co-design for discrete-time 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