Distributed Formation Control of Quadrotors with Collision Avoidance: Simulation