Automatic differentiation based nonlinear model predictive control of satellites using magneto-torquers | IEEE Conference Publication | IEEE Xplore