Decentralized estimation and control of graph connectivity for mobile sensor networks