Model-based diagnosis: A probabilistic extension.
Ahmed Y. TawfikEric NeufeldPublished in: Applications of Uncertainty Formalisms (1998)
Keyphrases
- model based diagnosis
- model based reasoning
- dynamic systems
- discrete event systems
- diagnostic reasoning
- physical systems
- fault localization
- consistency based diagnosis
- probabilistic model
- fault models
- diagnostic systems
- failure diagnosis
- digital circuits
- model checking
- constraint programming
- repair actions
- qualitative models
- conflict resolution
- conditional probabilities
- petri net