Rigid formation control systems modelled by double integrators: System dynamics and convergence analysis | IEEE Conference Publication | IEEE Xplore