Model Predictive Tracking Controller for Quadcopters with Setpoint Convergence Guarantees | IEEE Conference Publication | IEEE Xplore