Time-Varying Formation Control of Nonholonomic Multi-Agent Systems | IEEE Conference Publication | IEEE Xplore