Theory and Experiment of Enclosing Control for Second-Order Multi-Agent Systems | IEEE Journals & Magazine | IEEE Xplore