An improved model-based method to test circuit faults

Authors:
Xiaochun Cheng;Dantong Ouyang;Jiang Yunfei;Chengqi Zhang
Affiliations:
Software Institute, Northeast Normal University, China and National Laboratory of Symbolic Computation and Knowledge Engineering, Changchun, China;National Laboratory of Symbolic Computation and Knowledge Engineering, Changchun, China and Department of Computer Science and Technology, Jilin University, Changchun, China;National Laboratory of Symbolic Computation and Knowledge Engineering, Changchun, China and Software Institute, Zhongshan University, Guangzhou, China;National Laboratory of Symbolic Computation and Knowledge Engineering, Changchun, China and Faculty of Information Technology, University of Technology, Sydney, Broadway, NSW, Australia
Venue:
Theoretical Computer Science
Year:
2005

Citing 9
Cited 1

Diagnostic reasoning based on structure and behavior

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
An assumption-based TMS

Artificial Intelligence
A theory of diagnosis from first principles

Artificial Intelligence
Diagnosing multiple faults

Artificial Intelligence
A spectrum of logical definitions of model-based diagnosis

Computational Intelligence
Characterizing diagnoses and systems

Artificial Intelligence
Modifications of Competitive Group Testing

SIAM Journal on Computing
Model-based Diagnosis in the Real World: Lessons Learned and Challenges Remaining

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence

Dynamic theorem proving algorithm for consistency-based diagnosis

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	5.23

Visualization

Abstract

This paper presents an improved model-based reasoning method to test circuit faults. The testing procedure is applicable even when the target system contains multiple faulty modes. Using our method, the observation could be planned appropriately to guarantee correct solutions to be in the restricted candidate space. The existent consistency-checking method and abductive reasoning method are special cases of our method. The relationship between the testing procedure and the corresponding prime implication is analyzed for algorithmic implementation.