Temporal versus Spatial Observability in Model-Based Diagnosis.
Jurryt PietersmaArjan J. C. van GemundPublished in: SMC (2006)
Keyphrases
- model based diagnosis
- spatial and temporal
- spatio temporal
- temporal dimension
- temporal correlation
- temporal aspects
- model based reasoning
- spatial features
- diagnostic reasoning
- spatial information
- digital circuits
- temporal information
- space time
- dynamic systems
- fault localization
- discrete event systems
- spatio temporal data
- consistency based diagnosis
- physical systems
- diagnostic systems
- temporal constraints
- spatial data
- constraint programming
- hardware designs
- temporal reasoning
- model checking