Model-based dynamic positioning of underwater robotic vehicles: theory and experiment | IEEE Journals & Magazine | IEEE Xplore