Graph rigidity and distributed formation stabilization of multi-vehicle systems | IEEE Conference Publication | IEEE Xplore