论文标题
用于分析受到攻击的监督离散事件系统的框架
A framework for the analysis of supervised discrete event systems under attack
论文作者
论文摘要
本文着重于监督控制下的离散事件系统的网络攻击问题。更详细地，对系统演变有部分观察的主管的目标是防止系统达到一组不安全状态。攻击者可能以两种不同的方式行事：他可以破坏对传感器读数编辑的主管的观察，并可以实现主管残疾的事件。这样做的目的是将工厂带到不安全的状态，并在达到不安全状态之前保持主管不知道这一点。一种称为攻击结构的特殊自动机被构造为两个特殊结构的平行组成。攻击者可以使用这样的自动机选择适当的动作（如果有）来达到上述目标，或者由主管等效地验证其相对于此类攻击的鲁棒性。
This paper focuses on the problem of cyber attacks for discrete event systems under supervisory control. In more detail, the goal of the supervisor, who has a partial observation of the system evolution, is that of preventing the system from reaching a set of unsafe states. An attacker may act in two different ways: he can corrupt the observation of the supervisor editing the sensor readings, and can enable events that are disabled by the supervisor. This is done with the aim of leading the plant to an unsafe state, and keeping the supervisor unaware of that before the unsafe state is reached. A special automaton, called attack structure is constructed as the parallel composition of two special structures. Such an automaton can be used by the attacker to select appropriate actions (if any) to reach the above goal, or equivalently by the supervisor, to validate its robustness with respect to such attacks.
