Extended Kalman filtering for robotic proximity sensing | IEEE Conference Publication | IEEE Xplore