Formation Control of Spacecraft Based on SE(3) With Asymmetric Saturated Input | IEEE Journals & Magazine | IEEE Xplore