Comparison of Mathematical Models for the HUGIN 4500 AUV Based on Experimental Data | IEEE Conference Publication | IEEE Xplore