Synthesis of covert actuator attackers for free

摘要: In this paper, we shall formulate and address a problem of covert actuator attacker synthesis for cyber-physical systems that are modeled by discrete-event systems. We assume the partially observes execution closed-loop system is able to modify each control command issued supervisor on specified attackable subset controllable events. provide straightforward but in general exponential-time reductions, due use construction procedure, from problems Ramadge-Wonham problems. It then follows it possible many techniques tools already developed solving solve free. particular, show that, if cannot attack unobservable events supervisor, reductions can be carried out polynomial time. also brief discussion some other conditions under which exponential blowup state size avoided. Finally, how reduction based procedure extended successful attackers eavesdrop commands supervisor.