Publications

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

Abstraction of Monotone Systems Based on Feedback Controllers

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