Locomotion is a complex process involving specific interactions between the central neural controller and the mechanical components of the system. The basic rhythmic activity generated by locomotor circuits in the spinal cord defines rhythmic limb movements and their central coordination. The operation of these circuits is modulated by sensory feedback from the limbs providing information about the state of the limbs and the body. However, the specific role and contribution of central interactions and sensory feedback in the control of locomotor gait and posture remain poorly understood. We use biomechanical data on quadrupedal locomotion in mice and recent findings on the organization of neural interactions within the spinal locomotor circuitry to create and analyse a tractable mathematical model of mouse locomotion. The model includes a simplified mechanical model of the mouse body with four limbs and a central controller composed of four rhythm generators, each operating as a state machine controlling the state of one limb. Feedback signals characterize the load and extension of each limb as well as postural stability (balance). We systematically investigate and compare several model versions and compare their behaviour to existing experimental data on mouse locomotion. Our results highlight the specific roles of sensory feedback and some central propriospinal interactions between circuits controlling fore and hind limbs for speed-dependent gait expression. Our models suggest that postural imbalance feedback may be critically involved in the control of swing-to-stance transitions in each limb and the stabilization of walking direction.