Formation Control of Differential-Drive Robots with Input Saturation and Constraint on Formation Size | IEEE Conference Publication | IEEE Xplore