Augmented state Kalman filtering for AUV navigation | IEEE Conference Publication | IEEE Xplore