Cyber security of networked discrete-event systems

Abstract

Due to advancements in computing, communication, and related hardware technologies, cyber- physical systems (CPS) have seen significant growth in recent years. Because of its precise control, remote collaboration, and autonomous capabilities, CPS have played an essential role in modern society as an integration of cyber information and the physical world. The implementation of these powerful features is largely reliant on the network infrastructure, which may be compromised and manipulated by malicious attacks to cause irreversible damage. This project aims to construct the fundamental components of a CPS, which are modelled as networked discrete-event systems and primarily include the plant, communication channels, and controller. The attacker is intended to be synthesized for several CPS scenarios using SuSyNA, a tool for synthesizing the supervisor for discrete-event systems, to demonstrate the effectiveness of the developed systems.