We consider feedback control systems where sensor readings and actuator commands may be compromised by an attacker intending to damage the system. We study this problem at the supervisory layer of the control system, using discrete event systems techniques. The attacker can edit the outputs from the sensors of the system before they reach the supervisory controller as well as it can edit actuator commands before they reach the system. In this context, we formulate the problem of synthesizing a supervisor that is robust against a large class of edit attacks on the sensor readings and actuator commands. Intuitively, we search for a supervisor that guarantees the safety of the system even when sensor readings and actuator commands are compromised. Given the similarities of the investigated problem to the standard supervisory control problem, our solution methodology reduces the problem of synthesizing a robust supervisor against deception attacks to a supervisory control problem. This new and intuitive solution methodology improves upon prior work on this topic.

我们考虑反馈控制系统，其中传感器读数和执行器命令可能会被意图破坏系统的攻击者破坏。我们使用离散事件系统技术在控制系统的监督层研究这个问题。攻击者可以在系统传感器的输出到达监控控制器之前对其进行编辑，也可以在执行器命令到达系统之前对其进行编辑。在这种情况下，我们提出了合成一个稳健的监管者的问题针对传感器读数和执行器命令的一大类编辑攻击。直觉上，我们寻找一个监督者，即使在传感器读数和执行器命令受到损害时也能保证系统的安全。鉴于所调查问题与标准监督控制问题的相似性，我们的解决方案方法将合成一个强大的监督者以防止欺骗攻击的问题简化为监督控制问题。这种新的直观的解决方案方法改进了之前关于该主题的工作。