On Fault Identification in Diagnosable Systems

This paper begins by giving a characterization of t1/ t1—diagnosable systems. Then a class of t0-diagnosable systems, denoted by d(n,t0,X), is considered. It is shown for any member of this class that: 1) necessary and sufficient conditions for t1/t1—diagnosability are greatly simplified, 2) optimal diagnosis algorithms of time complexity 0(nt0) exist, and most importantly, 3) given the test results, any set F of faults with |F| ≤ t1 can be identified to within a set F' with F ⊆ F' and |F'| ≤ min {t1, |F| + 1}.