CPS rare event probability prediction method based on statistical model inspection

A statistical model testing and event probability technology, applied in the field of CPS rare event probability prediction based on statistical model testing, can solve system security problems, threats to people's lives, property safety and other issues

Pending Publication Date: 2019-07-02
SOUTHEAST UNIV
View PDF3 Cites 6 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] CPS is an open system, and uncertainty is an inherent characteristic of this type of open system. The uncertainty of CPS may lead to system security problems. Once a security problem occurs, it will have catastrophic consequences. Serious Threat to people's lives and property safety
Therefore, in CPS verification, it is a huge challenge to be able to verify the impact of uncertain behavior on system security.

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • CPS rare event probability prediction method based on statistical model inspection
  • CPS rare event probability prediction method based on statistical model inspection
  • CPS rare event probability prediction method based on statistical model inspection

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0056] The present invention will be further described below in conjunction with the accompanying drawings. The following examples are only used to illustrate the technical solution of the present invention more clearly, but not to limit the protection scope of the present invention.

[0057] Such as figure 1 As shown, a CPS rare event probability prediction method based on statistical model testing includes three modules: sampling monitor, protocol verifier, and probability predictor, and four steps of random sampling, protocol verification, probability prediction, and parameter adjustment. The sampling monitor module includes: the establishment of the CPS system model, and the construction of the sample sampling monitor. The establishment of the CPS system model considers the impact of the environment on the operation of the CPS, expands the CPS software model, and establishes the CPS software extension model through the hybrid automaton model; based on the sample sampling ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a CPS rare event probability prediction method based on statistical model inspection. The system is based on a statistical model inspection method and is composed of a samplingmonitor, a protocol verifier and a probability predictor. The method comprises the specific implementation steps that a sampling monitor adopts an importance random sampling algorithm to randomly sample and generate a CPS system state feature sequence described based on a hybrid automaton; a protocol verifier based on linear temporal logic can generate a system visible characteristic state sequence and a verification result corresponding to protocol satisfaction, and the verifier can take the verification result as a training sample set of a probability predictor based on an HMM implicit Markov model; on the basis of sufficient sample set learning, the probability predictor calculates the probability that the subsequent state of the system is a rare event state, and outputs the result, inaddition, the method also has the function of correcting the prediction capability of the predictor by using the probability prediction result.

Description

technical field [0001] The invention belongs to the field of cyber-physical system control, and in particular relates to a method for predicting the probability of CPS rare events based on statistical model testing Background technique [0002] With the gradual development of "Industry 4.0" and "Made in China 2025", the supply, manufacturing, and sales processes in production are all digitized and informatized through cyber-physical systems to achieve rapid and effective applications. The Cyber-Physical System (Cyber-Physical System) realizes the closed-loop path between the physical space and the information space. In essence, it is to transmit various data in the physical space to the information space, and use the powerful analysis and processing capabilities of the information space to find the It is the process of realizing the best decision to optimize the allocation of physical space resources and applying the decision to the physical space in the form of data. As a ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06Q10/04G06Q50/30G06F17/18
CPCG06Q10/04G06Q50/30G06F17/18
Inventor 李必信段鹏飞周颖
Owner SOUTHEAST UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products