Finite-time fault-tolerant formation control of multiple quadrotor UAVs under input saturation | Synapse