6 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 under arbitrary switching: A convex characterization
Thiago Alves Lima, Matteo Della Rossa, Antoine Girard
In this paper, we study stabilizability of discrete-time switched linear systems where the switching signal is considered as an arbitrary external input (and not a control variable…
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…
Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control
Antoine Aspeel, Antoine Girard, Thiago Alves Lima
We study the control of nonlinear constrained systems via over-approximations. Our key observation is that the over-approximation error, rather than being an unknown disturbance, c…
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…