Nonsingular Terminal Sliding Mode Attitude Tracking Control for Rigid Spacecraft with Input Saturation | IEEE Conference Publication | IEEE Xplore