Keyphrases
- dynamic systems
- qualitative reasoning
- complex systems
- discrete event
- consistency based diagnosis
- dynamical systems
- linear time invariant
- state variables
- software tools
- software systems
- software development
- state estimation
- ordinary differential equations
- software maintenance
- model based diagnosis
- continuous variables
- qualitative models
- computer systems
- user interface
- optimal control
- cooperative