Robust adaptive gain higher order sliding mode observer based control-constrained nonlinear model predictive control for spacecraft formation flying | IEEE Journals & Magazine | IEEE Xplore