Supervised coverage control with guaranteed collision avoidance and proximity maintenance | IEEE Conference Publication | IEEE Xplore