Finite-time circle formation control for multi-agent systems with unidirectional motion | IEEE Conference Publication | IEEE Xplore