Fault tolerant model predictive control for an over-actuated vessel