Multi-robot Formation Based on Trajectory Design and Model Predictive Control | IEEE Conference Publication | IEEE Xplore