| Fault diagnosis in discrete event systems is studied using a state-based framework. Faults can be either intermittent or permanent. For intermittent faults, system may recover from faulty behaviour through reset. To diagnose such intermittent faults, fault counters are introduced. Fault counters record the number of intermittent faults which must have occurred according to the output observations. This provides the main diagnosis. They also record the number of possible intermittent faults which may have occurred but cannot be confirmed. This provides auxiliary diagnostic information. Fault diagnosability is then studied. Since faults may be intermittent, they may occur repeatedly. Three different notions are studied: 1-diagnosability, 1,k-diagnosability, and 1,∞-diagnosability, and criteria for each of these notions are obtained. The criteria are expressed in terms of fault counters and extend the diagnosability criteria for permanent faults. The concept of a resonant path is introduced, which plays an important role in studying diagnosability. |
