Optimal guaranteed cost control of spacecraft large angle attitude maneuvers | IEEE Conference Publication | IEEE Xplore