Analysis of cybersecurity of cyber physical systems

• Main Author: Qi, Junda
• Other Authors: Su Rong
• Format: Thesis-Master by Coursework
• Language: English
• Published: Nanyang Technological University 2023
• Subjects: Engineering::Electrical and electronic engineering
• Online Access: https://hdl.handle.net/10356/164814
• Institution: Nanyang Technological University

Recent years have witnessed the rapid development of cyber-physical systems (CPS) due to advances in the information and communication technology (ICT), in particular, the recent 5G-based Internet of things (IoT) technologies. As an integration of cyber information and physical world, cyber-physical systems (CPS) have been playing a significant role in the modern society due to the precise control, remote collaboration and autonomous functions. The realization of these powerful features heavily relies on the network system, which might be compromised and exploited to cause irreparable damage by malicious attacks. In addition, the unavoidable channel delays render it more difficult to guarantee the resilient control of CPS. Thus, this project aims to provide users with a platform that encompasses the following functions: 1) a visual interface that could clearly show the operation procedure of several typical cyber-physical systems, modelled as networked discrete-event systems (DES), under adversial environments caused by attacks and delays. In the context of DES, the basic components of CPS would contain the plant, observation channel, control channel, supervisor, and attackers; 2) synthesis of covert sensor attackers for networked discrete-event systems by adopting SuSyNA (Supervisor Synthesis for Nondeterministic Automata), a tool for synthesizing the supervisor for discrete-event systems.