Temporal Logic Resilience for Dynamical Systems

• 成果类型: Article
• 署名作者: Saoud, Adnane; Jagtap, Pushpak; Soudjani, Sadegh
• 署名单位: Mohammed VI Polytechnic University; Indian Institute of Science (IISC) - Bangalore; Indian Institute of Science (IISC) - Bangalore; Max Planck Society; University of Birmingham
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2025.3626611
• 发表日期: 2026
• 关键词: REACHABILITY

摘要

In this article, we consider the notion of resilience for cyber-physical systems, that is, the ability of the system to withstand adverse events while maintaining acceptable functionality. We use finite temporal logic to express the requirements on the acceptable functionality and define the resilience metric as the maximum disturbance under which the system satisfies the temporal requirements. We fix a parameterized template for the set of disturbances and form a robust optimization problem under the system dynamics and the temporal specifications to find the maximum value of the parameter. In addition, we introduce two novel classes of specifications: closed and convex finite temporal logics specifications, offering a comprehensive analysis of the resilience metric within these specific frameworks. From a computational standpoint, we present an exact solution for linear systems and exact-time reachability and finite-horizon safety, complemented by an approximate solution for finite-horizon reachability. Extending our findings to nonlinear systems, we leverage linear approximations and approaches based on satisfiability modulo theories to offer viable computational methodologies. The theoretical results are demonstrated on the temperature regulation of buildings, adaptive cruise control, and dc motors.