Robustness Analysis of Cyber-Physical systems based on Discrete Timed Cyber-Physical Models

The widespread use of IoT endows Cyber-Physical Systems (CPS) with the capability to supervise, monitor and control of manufacturing systems. However, study on the impact of unexpected events such as resource failures on the operations of CPS is less explored. The goal of this study is to propose a systematic framework to analyze CPS and pave the way for the development of an effective strategy to handle unexpected events. In this paper, we will focus on analysis of a class of resource failures events in CPS. To analyze the effects of resource failures on CPS, a network model is constructed based on the timed Petri net models to represent the cyber-world model of CPS. An optimization problem is formulated to check the feasibility to meet the original deadline. The influence of resource failures on CPS is analyzed by solving the optimization problem based on a network constructed based on the cyber-world model of CPS. The proposed method is illustrated by an example.