Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects.
Johan DovlandEinar Broch JohnsenOlaf OwePublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- dynamic systems
- qualitative reasoning
- qualitative simulation
- complex systems
- discrete event
- qualitative models
- model based diagnosis
- dynamical systems
- state variables
- consistency based diagnosis
- object model
- moving objects
- linear time invariant
- ordinary differential equations
- state estimation
- knowledge base
- multiple objects
- data objects
- spatial reasoning
- reasoning process
- computer aided
- knowledge representation
- mutual exclusion
- diagnostic systems
- machine learning