Nonlinear MPC for attitude system of miniature satellite using multiple MEMS actuators | IEEE Conference Publication | IEEE Xplore