• DocumentCode
    1144272
  • 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
  • Issue
    6
  • fYear
    1981
  • fDate
    6/1/1981 12:00:00 AM
  • Firstpage
    414
  • Lastpage
    422
  • 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;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/TC.1981.1675807
  • Filename
    1675807