Synthesis of the supremal covert attacker against unknown supervisors by using observations

• المؤلفون الرئيسيون: Tai, Ruochen, Lin, Liyong, Zhu, Yuting, Su, Rong
• مؤلفون آخرون: School of Electrical and Electronic Engineering
• التنسيق: مقال
• اللغة: English
• منشور في: 2023
• الموضوعات: Engineering::Electrical and electronic engineering; Cyber-Physical System; Discrete-Event System
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/166617

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 synt...