Temporal Logic Resilience for Continuous-time Systems
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866917413117755392 |
|---|---|
| author | Das, Ratnangshu Monir, Negar Si, Youssef Ait Saoud, Adnane Soudjani, Sadegh Jagtap, Pushpak |
| author_facet | Das, Ratnangshu Monir, Negar Si, Youssef Ait Saoud, Adnane Soudjani, Sadegh Jagtap, Pushpak |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_14714 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Temporal Logic Resilience for Continuous-time Systems Das, Ratnangshu Monir, Negar Si, Youssef Ait Saoud, Adnane Soudjani, Sadegh Jagtap, Pushpak Systems and Control 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. |
| title | Temporal Logic Resilience for Continuous-time Systems |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2604.14714 |