Title :
On Fault Identification in Diagnosable Systems
Author :
Chwa, Kyung-yong ; Hakimi, S. Louis
Author_Institution :
Northwestern University, Evanston, IL. He is now with the Department of Computer Science, Korea Advanced Institute of Science
fDate :
6/1/1981 12:00:00 AM
Abstract :
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}.
Keywords :
Characterization of t/t-diagnosable systems; diagnosis algorithms; digraph model; fault diagnosis; system diagnosis; t-diagnosable systems; Computer science; Fault diagnosis; Helium; Sufficient conditions; System testing; Characterization of t/t-diagnosable systems; diagnosis algorithms; digraph model; fault diagnosis; system diagnosis; t-diagnosable systems;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1981.1675807
