Hierarchical model-based diagnosis based on structural abstraction.
Luca ChittaroRoberto RanonPublished in: Artif. Intell. (2004)
Keyphrases
- model based diagnosis
- hardware designs
- fault localization
- discrete event systems
- consistency based diagnosis
- model based reasoning
- diagnostic reasoning
- physical systems
- dynamic systems
- fault models
- diagnostic systems
- repair actions
- qualitative models
- digital circuits
- state space
- special case
- decision making
- constraint programming
- dynamical systems
- medical images
- expert systems
- lower bound
- objective function
- bayesian networks