Modeling and detection of cyber attacks on discrete event systems

With the rapid growth of cyber-physical systems (CPS), the requirements on the security of such systems increases, since the communication networks between the controllers, actuators and sensors are vulnerable to attacks. In this paper, a detection method for cyber attacks on CPSs modeled by discrete event systems is proposed. Deception attacks hide their influence and are particular challenging to detect. Two such attacks are replay attack and covert attack. The modeling and detection of these two attack types is presented. We introduce permutation matrices which alter the transmitted signals to disrupt the attack and allow the detection. The proposed approach is illustrated by a laboratory manufacturing system. (C) 2018, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.