Models for locomotion