论文标题
综合主管对传感器欺骗攻击的综合
Synthesis of Supervisors Robust Against Sensor Deception Attacks
论文作者
论文摘要
我们考虑反馈控制系统，其中传感器读数可能会因旨在造成系统损害的恶意攻击者而损害。我们使用离散事件系统技术在控制系统的监督层上研究了此问题。我们假设攻击者可以在系统传感器到达监管控制器之前从系统的传感器中编辑输出。在这种情况下，我们制定了合成主管的问题，该主管与对传感器读数的编辑攻击类别具有鲁棒性，并为此问题提供解决方案方法。这种方法将自动机游戏中的游戏与不完美的信息与部分观察到的离散事件系统的监督控制理论的结果融合在一起。为调查的问题提供了必要和足够的条件。
We consider feedback control systems where sensor readings may be compromised by a malicious attacker intending on causing damage to the system. We study this problem at the supervisory layer of the control system, using discrete event systems techniques. We assume that the attacker can edit the outputs from the sensors of the system before they reach the supervisory controller. In this context, we formulate the problem of synthesizing a supervisor that is robust against the class of edit attacks on the sensor readings and present a solution methodology for this problem. This methodology blends techniques from games on automata with imperfect information with results from supervisory control theory of partially-observed discrete event systems. Necessary and sufficient conditions are provided for the investigated problem.
