Publications

Set Propagation Techniques for Reachability Analysis

Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications

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

Symbolic Models for a Class of Impulsive Systems

Assume-guarantee contracts for continuous-time systems

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

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

Symbolic observer-based controller for uncertain nonlinear systems

Safety Synthesis for Incrementally Stable Switched Systems using Discretization-Free Multi-Resolution Abstractions

Lyapunov Functions for Shuffle Asymptotic Stability of Discrete-Time Switched Systems

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

Formal Synthesis from Control Programs

Abstraction of Monotone Systems Based on Feedback Controllers

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

Reference Tracking for Linear Time Invariant Systems with a Relay Control

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications

Decentralized monotonicity-based voltage control of DC microgrids with ZIP loads

A symbolic approach to voltage stability and power sharing in time-varying DC microgrids

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

Control Subject to Computational and Communication Constraints

Timing contracts for multi-core embedded control systems

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

Consensus with constrained convergence rate and time-delays

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