.png){kind=icon}
.png){kind=icon}
Return
Temporal logic resilience for continuous-time systems
.png){kind=icon}
PRE
AI
DOI：10.1016/j.nahs.2026.101741.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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.
Keywords:
resilience
signal temporal logic
continuous-time systems
disturbance tolerance
scenario optimization
Journal
N
IF:
0
Papers:
94
Citations:
0
View more organizations