Publications

Stability of Shuffled Switched Linear Systems: A Joint Spectral Radius Approach

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

Assume-guarantee contracts for continuous-time systems

Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems

Symbolic observer-based controller for uncertain nonlinear systems

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

Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach

Symbolic Models for a Class of Impulsive Systems

Stability of discrete-time switched linear systems with ω-regular switching sequences

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

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

Abstraction of Monotone Systems Based on Feedback Controllers

Formal Synthesis from Control Programs

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications

Reference Tracking for Linear Time Invariant Systems with a Relay Control

Singular perturbation approach for linear coupled ODE-PDE systems

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

Control Subject to Computational and Communication Constraints

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems

Symbolic synthesis for cyber-physical systems

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control

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