Dynamically Stable 3D Quadrupedal Walking with Multi-Domain Hybrid System Models and Virtual Constraint Controllers

Hybrid systems theory has become a powerful approach for designing feedback controllers that achieve dynamically stable bipedal locomotion, both formally and in practice. This paper presents an analytical framework 1) to address multi-domain hybrid models of quadruped robots with high degrees of freedom, and 2) to systematically design nonlinear controllers that asymptotically stabilize periodic orbits of these sophisticated models. A family of parameterized virtual constraint controllers is proposed for continuous-time domains of quadruped locomotion to regulate holonomic and nonholonomic outputs. The properties of the Poincare return map for the full-order and closed-loop hybrid system are studied to investigate the asymptotic stabilization problem of dynamic gaits. An iterative optimization algorithm involving linear and bilinear matrix inequalities is then employed to choose stabilizing virtual constraint parameters. The paper numerically evaluates the analytical results on a simulation model of an advanced 3D quadruped robot, called GR Vision 60, with 36 state variables and 12 control inputs. An optimal amble gait of the robot is designed utilizing the FROST toolkit. The power of the analytical framework is finally illustrated through designing a set of stabilizing virtual constraint controllers with 180 controller parameters.Comment: American Control Conference 201

Nonholonomic Hybrid Zero Dynamics for the Stabilization of Periodic Orbits: Application to Underactuated Robotic Walking

This brief addresses zero dynamics associated with relative degree one and two nonholonomic outputs for exponential stabilization of given periodic orbits for hybrid models of bipedal locomotion. Zero dynamics manifolds are constructed to contain the orbit while being invariant under both the continuous- and discrete-time dynamics. The associated restriction dynamics are termed the hybrid zero dynamics (HZD). Prior results on the HZD have mainly relied on input–output linearization of holonomic outputs and are referred to as holonomic HZD (H-HZD). This brief presents reduced-order expressions for the HZD associated with nonholonomic output functions referred to as nonholonomic HZD (NH-HZD). This brief systematically synthesizes NH-HZD controllers to stabilize periodic orbits based on a reduced-order stability analysis. A comprehensive study of H-HZD and NH-HZD is presented. It is shown that NH-HZD can stabilize a broader range of walking gaits that are not stabilizable through traditional H-HZD. The power of the analytical results is finally illustrated on a hybrid model of a bipedal robot through numerical simulations

Virtual Constraints and Hybrid Zero Dynamics for Realizing Underactuated Bipedal Locomotion

Underactuation is ubiquitous in human locomotion and should be ubiquitous in bipedal robotic locomotion as well. This chapter presents a coherent theory for the design of feedback controllers that achieve stable walking gaits in underactuated bipedal robots. Two fundamental tools are introduced, virtual constraints and hybrid zero dynamics. Virtual constraints are relations on the state variables of a mechanical model that are imposed through a time-invariant feedback controller. One of their roles is to synchronize the robot's joints to an internal gait phasing variable. A second role is to induce a low dimensional system, the zero dynamics, that captures the underactuated aspects of a robot's model, without any approximations. To enhance intuition, the relation between physical constraints and virtual constraints is first established. From here, the hybrid zero dynamics of an underactuated bipedal model is developed, and its fundamental role in the design of asymptotically stable walking motions is established. The chapter includes numerous references to robots on which the highlighted techniques have been implemented.Comment: 17 pages, 4 figures, bookchapte

Robust compound control of dynamic bipedal robots

This paper presents a robust compound control strategy to produce a stable gait in dynamic bipedal robots under random perturbations. The proposed control strategy consists of two interactive loops: an adaptive trajectory generator and a robust trajectory tracking controller. The adaptive trajectory generator produces references for the robot controlled joints without a-priori knowledge of the terrain features and minimizes the effects of disturbances and model uncertainties during the gait, particularly during the support-leg exchange. The trajectory tracking controller is a non-switching robust multivariable generalized proportional integral (GPI) controller. The GPI controller rejects external disturbances and uncertainties faced by the robot during the swing walking phase. The proposed control strategy was evaluated on the numerical model of a five-link planar bipedal robot with one degree of under-actuation, four actuators, and point feet. The results showed robust performance and stability under external disturbances and model parameter uncertainties on uneven terrain with uphills and downhills. The stability of the gait was proven through the computation of a Poincaré return map for a hybrid zero dynamics with uncertainties (HZDU) model, which shows convergence to a bounded neighborhood of a nominal orbital periodic behavior

Dynamically Stable 3D Quadrupedal Walking with Multi-Domain Hybrid System Models and Virtual Constraint Controllers

Hybrid systems theory has become a powerful approach for designing feedback controllers that achieve dynamically stable bipedal locomotion, both formally and in practice. This paper presents an analytical framework 1) to address multi-domain hybrid models of quadruped robots with high degrees of freedom, and 2) to systematically design nonlinear controllers that asymptotically stabilize periodic orbits of these sophisticated models. A family of parameterized virtual constraint controllers is proposed for continuous-time domains of quadruped locomotion to regulate holonomic and nonholonomic outputs. The properties of the Poincaré return map for the full-order and closed-loop hybrid system are studied to investigate the asymptotic stabilization problem of dynamic gaits. An iterative optimization algorithm involving linear and bilinear matrix inequalities is then employed to choose stabilizing virtual constraint parameters. The paper numerically evaluates the analytical results on a simulation model of an advanced 3D quadruped robot, called Vision 60, with 36 state variables and 12 control inputs. An optimal amble gait of the robot is designed utilizing the FROST toolkit. The power of the analytical framework is finally illustrated through designing a set of stabilizing virtual constraint controllers with 180 controller parameters

Dynamic Walking: Toward Agile and Efficient Bipedal Robots

Dynamic walking on bipedal robots has evolved from an idea in science fiction to a practical reality. This is due to continued progress in three key areas: a mathematical understanding of locomotion, the computational ability to encode this mathematics through optimization, and the hardware capable of realizing this understanding in practice. In this context, this review article outlines the end-to-end process of methods which have proven effective in the literature for achieving dynamic walking on bipedal robots. We begin by introducing mathematical models of locomotion, from reduced order models that capture essential walking behaviors to hybrid dynamical systems that encode the full order continuous dynamics along with discrete footstrike dynamics. These models form the basis for gait generation via (nonlinear) optimization problems. Finally, models and their generated gaits merge in the context of real-time control, wherein walking behaviors are translated to hardware. The concepts presented are illustrated throughout in simulation, and experimental instantiation on multiple walking platforms are highlighted to demonstrate the ability to realize dynamic walking on bipedal robots that is agile and efficient