Nonlinear observer for depth-aided INS: Experimental evaluation using an AUV | IEEE Conference Publication | IEEE Xplore