A relaxed lyapunov condition for input-to-state stability of discrete-time nonlinear systems | IEEE Conference Publication | IEEE Xplore