On Fault Identification in Diagnosable Systems

  • Authors:
  • Kyung-Yong Chwa;S. L. Hakimi

  • Affiliations:
  • Northwestern University, Evanston, IL. He is now with the Department of Computer Science, Korea Advanced Institute of Science;-

  • Venue:
  • IEEE Transactions on Computers
  • Year:
  • 1981

Quantified Score

Hi-index 15.01

Visualization

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}.