An algorithm of decentralized encircling coverage and termination of a moving deformable region by mobile robotic sensor/actuator networks | IEEE Conference Publication | IEEE Xplore