Collision detection using Linear Programming