Kinetic energy shaping for gait regulation of underactuated bipeds | Synapse