The relation between redundancy and convergence rate in distributed multi-agent formation control | IEEE Conference Publication | IEEE Xplore