Temporal Logic Resilience for Continuous-time Systems
Abstract
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 satisfaction of signal temporal logic specifications. Unlike robustness, which evaluates how well a system satisfies a specification under a given disturbance, resilience measures the maximum disturbance a system can tolerate from a given initial state while maintaining specification satisfaction. We first derive bounds on the perturbed trajectories and then use them to formulate a computational method based on scenario optimization to efficiently compute the maximum admissible disturbance. We validate our approach through case studies, including dc motor, temperature regulation, a nonlinear numerical example, and a vehicle collision avoidance case.
Cite
@article{arxiv.2604.14714,
title = {Temporal Logic Resilience for Continuous-time Systems},
author = {Ratnangshu Das and Negar Monir and Youssef Ait Si and Adnane Saoud and Sadegh Soudjani and Pushpak Jagtap},
journal= {arXiv preprint arXiv:2604.14714},
year = {2026}
}