Nonlinear Model Predictive Control for Spacecraft Attitude Tracking with Kalman Filter | IEEE Conference Publication | IEEE Xplore