The Use of Model-Based Diagnosis in Redesign.
R. R. BakkerS. J. M. van EldonkP. M. WognumNicolaas J. I. MarsPublished in: ECAI (1994)
Keyphrases
- model based diagnosis
- model based reasoning
- discrete event systems
- diagnostic reasoning
- physical systems
- dynamic systems
- consistency based diagnosis
- constraint programming
- fault localization
- digital circuits
- model checking
- diagnostic process
- repair actions
- diagnostic systems
- fault models
- discrete event
- failure diagnosis