Fault Prediction in Fuzzy Discrete Event Systems: A Diagnoser Approach

In this workm we study the fault prediction in fuzzy discrete event systems. Fuzzy discrete event systems are proposed to deal with vagueness, impreciseness, and subjectivity in real-world problems. The verification is divided into two steps. In the first step, we give a method to construct a Diagnoser. And in the second step, based on the structure of diagnoser we give the necessary and sufficient conditions to verify the future occurrence of the fault. The newly proposed approach allows us to deal with the problem of fault prediction for both crisp DESs and FDESs. Finally, an example is provided to illustrate the efficiency of the proposed approach. Subject Categories and Descriptors: [I.2.3 Deduction and Theorem Proving]; Uncertainty, “fuzzy,” and probabilistic reasoning: [B.1.3 Control Structure Reliability, Testing, and Fault-Tolerance] General Terms: Fault Prediction, Fuzzy Models, Discrete Events