DiKe - a model-based diagnosis kernel and its application.
Gerhard FleischanderlThomas HavelkaHerwig SchreinerMarkus StumptnerFranz WotawaPublished in: AI Commun. (2002)
Keyphrases
- model based diagnosis
- dynamic systems
- model based reasoning
- consistency based diagnosis
- physical systems
- diagnostic reasoning
- fault localization
- digital circuits
- discrete event systems
- constraint programming
- kernel function
- fault models
- diagnostic systems
- diagnostic process
- repair actions
- expert systems
- failure diagnosis
- model checking
- software development
- state space