Controlling formations of multiple mobile robots | Synapse