On a Model-Based Diagnosis for Synchronous Boolean Netowrk.

Satoshi Hiratsuka Akira Fusaoka

Published in: IEA/AIE (2000)

Keyphrases

model based diagnosis
model based reasoning
dynamic systems
discrete event systems
diagnostic reasoning
consistency based diagnosis
fault localization
physical systems
digital circuits
failure diagnosis
diagnostic systems
constraint programming
special case
expert systems