State models of dynamic systems