Optimization-based distributed safety control with applications to collision avoidance for mobile robotic networks. (17th January 2023)