Approximate Model-Based Diagnosis Using Greedy Stochastic Search.
Alexander FeldmanGregory M. ProvanArjan J. C. van GemundPublished in: SARA (2007)
Keyphrases
- stochastic search
- model based diagnosis
- variable selection
- simulated annealing
- model based reasoning
- discrete event systems
- dynamic systems
- diagnostic reasoning
- consistency checking
- fault localization
- search methods
- physical systems
- constraint programming
- model checking
- machine learning
- diagnostic process
- hardware designs
- fault model
- telecommunication networks
- tree search
- evolutionary algorithm
- search algorithm