On a Model-Based Diagnosis for Synchronous Boolean Network

  • Satoshi Hiratsuka
  • Akira Fusaoka
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1821)


In this paper, we propose a new diagnosis method for a synchronous boolean network (SBN) based of the concept of the model based diagnosis. We present an effective method to enumerate the set of all candidate of failure components incrementally, and also present a whole system for SBN diagnosis based on this algorithm.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    de Kleer, J. and Williams, B. C. 1989. Diagnosis with behavioral modes, Proc. of IJCAI-89, 1324–1330.Google Scholar
  2. 2.
    Dressler, O., and Struss, P. 1996. The Consistency-based Approach to Automated Diagnosis of Devices, in Principles of Knowledge Representation edited by G. Brewka, 267–311, CSLI Publications.Google Scholar
  3. 3.
    Reiter, R. 1987. A Theory of Diagnosis From First Principle, Artif. Intell., 32:57–95.zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Venkataraman, S., Haratanto, I. and Fuchs, W. K. 1996. Dynamic Diagnosis of Sequencial Circuits Based on Stuck-at Faults, Proc. of the VLSI Test Symposium, 198–203.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Satoshi Hiratsuka
    • 1
  • Akira Fusaoka
    • 1
  1. 1.Department of Computer ScienceRitsumeikan UniversityNojihigashi, Kusatsu-cityJapan

Personalised recommendations