Formulating Attacks with Supervisory Control
Ana Maria Mainhardt, Andrew Wintenberg, Stéphane Lafortune, Anne-Kathrin Schmuck · IFAC-PapersOnLine · 2024
We present a framework for the modelling and synthesis of sensor and actuator attacks on discrete event systems. Initially, we consider systems composed of a single plant and supervisor subject to an attack that can modify the supervisor's observations and control actions. The problem of designing stealthy attacks that can always inflict damage on the system is formulated as a standard supervisory control problem. Next, we show how to apply our framework to a decentralised system. Distributed attackers, one for each subsystem, are realised as nonconflicting supervisors that must coordinate to achieve their individual goals.