A Model-Based Diagnosis System for Identifying Faulty Components in Digital Circuits.
Benjamin HanShie-Jue LeeHsin-Tai YangPublished in: Appl. Intell. (1999)
Keyphrases
- model based diagnosis
- digital circuits
- model based reasoning
- consistency based diagnosis
- dynamic systems
- discrete event systems
- diagnostic reasoning
- fault localization
- physical systems
- failure diagnosis
- fault model
- qualitative models
- repair actions
- diagnostic process
- constraint programming
- logic programs
- relational databases
- decision diagrams
- diagnostic systems
- lower bound
- multi agent systems
- functional decomposition
- search algorithm
- objective function