Semi-decentralized Lyapunov-based formation control of multiple omnidirectional mobile robots | Synapse