Simulating dynamic systems using Linear Time Calculus theories.
Bart BogaertsJoachim JansenMaurice BruynoogheBroes De CatJoost VennekensMarc DeneckerPublished in: CoRR (2014)
Keyphrases
- dynamic systems
- complex systems
- qualitative reasoning
- consistency based diagnosis
- discrete event
- ordinary differential equations
- dynamical systems
- state variables
- model based diagnosis
- state estimation
- linear time invariant
- computational models
- qualitative models
- theoretical framework
- rough mereology
- machine learning
- continuous variables
- worst case
- knowledge representation
- multi agent systems