The design of a controller for multi-agent system formation based on leader-following | IEEE Conference Publication | IEEE Xplore