Finite-time Formation Tracking Control for Quadrotor UAVs Based on Fast Non-singular Terminal Sliding Mode | IEEE Conference Publication | IEEE Xplore