A spectrum of logical definitions of model-based diagnosis.
Luca ConsolePietro TorassoPublished in: Comput. Intell. (1991)
Keyphrases
- model based diagnosis
- model based reasoning
- discrete event systems
- consistency based diagnosis
- diagnostic reasoning
- dynamic systems
- digital circuits
- physical systems
- fault localization
- diagnostic systems
- failure diagnosis
- repair actions
- particle filter
- hardware designs
- fault models
- diagnostic process
- conflict resolution
- medical diagnosis
- model checking
- heuristic search
- petri net