4 papers
Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems
Adnane Saoud, Anas Makdesi, Mohamed Maghenem +2
In this paper, we introduce the approximate strong upper alternating simulation (ASUAS), a new behavioral relation for transition systems. Building on this relation, we construct u…
Specification-aware Robustness Margins for Symbolic Controllers
Youssef Ait Si, Antoine Girard, Adnane Saoud
We address the problem of robust controller synthesis for a class of linear temporal logic (LTL) specifications over families of perturbed systems using symbolic control techniques…
Feedback Stabilization of Switched Systems: Memory is not needed
Thiago Alves Lima, Matteo Della Rossa, Antoine Girard
A long-standing assumption in the literature on switched linear systems is that static, homogeneous of degree one feedbacks form the most general class of controllers necessary and…
Symbolic Control: Unveiling Free Robustness Margins
Youssef Ait Si, Antoine Girard, Adnane Saoud
This paper addresses the challenge of ensuring robustness in the presence of system perturbations for symbolic control techniques. Given a discrete-time control system that is rela…