Velocity-Free Saturated Control for Spacecraft Proximity Operations With Guaranteed Safety | IEEE Journals & Magazine | IEEE Xplore