Model Predictive Control for Leader-Follower Formation Control of Multiple Mobile Robots Using a Modified C/GMRES Method | IEEE Conference Publication | IEEE Xplore