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

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.

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 ...

AI Technical Summary

Problems solved by technology

[0006] Technical problem: The purpose of this invention is to provide a method for evaluating the robustness of the timing logic of a cyber-physical fusion system, aiming at solving the above problems. In order to reduce the running time of the system and improve the working efficiency of the system, it is a timing-oriented method for the cyber-physical fusion system. An important part of logic design, in a cyber-physical fusion system, how to resist noise interference, tolerate error signals and capture stable signals, and how to evaluate the robustness of sequential logic and find out the robustness of the system through finite time state sequences and sampling points It is an important issue in the design and improvement of cyber-physical fusion system to improve the system running time by improving the performance value.

Images