Barrier-Certified Distributed Model Predictive Control of Under-Actuated Autonomous Surface Vehicles via Neurodynamic Optimization | Synapse