Stability analysis and anti-windup design for discrete-time systems by a saturation-dependent Lyapun