Modeling and control of formations of nonholonomic mobile robots | Synapse