利用有界传感器读数更改阻止网络攻击的监控器合成
Supervisor Synthesis to Thwart Cyber Attack with Bounded Sensor Reading Alterations
摘要：
网络物理系统面临的主要挑战之一是如何防止网络攻击，以确保系统的完整性。在现代控制和计算机科学社区中讨论了大量不同类型的攻击。在本文中，我们的目标是调查一种特殊类型的攻击在离散事件系统框架中，攻击者可以任意改变传感器读数后，拦截他们从目标系统，以欺骗一个给定的管理员发出控制命令不正确，驱动系统到一个不希望的状态。我们首先考虑网络攻击问题，从攻击者的角度来看，制定了一个有界传感器读取更改（ABSRA）问题的攻击。然后，我们证明了最优（或最少限制）ABSRA存在，并且可以合成，只要植物模型和监督模型是正则的，即，可以用有限状态自动机来表示。在最优ABSRA的综合基础上，我们提出了一种综合算法，该算法保证了计算的监督器是ABSRA-鲁棒的，即，ABSRA将是可检测的或者将不会导致系统到不期望的状态。
英文摘要：
One of the major challenges about cyber physical systems is how to prevent cyber attacks to ensure system integrity. There has been a large number of different types of attacks discussed in the modern control and computer science communities. In this paper we aim to investigate one special type of attacks in the discrete-event system framework, where an attacker can arbitrarily alter sensor readings after intercepting them from a target system in order to trick a given supervisor to issue control commands improperly, driving the system to an undesirable state. We first consider the cyber attack problem from an attacker point of view, and formulate an attack with bounded sensor reading alterations (ABSRA) problem. We then show that the supremal (or least restrictive) ABSRA exists and can be synthesized, as long as the plant model and the supervisor model are regular, i.e., representable by finite-state automata. Upon the synthesis of the supremal ABSRA, we present a synthesis algorithm, which ensures that a computed supervisor will be ABSRA-robust , i.e., either an ABSRA will be detectable or will not lead the system to an undesirable state.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
