A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
针对信息物理系统中传感器读数篡改攻击，提出一种基于Petri网模型的活性强制监督器合成方法，通过重复计算无攻击下的更严格监督器并构建基础监督器，实现容忍攻击的闭环控制。
In cyber–physical systems (CPSs), it is of great importance to handle network attack issues. In this article, we consider the supervisory control layer of CPSs, focusing on closed-loop control systems vulnerable to sensor-reading modification attacks (SM-attacks), which may disguise the occurrence of an event as a different event by modifying appropriately sensor readings in sensor communication channels. In particular, we consider the plant modeled as a bounded Petri net and the control specification consisting in liveness enforcing. Based on repeatedly computing a more restrictive liveness-enforcing supervisor under no attack and constructing a so-called basic supervisor, a method that synthesizes a liveness-enforcing supervisor tolerant to an SM-attack is proposed.