Formation control of mobile sensors in the process of dynamic coverage | IEEE Conference Publication | IEEE Xplore