Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment

Bipedal robotic running remains a challenging benchmark in the field of control and robotics because of its highly dynamic nature and necessarily underactuated hybrid dynamics. Previous results have achieved bipedal running experimentally with a combination of theoretical results and heuristic application thereof. In particular, formal analysis of the hybrid system stability is given based on a theoretical model, but due to the gap between theoretical concepts and experimental reality, extensive tuning is necessary to achieve experimental success. In this paper, we present a formal approach to bridge this gap, starting from theoretical gait generation to a provably stable control implementation, resulting in bipedal robotic running. We first use a large-scale optimization to generate an energy-efficient running gait, subject to hybrid zero dynamics conditions and feasibility constraints which incorporate practical limitations of the robot model based on physical conditions. The stability of the gait is formally guaranteed in the hybrid system model with an input to state stability (ISS) based control law. This implementation improves the stability under practical control limitations of the system. Finally, the methodology is experimentally realized on the planar spring-legged bipedal robot, DURUS-2D, resulting in sustainable running at 1.75m/s. The paper, therefore, presents a formal method that takes the first step toward bridging the gap between theory and experiment