On practical input to state stabilization for nonlinear discrete-time systems: A dynamic programming approach | IEEE Conference Publication | IEEE Xplore