Modeling and motion analysis of the MARES autonomous underwater vehicle | IEEE Conference Publication | IEEE Xplore