Discrete event systems based formation control framework to coordinate multiple nonholonomic mobile robots.