Simulating Dynamic Systems Using Linear Time Calculus Theories.
Bart BogaertsJoachim JansenMaurice BruynoogheBroes De CatJoost VennekensMarc DeneckerPublished in: Theory Pract. Log. Program. (2014)
Keyphrases
- dynamic systems
- complex systems
- discrete event
- qualitative reasoning
- dynamical systems
- consistency based diagnosis
- qualitative models
- worst case
- particle filter
- theoretical framework
- state variables
- linear time invariant
- state estimation
- model based diagnosis
- ordinary differential equations
- knowledge base
- machine learning