Matching Based Formation Control and Analysis of Large-Scale Multi-agent Systems.