A Robustness Evaluation Method for Temporal Logic of Cyber-Physical Fusion System

A technology of information physics fusion and temporal logic, applied in the field of temporal logic robustness evaluation
CN104657610BActive Publication Date: 2017-11-17NANJING UNIV OF POSTS & TELECOMM
4 Cites 0 Cited by

Patent Information

Authority / Receiving Office
CN Β· China
Patent Type
Patents(China)
Current Assignee / Owner
NANJING UNIV OF POSTS & TELECOMM
Publication Date
2017-11-17

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

The present invention provides a sequential logic robustness evaluation method for cyber-physical fusion system. First, a temporal logic is used to capture and abstract the dynamic characteristics of the cyber-physical fusion system, and the cyber-physical fusion system is transformed into a user-defined system model. The temporal logic formula is used to represent the finite trajectory of the system; secondly, the established model is verified by using model checking technology to ensure the correctness of the above model, and the counterexample that the system does not satisfy the formula, that is, the forged trajectory is fed back to the user; finally, According to the trajectory of the system and the timing logic specification, the optimization method is used to evaluate its robustness. According to a certain method flow, the time domain interval is set to obtain the robustness values ​​at different sampling points in different state sequences, and finally calculate the The robustness value representing the whole system is fed back to the user, realizing linear running time and constant memory usage, saving memory space, reducing system running time and improving system efficiency.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention relates to a sequential logic robustness evaluation method, which comprehensively utilizes model checking to solve the problem of improving the efficiency of a cyber-physical fusion system, and belongs to the application fields of cyber-physical fusion systems, algorithm design, and cross-technical applications of distributed systems. Background technique

[0002] The cyber-physical fusion system is a highly integrated system of computing, communication, and physical processes. By embedding perception, communication, and computing capabilities in physical devices, it can realize distributed perception of the external environment, reliable data transmission, and intelligent information processing, and through feedback mechanisms Realize real-time control of physical processes. The cyber-physical fusion system realizes deep fusion and real-time collaboration through the feedback loop of the interaction between the computing process and the ...

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