时序与执行器攻击下满足度量区间时序逻辑目标的网络物理系统控制综合
系统与控制
2020-07-29 v1 系统与控制
摘要
本文研究在网络物理系统（CPSs）存在 adversary（敌手）的情况下，综合要求其执行对时间敏感复杂任务的控制器的设计。任务被指定为度量区间时序逻辑（MITL）中的一个公式。假设敌手能够篡改输入到 CPS 的控制信号，并操纵 CPS 所感知的时序信息。为了建模 CPS 与敌手之间的交互，以及这两类攻击的影响，我们定义了一种称为持续时间随机博弈（DSG）的实体。DSG 以概率方式捕捉环境中状态之间的转移，以及这些转移所花费的时间。以防御者的策略表示为有限状态控制器（FSC），我们提出了一种基于值迭代的算法，该算法计算出一个 FSC，可在两类攻击下最大化满足 MITL 规范的概率。给出了一个关于信号化交通网络的数值案例研究以说明我们的结果。
引用
@article{arxiv.2001.09978,
title = {Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks},
author = {Luyao Niu and Bhaskar Ramasubramanian and Andrew Clark and Linda Bushnell and Radha Poovendran},
journal= {arXiv preprint arXiv:2001.09978},
year = {2020}
}