Multi-quadrotor UAVs formation obstacle avoidance control based on virtual leader | IEEE Conference Publication | IEEE Xplore