Publications

Symbolic Control: Unveiling Free Robustness Margins

Synthesis of Input-to-State Attractivity Controllers for Transition Systems with Disturbances

Nonstandard anti-windup approach for event-triggered control purpose

Feedback Stabilization of Discrete-Time Switched Systems Under Büchi-Constrained Signals

An Automata Theoretic Approach to Observer Design for Switched Linear Systems

Approches symboliques pour le contrôle des systèmes non linéaires

From Relaxed Constraint Satisfaction to p-Invariance of Sets

Data-Driven Models of Monotone Systems

Nonlinear Model Predictive Control based on K-step Control Invariant Sets

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

Safe navigation using NMPC based on a K-invariant set and its exploration features

Enhanced convex lifting for environment with complex shaped obstacles

Estimating the Impacts of Topological Changes in Sub-Transmission Areas Using Hybrid Observers

Continuous-Time Nonlinear Optimal Control Problem Under Signal Temporal Logic Constraints

Symbolically Synthesized Motion Primitives for Autonomous Navigation

Identification of the Bandwidth of a Magneto-Inertial Navigation Filter

Online Learning for Safe Model Predictive Control with the Compatible Models Approach ⋆

Memoryless concretization relation

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

Layers Update of Neural Network Control via Event-Triggering Mechanism

A Joint Spectral Radius for $$\omega $$-Regular Language-Driven Switched Linear Systems

Singular perturbation approach for linear coupled ODE-PDE systems

Control Subject to Computational and Communication Constraints

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