Predefined-Time Formation Control for Multiagent Systems-Based on Distributed Optimization | IEEE Journals & Magazine | IEEE Xplore