A Spectrum of Definitions for Temporal Model-Based Diagnosis.
Vittorio BrusoniLuca ConsolePaolo TerenzianiDaniele Theseider DupréPublished in: Artif. Intell. (1998)
Keyphrases
- model based diagnosis
- discrete event systems
- model based reasoning
- consistency based diagnosis
- dynamic systems
- diagnostic reasoning
- fault localization
- physical systems
- diagnostic systems
- digital circuits
- hardware designs
- fault models
- temporal information
- model checking
- failure diagnosis
- temporal constraints
- temporal reasoning
- diagnostic process
- complex systems
- fault model
- knowledge representation
- cooperative
- bayesian networks