This paper presents a discrete-time control design methodology for input-saturating systems using a Lyapunov function with dependence on present and past states. The approach is used to bypass the usual difficulty with ...