Exploiting System Hierarchy to Compute Repair Plans in Probabilistic Model-based Diagnosis
Sampath SrinivasEric HorvitzPublished in: CoRR (2013)
Keyphrases
- model based diagnosis
- repair actions
- discrete event systems
- dynamic systems
- model based reasoning
- consistency based diagnosis
- fault localization
- diagnostic reasoning
- probabilistic model
- physical systems
- plan repair
- diagnostic systems
- digital circuits
- belief networks
- constraint programming
- failure diagnosis
- fault models
- model checking
- bayesian networks
- diagnostic process
- petri net
- multi agent