Localization of autonomous underwater vehicles by floating acoustic buoys: a set-membership approach | IEEE Journals & Magazine | IEEE Xplore