Circular Formation Algorithms for Multiple Nonholonomic Mobile Robots: An Optimization-Based Approach | IEEE Journals & Magazine | IEEE Xplore