linear discrete-time systems; Lyapunov function