Formation Control of Multi-Agent Systems