An Approach to Model-Based Diagnosis of Hybrid Systems.
Sriram NarasimhanGautam BiswasPublished in: HSCC (2002)
Keyphrases
- hybrid systems
- model based diagnosis
- discrete event
- dynamic systems
- model based reasoning
- intelligent systems
- black box
- discrete event systems
- diagnostic reasoning
- neural network
- meta learning
- soft computing
- computational intelligence
- artificial intelligence
- constraint programming
- complex systems
- model checking
- constraint satisfaction problems
- hardware designs
- fault models
- software systems
- model selection
- fuzzy logic
- expert systems
- lower bound
- cooperative
- decision trees
- learning algorithm