Modeling and Control of a Holonomic Mobile Robots Box Pushing System with Non-Slipping Constraints on Box Touching Points | IEEE Conference Publication | IEEE Xplore