Collision detection and distance calculation for safe path planning based on mathematical programming methods | IEEE Conference Publication | IEEE Xplore