On a Model-Based Diagnosis for Synchronous Boolean Network
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.
- 1.de Kleer, J. and Williams, B. C. 1989. Diagnosis with behavioral modes, Proc. of IJCAI-89, 1324–1330.Google Scholar
- 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
- 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