Synthesis of covert actuator and sensor attackers as supervisor synthesis

Abstract

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.