Wheel rolling constraints and slip in mobile robots

It is widely accepted that dead reckoning based on the rolling with no slip condition on wheels is not a reliable method to ascertain the position and orientation of a mobile robot for any reasonable distance. We establish that wheel slip is inevitable under the dynamic model of motion using classical results on the accessibility and controllability in nonlinear control theory and an analytical model of rolling of two linearly elastic bodies.