Cloud-Supported Formation Control of Second-Order Multiagent Systems | IEEE Journals & Magazine | IEEE Xplore