Utilizing Lyapunov-Based Model Predictive Control to Achieve Dynamic Positioning for the Haizhe Autonomous Underwater Vehicle | IEEE Conference Publication | IEEE Xplore