Synthesis of Distributed Covert Sensor-Actuator Attackers

• 成果类型: Article
• 署名作者: Tai, Ruochen; Lin, Liyong; Zhu, Yuting; Su, Rong
• 署名单位: Nanyang Technological University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3339497
• 发表日期: 2024
• 页码: 4942-4957
• 关键词: Covertness; cyber-physical system; distributed architecture; distributed attacker; supervisor synthesis

摘要

This article investigates the synthesis of distributed attackers for distributed discrete-event systems, where the distributed attackers could implement sensor insertion/deletion/replacement attacks and actuator enablement/disablement attacks. The distributed attackers to be synthesized should fulfill the following goals: 1) Each local sensor-actuator attacker needs to remain covert against all the distributed monitors, which are used to detect the existence of attacks; and 2) the distributed sensor-actuator attackers need to cooperate to implement attacks such that the damage infliction could be realized. To solve this distributed attacker synthesis problem, our solution methodology is to first model the original problem as a distributed supervisor synthesis problem by modeling each system component as a finite-state automaton and then perform incremental synthesis with a heuristic that takes the special structure of this distributed synthesis problem into consideration. The effectiveness of the proposed approach is illustrated via an example regarding the transportation task of multiple robots.