Time-Varying Formation Control for Second-Order Discrete-Time Multi-Agent Systems With Directed Topology and Communication Delay | IEEE Journals & Magazine | IEEE Xplore