Formation Control with Synchronization of Mobile Robots Based on Discrete Time Models and Predictive Control