Model Predictive Stabilization of Constrained Underactuated Autonomous Underwater Vehicles With Guaranteed Feasibility and Stability | Synapse