Formal Modelling of Discrete Dynamic Systems.

Heinrich C. Mayr Peter C. Lockemann

Published in: Performance (1976)

Keyphrases

dynamic systems
continuous variables
qualitative models
linear time invariant
complex systems
qualitative reasoning
dynamical systems
consistency based diagnosis
discrete event
state variables
particle filter
model based diagnosis
formal specification
ordinary differential equations
formal model
state estimation