Coordination Control of Discrete Event Systems under Cyber Attacks
For researchers in discrete event systems, this work extends coordination control to handle cyber attacks, but the results are incremental as they build on existing concepts like conditional decomposability.
The paper addresses coordination control of discrete event systems under joint sensor and actuator attacks, deriving necessary and sufficient conditions for supervisor existence and developing two design methods. The approach handles both stealthy and non-stealthy attacks, demonstrated on a practical example.
In this paper, coordination control of discrete event systems under joint sensor and actuator attacks is investigated. Sensor attacks are described by a set of attack languages using a proposed ALTER model. Several local supervisors are used to control the system. The goal is to design local supervisors to ensure safety of the system even under cyber attacks (CA). The necessary and sufficient conditions for the existence of such supervisors are derived in terms of conditional decomposability, CA-controllability and CA-observability. A method is developed to calculate local state estimates under sensor attacks. Two methods are also developed to design local supervisors, one for discrete event systems satisfying conditional decomposability, CA-controllability and CA-observability, and one for discrete event systems satisfying conditional decomposability only. The approach works for both stealthy and non-stealthy attacks. A practical example is given to illustrate the results.