On a model-based diagnosis for synchronous boolean network

Authors:
Satoshi Hiratsuka;Akira Fusaoka
Affiliations:
-;-
Venue:
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Year:
2000

Citing 4
Cited 1

A theory of diagnosis from first principles

Artificial Intelligence
The consistency-based approach to automated diagnosis of devices

Principles of knowledge representation
Dynamic diagnosis of sequential circuits based on stuck-at faults

VTS '96 Proceedings of the 14th IEEE VLSI Test Symposium
Diagnosis with behavioral modes

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2

Model-Based monitoring and diagnosis chip for embedded systems

AIMSA'06 Proceedings of the 12th international conference on Artificial Intelligence: methodology, Systems, and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.