Model-Based monitoring and diagnosis chip for embedded systems

Authors:
Satoshi Hiratsuka;Hsin-Hung Lu;Akira Fusaoka
Affiliations:
Department of Human and Computer Intelligence, Ritsumeikan University, Kusatsu-city, SIGA, Japan;Department of Human and Computer Intelligence, Ritsumeikan University, Kusatsu-city, SIGA, Japan;Department of Human and Computer Intelligence, Ritsumeikan University, Kusatsu-city, SIGA, Japan
Venue:
AIMSA'06 Proceedings of the 12th international conference on Artificial Intelligence: methodology, Systems, and Applications
Year:
2006

Citing 6
Cited 0

On a model-based diagnosis for synchronous boolean network

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
Generating on-board diagnostics of dynamic automotive systems based on qualitative models[1].

AI Communications
A prototype for model-based on board diagnosis of automotive systems

AI Communications
Temporal decision trees: model-based diagnosis of dynamic systems on-board

Journal of Artificial Intelligence Research
Model-based diagnosis using structured system descriptions

Journal of Artificial Intelligence Research
Diagnosis of automata failures: a calculus and a method

IBM Journal of Research and Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose a design consideration for a monitoring and diagnosing chip for the embedded system based on the model-based diagnosis. We introduce the qualitative model for the embedded system by transforming the continuous dynamics of components into the discrete state transition system, which is then further transformed into the circuit called Synchronous Boolean Network(SBN). The faults of system components are reduced to the stuck-at faults in SBN. We present a hardwired SBN diagnosis engine based on Roth’s D-calculus, which allows efficient identification of the faulty parts by propagating the anomaly through the SBN structure.