Maximally Resilient Controllers under Temporal Logic Specifications
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911143088357376 |
|---|---|
| author | Si, Youssef Ait Das, Ratnangshu Monir, Negar Soudjani, Sadegh Jagtap, Pushpak Saoud, Adnane |
| author_facet | Si, Youssef Ait Das, Ratnangshu Monir, Negar Soudjani, Sadegh Jagtap, Pushpak Saoud, Adnane |
| contents | 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 temporal logic specifications. Given a dynamical system and a specification, the objective is to synthesize the controller such that the closed-loop system satisfies this specification while maximizing its resilience. The problem is formulated as a robust optimization program where the objective is to compute the maximum resilience while simultaneously synthesizing the corresponding controller parameters. For linear systems and linear controllers, exact solutions are provided for the class of time-varying polytopic specifications. For the case of nonlinear systems, nonlinear controllers and more general specifications, we leverage tools from the scenario optimization approach, offering a probabilistic guarantee of the solution as well as computational feasibility. Different case studies are presented to illustrate the theoretical results. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_01777 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Maximally Resilient Controllers under Temporal Logic Specifications Si, Youssef Ait Das, Ratnangshu Monir, Negar Soudjani, Sadegh Jagtap, Pushpak Saoud, Adnane Systems and Control Optimization and Control 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 temporal logic specifications. Given a dynamical system and a specification, the objective is to synthesize the controller such that the closed-loop system satisfies this specification while maximizing its resilience. The problem is formulated as a robust optimization program where the objective is to compute the maximum resilience while simultaneously synthesizing the corresponding controller parameters. For linear systems and linear controllers, exact solutions are provided for the class of time-varying polytopic specifications. For the case of nonlinear systems, nonlinear controllers and more general specifications, we leverage tools from the scenario optimization approach, offering a probabilistic guarantee of the solution as well as computational feasibility. Different case studies are presented to illustrate the theoretical results. |
| title | Maximally Resilient Controllers under Temporal Logic Specifications |
| topic | Systems and Control Optimization and Control |
| url | https://arxiv.org/abs/2509.01777 |