Modeling of ultrasonic range sensors for localization of autonomous mobile robots | IEEE Journals & Magazine | IEEE Xplore