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

• Main Authors: Tai, Ruochen, Lin, Liyong, Zhu, Yuting, Su, Rong
• 其他作者: School of Electrical and Electronic Engineering
• 格式: Article
• 語言: English
• 出版: 2023
• 主題: Engineering::Electrical and electronic engineering; Cyber-Physical System; Discrete-Event System
• 在線閱讀: https://hdl.handle.net/10356/166617
• 機構: Nanyang Technological University

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