Publications

Switching Constraints as a Design Tool for Predictive Control Based on K-Invariant Sets

Reachability Sequences of Minimal Length for Discrete-Time Switched Linear Control Systems

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

An Automata Theoretic Approach to Observer Design for Switched Linear Systems

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

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

Data-Driven Models of Monotone Systems

From Relaxed Constraint Satisfaction to p-Invariance of Sets

Risk-Averse Control for Continuous-Time Stochastic System Under Signal Temporal Logic Constraints

Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control

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

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

Layers Update of Neural Network Control via Event-Triggering Mechanism

Singular perturbation approach for linear coupled ODE-PDE systems

Control Subject to Computational and Communication Constraints

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