Synthesis of Covert Actuator and Sensor Attackers as Supervisor Synthesis
Liyong Lin, Rong Su · IFAC-PapersOnLine · 2020
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.