Opacity Research Based on the Discrete Mathematics System of Automatic Machine

For the model failure of the fuzzy system mode failure to study FDES (Fuzzy Discrete-Event Systems) mode fault diagnosis, this paper proposes a model fault diagnosis method based on the verification device. First of all, this paper introduces the concept of pattern failure in the fuzzy system, including the S type mode failure in the sub -sequence series in the vague event strings and the T type mode failure in the sub -type pattern in the fuzzy event string. Then, this paper formalizes the diagnosability of S-type and T-type mode faults of FDES respectively. Finally, in order to verify the mode fault diagnosability of fuzzy system, this paper constructs a verifier automaton, obtains a necessary and sufficient condition for the mode fault diagnosability of FDES, realizes the mode fault diagnosis of fuzzy system, and gives the complexity and running complexity of the verifier.