Model-Based Nonlinear Observers for Underwater Vehicle Navigation: Theory and Preliminary Experiments | IEEE Conference Publication | IEEE Xplore