A model-based description of environment interaction for mobile robots