Integrity of Cyber-Physical Discrete Event Systems under covert actuator attacks
Samuel Silva de Oliveira, Andre Bittencourt Leal, Marcelo Teixeira, Yuri Kaszubowski Lopes · IFAC-PapersOnLine · 2024
The connectivity requirements brought by Industry 4.0 pose new challenges for cyber-physical systems (CPS), such as the strengthening of their resilience against cyberattacks. In this paper, we use the discrete event systems (DES) formalism to develop an approach that aims to protect CPS from covert actuator attacks using event permutation maps. In this approach, properly selected controllable events are permuted on the plant's site so that attacks on actuators do not have the impact on the plant as expected by the intruder and unsafe states are avoided. Furthermore, a property termed AE-protectability is presented to characterize the necessary and sufficient conditions for the system to be protected against such attacks through event permutations. The proposed approach is applied to a case study where the Identification of the attack is done without causing damage while maintaining the integrity of the system.