Mathematical modeling and experimental test of Manta-type UUV | IEEE Conference Publication | IEEE Xplore