Collision-free UAV formation flight control based on nonlinear MPC | IEEE Conference Publication | IEEE Xplore