I. Introduction
Applied robotics is a task-driven enterprise, but our best mathematical formulations rarely conform precisely to the task at hand. So by and large, robot control formulations are developed in constant compromise between what is task-relevant and what is mathematically tractable. Legged locomotion is no exception.