CPS modeling and analysis method based on object-oriented generalized stochastic petri net

Abstract

The invention provides a CPS modeling and analysis method based on object-oriented generalized stochastic Petri net. First, according to the specific situation of the modeled CPS, the equipment is divided into three major components: sensors, controllers, and actuators, and then the three major components are abstracted into objects to build an OGSPN model. According to the concept of the object’s OGSPN model and the actual CPS The specific tasks of each component in the system, expand each object in the top-level OGSPN model, and obtain the OGSPN model of the system; then compress the OGSPN model into a traditional GSPN, fuzzify the parameters in the GSPN, obtain a fuzzy GSPN, and use the Markov method to solve Steady-state probability of fuzzy GSPN. Finally, the obtained steady-state probability value is defuzzified to obtain the final accurate numerical result. The invention adopts the analysis method of fuzzy mathematics and Markov chain, effectively deals with the uncertainty in the CPS, so that the result has high accuracy.

Description

technical field [0001] The invention relates to a CPS modeling and analysis method, in particular to a CPS modeling and analysis method based on object-oriented generalized stochastic Petri net. Background technique [0002] Cyber-Physical System (CPS) is a complex embedded system that integrates computing, communication, and control functions. Through the feedback loop of mutual influence between computing and physical processes, it realizes mutual collaboration and interaction between the real world and the virtual world. In order to increase or expand new functions, and provide services such as real-time perception, dynamic control and information feedback. [0003] During the operation of CPS, changes in the physical environment and the state of the controlled object form a variety of events, including sensing, decision-making, regulation, etc., thus forming a closed-loop structure, so it has a strong event-driven nature, and its behavior is a kind of A hybrid behavior ...

AI Technical Summary

Problems solved by technology

However, these theoretical models and tools seldom take into account the attributes of each module in a highly intelligent CPS and the frequent interactions between them, so that they cannot intuitively describe the workflow of CPS, and rarely consider the time attributes, so they cannot Establish a model with time factors for performance analysis, or ignore the uncertainty of CPS in the actual work process when performing quantitative analysis, making the analysis results lack certain accuracy

[0006] Therefore, in order to overcome the weaknesses of the existing methods in terms of unclear modeling and insufficient analysis capabilities, an object-oriented generalized stochastic Petri net is proposed as a new formal modeling method for CPS, focusing on the time attributes in CPS, The interaction between modules can intuitively describe the overall working situation and process of CPS, and then introduce the method of fuzzy mathematics to deal with the uncertainty in CPS and perform accurate performance analysis

Images