Dynamic Systems Specification Using Versions and Time.
Mirella Moura MoroSilvia Maria SaggioratoNina EdelweissClesio Saraiva dos SantosPublished in: IDEAS (2001)
Keyphrases
- dynamic systems
- complex systems
- qualitative reasoning
- discrete event
- dynamical systems
- consistency based diagnosis
- state variables
- model based diagnosis
- state estimation
- formal specification
- qualitative models
- linear time invariant
- high level
- state space
- ordinary differential equations
- specification language
- particle filter
- continuous variables