Synthesis of Actuator Attackers for Free.
Liyong Lin, Yuting Zhu, Rong Su · arXiv (Cornell University) · 2019
In this work, we shall formulate and address a problem of actuator attacker synthesis for cyber-physical systems that are modeled by discrete-event systems. We assume the actuator attacker partially observes the execution of the closed-loop system and it can modify each control command generated by the supervisor on a specified attackable subset of the controllable events. We provide straightforward reductions from the actuator attacker synthesis problems to the Ramadge-Wonham supervisor synthesis problems. It then follows that it is possible to use the many techniques and tools already developed for solving the supervisor synthesis problem to solve the actuator attacker synthesis problem for free. In particular, we show that, if the attacker cannot attack unobservable events to the supervisor, the reductions can be carried out in polynomial time.