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

Characterizing simulation relations through control architectures in abstraction-based control

On Robust Inner-Outer Approximations of Control Invariant Sets

Fixed-Time Stabilization of Discrete-Time Switched Linear Systems with Preview Information

Ellipsoidal Invariant Sets for Assume-Guarantee Contracts

Feedback stabilization of switched systems under arbitrary switching: A convex characterization

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

Power congestion management using controlled vanishing constraints

Closing the Loop in Abstraction: Less Conservative Hierarchical Control Design

Power Congestion Management Using Controlled Vanishing Constraints Subject to Uncertainty

Feedback Stabilization of Switched Systems: Memory is not needed.

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

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

Determining positioning by measuring an oscillating magnetic field produced by non-orthogonal generators

Computational Approaches to Analysis and Control of Hybrid Systems

Analyse Algorithmique des Systèmes Hybrides