Modeling and Prediction of Dynamic Behavior for Model-Based Diagnosis.
Sabine KockskämperPublished in: IEA/AIE (1995)
Keyphrases
- dynamic behavior
- model based diagnosis
- consistency based diagnosis
- diagnostic reasoning
- discrete event systems
- model based reasoning
- dynamic systems
- fault localization
- physical systems
- repair actions
- digital circuits
- expert systems
- hardware designs
- constraint programming
- decision problems
- model checking
- state space
- special case
- multi agent