Tube-Based Model Predictive Control for Constrained Unmanned Marine Vehicles With Thruster Faults | Synapse