Discrete event systems based formation control framework to coordinate multiple nonholonomic mobile robots | IEEE Conference Publication | IEEE Xplore