Optimal estimation of position and heading for mobile robots using ultrasonic beacons and dead-reckoning | IEEE Conference Publication | IEEE Xplore