Global stabilization of spacecraft rendezvous system subject to input saturation via gain scheduling | IEEE Conference Publication | IEEE Xplore