Controllability of formations over directed graphs | IEEE Conference Publication | IEEE Xplore