Formation Control of Leader–Follower Mobile Robots’ Systems Using Model Predictive Control Based on Neural-Dynamic Optimization | IEEE Journals & Magazine | IEEE Xplore