Temporal logic robustness assessment method for information physical fusion system

Abstract

The invention provides a temporal logic robustness assessment method for an information physical fusion system. The method comprises the following steps of: firstly, capturing and abstracting the dynamic characteristics of the information physical fusion system by adopting a temporal logic, converting the information physical fusion system into an user-defined system model, and expressing a limited track of the system by use of a temporal logic formula; secondly, verifying the established model by virtue of a model testing technology so as to ensure the correctness of the model, feeding back a counter-example, namely a forged track which does not conform to the formula, in the system to users; finally, performing robustness assessment by adopting an optimization method according to the track and temporal logic standard of the system, setting time domain intervals according to a certain method and a certain procedure, obtaining the robustness values of different state sequences under different sampling points, and feeding back a finally-calculated robustness value which represents the whole system to the users. The linear working time and the constant memory usage are realized, the memory space can be saved, the working time of the system is reduced, and the efficiency of the system is improved.

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