Distributed Time-Varying Formation and Optimization with Inequality Constraints of a Multi-Robot System | IEEE Conference Publication | IEEE Xplore