Symmetry for the Analysis of Dynamic Systems.

Zarrin Langari Richard J. Trefler

Published in: NASA Formal Methods (2011)

Keyphrases

dynamic systems
qualitative reasoning
complex systems
linear time invariant
dynamical systems
discrete event
qualitative models
data analysis
state variables
consistency based diagnosis
continuous variables