Trajectory Tracking Control of an Autonomous Underwater Vehicle Using Lyapunov-Based Model Predictive Control | IEEE Journals & Magazine | IEEE Xplore