Collision-free formation trajectory generation[1].pdf