A Preliminary Specification Methodology for Model-based Diagnosis.
Roy LeitchMike J. ChantlerQiang ShenGeorge Macleod CoghillPublished in: Ann. Math. Artif. Intell. (1994)
Keyphrases
- model based diagnosis
- discrete event systems
- model based reasoning
- diagnostic reasoning
- dynamic systems
- physical systems
- consistency based diagnosis
- fault localization
- digital circuits
- hardware designs
- conceptual model
- search algorithm
- qualitative models
- software engineering
- state space
- diagnostic process
- knowledge base