Convex MPC and Thrust Allocation With Deadband for Spacecraft Rendezvous | IEEE Journals & Magazine | IEEE Xplore