Distributed Lyapunov-Based Model Predictive Control for AUV Formation Systems with Multiple Constraints | Synapse