Lyapunov-based model predictive control for dynamic positioning of autonomous underwater vehicles | IEEE Conference Publication | IEEE Xplore