Backstepping Design for Circular Formation Control of Dynamic Nonholonomic Vehicles | IEEE Conference Publication | IEEE Xplore