Sequential model-based diagnosis by systematic search.
Patrick RodlerPublished in: Artif. Intell. (2023)
Keyphrases
- model based diagnosis
- systematic search
- constraint propagation
- search algorithm
- discrete event systems
- diagnostic reasoning
- dynamic systems
- constraint programming
- search methods
- fault localization
- consistency based diagnosis
- hill climbing
- model based reasoning
- failure diagnosis
- physical systems
- digital circuits
- greedy search
- constraint satisfaction
- constraint satisfaction problems
- complex systems
- fault models
- repair actions
- diagnostic process
- global optimization
- scheduling problem
- artificial neural networks