discrete linear dynamical system