Guaranteed estimation in the problems of navigation information processing | IEEE Conference Publication | IEEE Xplore