Title: An application of Extended Kalman filtering to a model-based, short-range navigator for an AUV