Fault diagnosis of discrete event systems with time sequence constraint

Automata model based method is widely applied for fault diagnosis of discrete event systems. In practical systems, the occurrences of system events often have fixed order, and the faults may be reCoverable. The traditional automata model cannot handle these problems. In this paper, an automata model containing the information of time sequence is built, which will help to describe the system accurately and simplify the structure of the model. Based on this model, a diagnosis method is proposed to diagnose the faults, which searches for the observable events sequence of the system to obtain diagnosis results. An example indicates that the proposed method can reduce the number of diagnose paths and save diagnosis time compared with the traditional method.