Terminal Sliding Mode Control for Spacecraft Formation Flying | IEEE Journals & Magazine | IEEE Xplore