A time-varying saturated synchronous formation controller for nonholonomic mobile robots | IEEE Conference Publication | IEEE Xplore