.png){kind=icon}
返回
Temporal Logic Resilience for Dynamical Systems
.png){kind=icon}
PRE
AI
DOI：10.1109/TAC.2025.3626611.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文中，我们探讨了针对网络物理系统的韧性概念，即系统在维持可接受功能的同时抵御不利事件的能力。我们使用有限时序逻辑来表达可接受功能的需求，并将韧性指标定义为系统满足时序需求的最大扰动值。我们设定一个参数化模板用于扰动集合，并在系统动态与时序规范下构建鲁棒优化问题，以确定该参数的最大值。此外，我们引入两类新颖的规范：封闭有限时序逻辑规范和凸有限时序逻辑规范，为在这些特定框架内对韧性指标进行综合分析提供了支持。从计算角度出发，我们针对线性系统、精确时间可达性和有限时间安全提出了精确解，并补充了有限时间可达性的近似解。我们将研究扩展至非线性系统，利用线性近似和基于满足性模理论的方法，提供可行的计算方法。理论结果通过建筑温度调节、自适应巡航控制和直流电机进行验证。
Keyword:
Dynamical system
resilience
robustness
temporal logic
期刊
IF:
7
论文数:
1.3W
被引数:
6.7W
机构
引用论文
.png){kind=icon}
Learning-based Parameterized Barrier Function for Safety-Critical Control of Unknown Systems基于学习的参数化障碍函数用于未知系统的安全关键控制
PREAI
分享收藏
分享收藏
查看更多内容