Graph theoretic connectivity control of mobile robot networks