Robustness Analysis for a Class of Cyber-Physical Systems modeled with Discrete Timed Petri Nets

Operations of manufacturing systems highly rely on machines and resources that are reliable and available at the point of need. However, there is no guarantee about the reliability and availability of machines and resources. For Cyber-Physical Systems (CPS) used in manufacturing sector, failure prone machines and resources usually influence the processing of existing orders. An important issue is to assess the impact on the performance of potential machines and resources failures. We focus on robustness analysis of a class of Cyber-Physical Systems to provide a support tool to evaluate the influence of machines and resources failures. We use discrete timed Petri nets as the Cyber-World Models of the entities of machines and resources in a class of CPS. We establish a robustness property with respect to machines and resources failures in the class of CPS and analyzed the influence of failures in terms of performance. We illustrate the property by an example.