Spacecraft formation control based on adaptive backstepping terminal sliding mode | IEEE Conference Publication | IEEE Xplore