3 papers
eess.SY2025
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…
eess.SY2025
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…
eess.SY2025
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…