Cooperative Control Design for Time-Varying Formations of Multi-Agent Systems | IEEE Journals & Magazine | IEEE Xplore