Synthesis of covert actuator and sensor attackers as supervisor synthesis

• Main Authors: Lin, Liyong, Su, Rong
• Other Authors: School of Electrical and Electronic Engineering
• Format: Article
• Language: English
• Published: 2021
• Subjects: Engineering::Electrical and electronic engineering; Cyber Physical Systems; Supervisory Control; Discrete Event Systems
• Online Access: https://hdl.handle.net/10356/152242
• Institution: Nanyang Technological University

In this work, we investigate the problem of covert attacker synthesis for supervisory control of discrete-event systems. In particular, we consider attackers that exercise both actuator attacks and sensor attacks, where the (partial-observation) attackers may or may not eavesdrop the control commands issued by the supervisor. We develop a reduction from the covert attacker synthesis problem to the Ramadge-Wonham supervisor synthesis problem, which generalizes our previous work on a reduction based approach for covert actuator attacker synthesis.