Publications

Symbolic observer-based controller for uncertain nonlinear systems

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

Symbolic Models for a Class of Impulsive Systems

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

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

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

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

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

Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems

Stability analysis of a general class of singularly perturbed linear hybrid systems

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

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 Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems

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

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