Cheetahs and beetles run, dolphins and salmon swim, and bees and birds fly with grace and economy surpassing our technology. Evolution has shaped the breathtaking abilities of animals, leaving us the challenge of reconstructing their targets of control and mechanisms of dexterity. In this review we explore a corner of this fascinating world. We describe mathematical models for legged animal locomotion, focusing on rapidly running insects, and highlighting achievements and challenges that remain. Newtonian body-limb dynamics are most naturally formulated as piecewise-holonomic rigid body mechanical systems, whose constraints change as legs touch down or lift off. Central pattern generators and proprioceptive sensing require models of spiking neurons, and simplified phase oscillator descriptions of ensembles of them. A full neuro-mechanical model of a running animal requires integration of these elements, along with proprioceptive feedback and models of goal-oriented sensing, planning and learning. We outline relevant background material from neurobiology and biomechanics, explain key properties of the hybrid dynamical systems that 1 underlie legged locomotion models, and provide numerous examples of such models, from the simplest, completely soluble 'peg-leg walker' to complex neuro-muscular subsystems that are yet to be assembled into models of behaving animals.