RobTL：一种用于信息物理系统鲁棒性的时序逻辑
计算机科学中的逻辑
2022-12-22 v1
摘要
我们提出鲁棒时序逻辑（RobTL），一种用于规范和有限时间范围内信息物理系统（CPSs）行为间距离分析的新时序逻辑。与表达系统行为性质的经典时序逻辑不同，我们可以利用 RobTL 规范来度量系统在各种目标与 temporal 约束下的行为差异，并研究这些差异随时间如何演化。由于 CPS 的行为不可避免地受到不确定性与近似的影响，我们展示了 RobTL 的独特特性如何使我们能够规范系统针对扰动的鲁棒性性质，即其在扰动作用下仍能正确运行的能力。鉴于 CPS 的概率性质，我们针对 RobTL 规范的模型检测算法基于统计推断。作为该框架应用示例，我们考虑一个受监督的自协调引擎系统，其遭受旨在造成设备过应力的攻击。
引用
@article{arxiv.2212.11158,
title = {RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems},
author = {Valentina Castiglioni and Michele Loreti and Simone Tini},
journal= {arXiv preprint arXiv:2212.11158},
year = {2022}
}