Attitude Tracking Control of Rigid Spacecraft Based on Fully Actuated System Models | IEEE Conference Publication | IEEE Xplore