Global stabilization of the discrete-time double integrator using a saturated linear state feedback controller | IEEE Conference Publication | IEEE Xplore