利用观测值合成对未知监督者的最优隐蔽攻击器
Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations
摘要：
在本文中，我们考虑的问题，合成的最高隐蔽损害可达的攻击者，在设置中的模型的监督是未知的对手，但对手已记录了一个（前缀封闭）有限集的观察运行的闭环系统。合成攻击者需要确保对所有与给定观测集一致的监督者的破坏可达性和隐蔽性。事实上的至上性（假设监督者的模型是已知的）和从对手的角度来看，在监督者模型的有限知识下可以达到的至上性之间存在差距。我们考虑的设置，攻击者可以行使传感器替换/删除攻击和执行器启用/禁用攻击。在这项工作中提出的解决方案的方法是减少的合成的最大的隐蔽损害可达的攻击者，给定的模型的植物和有限的一组意见，到合成的最大的安全监督一定的转换植物，这表明了观察辅助隐蔽攻击者合成问题的可判定性。我们的方法的有效性说明了一个水箱的例子改编自文献。
英文摘要：
In this paper, we consider the problem of synthesizing the supremal covert damage-reachable attacker, in the setup where the model of the supervisor is unknown to the adversary but the adversary has recorded a (prefix-closed) finite set of observations of the runs of the closed-loop system. The synthesized attacker needs to ensure both the damage-reachability and the covertness against all the supervisors which are consistent with the given set of observations. There is a gap between the de facto supremality, assuming the model of the supervisor is known, and the supremality that can be attained with a limited knowledge of the model of the supervisor, from the adversary's point of view. We consider the setup where the attacker can exercise sensor replacement/deletion attacks and actuator enablement/disablement attacks. The solution methodology proposed in this work is to reduce the synthesis of the supremal covert damage-reachable attacker, given the model of the plant and the finite set of observations, to the synthesis of the supremal safe supervisor for certain transformed plant, which shows the decidability of the observation-assisted covert attacker synthesis problem. The effectiveness of our approach is illustrated on a water tank example adapted from the literature.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
