Publications

Set Propagation Techniques for Reachability Analysis

Symbolic Models for a Class of Impulsive Systems

Symbolic observer-based controller for uncertain nonlinear systems

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

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

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

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

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

Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems

Event-based boundary control of a linear 2×2 hyperbolic system via backstepping approach

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

Formal Synthesis from Control Programs

Abstraction of Monotone Systems Based on Feedback Controllers

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

A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems

Symbolic models for incrementally stable singularly perturbed hybrid affine systems

Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity

Singular perturbation approach for linear coupled ODE-PDE systems

Stability analysis of singularly perturbed switched linear systems

Stabilizability and control co-design for discrete-time switched linear systems

Control Subject to Computational and Communication Constraints

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

Timing contracts for multi-core embedded control 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