6 papers
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…
Temporal Logic Resilience for Continuous-time Systems
Ratnangshu Das, Negar Monir, Youssef Ait Si +3
In this paper, we present a novel framework for quantifying a lower bound on resilience in continuous-time (non)linear systems subject to external disturbances while ensuring satis…
Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
Youssef Ait Si, Ratnangshu Das, Negar Monir +3
In this paper, we consider the notions of effort and resilience of a dynamical control system defined by the maximum disturbance the system can withstand while satisfying given fin…
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
Negar Monir, Youssef Ait Si, Ratnangshu Das +3
We propose a resilience-based framework for computing feasible assume-guarantee contracts that ensure the satisfaction of temporal specifications in interconnected discrete-time sy…
Maximally Resilient Controllers under Temporal Logic Specifications
Youssef Ait Si, Ratnangshu Das, Negar Monir +3
In this paper, we consider the notion of resilience of a dynamical system, defined by the maximum disturbance a controlled dynamical system can withstand while satisfying given tem…
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…