Synthesis of covert actuator and sensor attackers as supervisor synthesis

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.Ministry of Education (MOE)National Research Foundation (NRF)Published versionThis work is financially supported by Singapore Ministry of Education Tier 1 Academic Research Grant (2018-T1-001-245 (RG91/18)) and the National Research Foundation of Singapore Delta-NTU Corporate Lab Program with the project reference of DELTA-NTU CORP-SMA-RP2, which is gratefully acknowledged