Method and device for determining security diagnosability of stochastic discrete event system

Abstract

The invention discloses a method and a device for determining the security diagnosability of a stochastic discrete event system. After a stochastic automaton corresponding to a stochastic discrete event system is determined, an error-free automaton used for representing the specification language of the stochastic discrete event system is created. Then, an illegal language recognizer used for distinguishing forbidden event strings on an illegal language set is created based on the error-free automaton. Next, a security verifier is created based on the illegal language recognizer, and necessary and sufficient conditions used to determine whether the stochastic discrete event system is securely diagnosable are determined. Finally, whether the stochastic discrete event system is securely diagnosable is determined according to the security verifier and the necessary and sufficient conditions. The time complexity corresponding to the creating process of the security verifier and the time complexity corresponding to the determination process of security diagnosability based on the security verifier are polynomial time. Thus, the complexity of security diagnosis of a stochastic discrete event system is reduced.

Description

technical field [0001] The invention relates to the technical field of security diagnosis of random discrete event systems, in particular to a method and system for determining the security diagnosability of random discrete event systems. Background technique [0002] Discrete Event System (DES for short) is a kind of dynamic system proposed in the 1980s, in which discrete events interact according to certain operating rules and lead to state evolution. It can be directly used for discrete systems. Modeling can also be used to model the discretized continuous system. At present, discrete event systems have been widely used in computer integrated manufacturing systems, traffic control, computer networks, communication networks, flexible production lines, military command and other fields. Especially the random discrete event system, which adds a probability structure on the basis of the classical discrete event system, can more accurately describe the random characteristics ...

AI Technical Summary

Problems solved by technology

Although the safety fault diagnosis method of the random discrete event system mentioned above can realize safety diagnosis for the fault of the random discrete event system by constructing a safety diagnostic device, the complexity of constructing the safety diagnostic device and implementing the safety diagnosis algorithm are both exponential time: with As the number of system states and events increases, the complexity of system safety fault diagnosis will increase exponentially, which will seriously affect the applicability and efficiency of safety fault diagnosis methods.

Images