Distributed Lyapunov-Based Model Predictive Formation Tracking Control for Autonomous Underwater Vehicles Subject to Disturbances | IEEE Journals & Magazine | IEEE Xplore