Time-optimal nonlinear feedback control for the NPSAT1 spacecraft | IEEE Conference Publication | IEEE Xplore