Prescribed-Time Formation Control for Multi-Agent Systems Based on Distance Rigid Graphs | IEEE Conference Publication | IEEE Xplore