Distance-based control of K4 formation with almost global convergence | IEEE Conference Publication | IEEE Xplore