Robust finite-time spacecraft attitude control under input saturation | IEEE Conference Publication | IEEE Xplore