A Fully-actuated System Approach for Spacecraft Attitude Control with Input Saturation | IEEE Conference Publication | IEEE Xplore