Fast finite-time formation control with obstacle avoidance of second-order multi-agent systems with input saturation.