Circle formation for anonymous mobile agents with double-integrator dynamics | IEEE Conference Publication | IEEE Xplore