Dynamic model-aided localization of underwater autonomous gliders | IEEE Conference Publication | IEEE Xplore