Dynamic localization based on EKF for indoor mobile robots using discontinuous ultrasonic distance measurements | IEEE Conference Publication | IEEE Xplore