Distributed Formation Control of Cars with Collision Avoidance