Barrier-Certified Distributed Model Predictive Control of Under-Actuated Autonomous Surface Vehicles via Neurodynamic Optimization | IEEE Journals & Magazine | IEEE Xplore