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

• Main Authors: Tai, Ruochen, Lin, Liyong, Zhu, Yuting, Su, Rong
• Other Authors: School of Electrical and Electronic Engineering
• Format: Article
• Language: English
• Published: 2023
• Subjects: Engineering::Electrical and electronic engineering; Cyber-Physical System; Discrete-Event System
• Online Access: https://hdl.handle.net/10356/166617
• Institution: 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...