A Time Logic for Hierarchical Modelling of Dynamic Systems.
Gisela Schäfer-RichterPublished in: J. Inf. Process. Cybern. (1989)
Keyphrases
- dynamic systems
- qualitative models
- qualitative reasoning
- complex systems
- discrete event
- consistency based diagnosis
- dynamical systems
- state variables
- logic programming
- model based diagnosis
- linear time invariant
- ordinary differential equations
- state estimation
- continuous variables
- modal logic
- particle filter
- causal reasoning
- scheduling problem
- cooperative
- bayesian networks
- real time