Nonlinear robust H∞ tracking control for 6 DOF spacecraft formation with input saturation | IEEE Conference Publication | IEEE Xplore