Sonar aided high accuracy inertial navigation in a partially known environment | IEEE Conference Publication | IEEE Xplore