Modeling Uncertain Temporal Evolutions in Model-Based Diagnosis
Luigi PortinalePublished in: CoRR (2013)
Keyphrases
- model based diagnosis
- discrete event systems
- model based reasoning
- dynamic systems
- consistency based diagnosis
- diagnostic reasoning
- fault localization
- digital circuits
- temporal reasoning
- temporal constraints
- decision making
- physical systems
- fault models
- constraint programming
- temporal aspects
- hardware designs
- temporal information
- petri net
- case based reasoning
- expert systems
- objective function