论文标题
在时间和执行器攻击下，控制网络物理系统的控制综合，以满足公制的时间间隔逻辑目标
Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks
论文作者
论文摘要
本文研究了在存在对手的情况下，需要执行时间敏感的复杂任务所需的网络物理系统（CPS）的控制器的合成。该任务用公制时间间隔逻辑（MITL）指定为公式。假定对手可以篡改对CPS的控制输入，并操纵CPS所感知的时序信息。为了对CPS和对手之间的相互作用进行建模，以及这两类攻击的效果，我们定义了一个称为持续时间随机游戏（DSG）的实体。 DSG概率地捕获环境中状态之间的过渡，以及这些过渡所花费的时间。由于后卫的策略表示为有限状态控制器（FSC），我们提出了一种基于价值的算法，该算法计算FSC，该算法最大程度地提高了满足MITL规范在两类攻击类别下的可能性。提出了信号交通网络上的数字案例研究，以说明我们的结果。
This paper studies the synthesis of controllers for cyber-physical systems (CPSs) that are required to carry out complex tasks that are time-sensitive, in the presence of an adversary. The task is specified as a formula in metric interval temporal logic (MITL). The adversary is assumed to have the ability to tamper with the control input to the CPS and also manipulate timing information perceived by the CPS. In order to model the interaction between the CPS and the adversary, and also the effect of these two classes of attacks, we define an entity called a durational stochastic game (DSG). DSGs probabilistically capture transitions between states in the environment, and also the time taken for these transitions. With the policy of the defender represented as a finite state controller (FSC), we present a value-iteration based algorithm that computes an FSC that maximizes the probability of satisfying the MITL specification under the two classes of attacks. A numerical case-study on a signalized traffic network is presented to illustrate our results.
