Ensuring network connectivity during formation control using a decentralized navigation function | IEEE Conference Publication | IEEE Xplore