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

Approximation of the joint spectral radius using sum of squares

We provide an asymptotically tight, computationally efficient approximation of the joint spectral radius of a set of matrices using sum of squares (SOS) programming. The approach is based on a search for an SOS polynomial that proves simultaneous contractibility of a finite set of matrices. We provide a bound on the quality of the approximation that unifies several earlier results and is independent of the number of matrices. Additionally, we present a comparison between our approximation scheme and earlier techniques, including the use of common quadratic Lyapunov functions and a method based on matrix liftings. Theoretical results and numerical investigations show that our approach yields tighter approximations.Comment: 18 pages, 1 figur

Systematic Controller Design for Dynamic 3D Bipedal Robot Walking.

Virtual constraints and hybrid zero dynamics (HZD) have emerged as a powerful framework for controlling bipedal robot locomotion, as evidenced by the robust, energetically efficient, and natural-looking walking and running gaits achieved by planar robots such as Rabbit, ERNIE, and MABEL. However, the extension to 3D robots is more subtle, as the choice of virtual constraints has a deciding effect on the stability of a periodic orbit. Furthermore, previous methods did not provide a systematic means of designing virtual constraints to ensure stability. This thesis makes both experimental and theoretical contributions to the control of underactuated 3D bipedal robots. On the experimental side, we present the first realization of dynamic 3D walking using virtual constraints. The experimental success is achieved by augmenting a robust planar walking gait with a novel virtual constraint for the lateral swing hip angle. The resulting controller is tested in the laboratory on a human-scale bipedal robot (MARLO) and demonstrated to stabilize the lateral motion for unassisted 3D walking at approximately 1 m/s. MARLO is one of only two known robots to walk in 3D with stilt-like feet. On the theoretical side, we introduce a method to systematically tune a given choice of virtual constraints in order to stabilize a periodic orbit of a hybrid system. We demonstrate the method to stabilize a walking gait for MARLO, and show that the optimized controller leads to improved lateral control compared to the nominal virtual constraints. We also describe several extensions of the basic method, allowing the use of a restricted Poincaré map and the incorporation of disturbance rejection metrics in the optimization. Together, these methods comprise an important contribution to the theory of HZD.PhDElectrical Engineering: SystemsUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/113370/1/bgbuss_1.pd

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

Modular Hopping and Running via Parallel Composition

Though multi-functional robot hardware has been created, the complexity in its functionality has been constrained by a lack of algorithms that appropriately manage flexible and autonomous reconfiguration of interconnections to physical and behavioral components. Raibert pioneered a paradigm for the synthesis of planar hopping using a composition of ``parts\u27\u27: controlled vertical hopping, controlled forward speed, and controlled body attitude. Such reduced degree-of-freedom compositions also seem to appear in running animals across several orders of magnitude of scale. Dynamical systems theory can offer a formal representation of such reductions in terms of ``anchored templates,\u27\u27 respecting which Raibert\u27s empirical synthesis (and the animals\u27 empirical performance) can be posed as a parallel composition. However, the orthodox notion (attracting invariant submanifold with restriction dynamics conjugate to a template system) has only been formally synthesized in a few isolated instances in engineering (juggling, brachiating, hexapedal running robots, etc.) and formally observed in biology only in similarly limited contexts. In order to bring Raibert\u27s 1980\u27s work into the 21st century and out of the laboratory, we design a new family of one-, two-, and four-legged robots with high power density, transparency, and control bandwidth. On these platforms, we demonstrate a growing collection of $\{$body, behavior$\}$ pairs that successfully embody dynamical running / hopping ``gaits\u27\u27 specified using compositions of a few templates, with few parameters and a great deal of empirical robustness. We aim for and report substantial advances toward a formal notion of parallel composition---embodied behaviors that are correct by design even in the presence of nefarious coupling and perturbation---using a new analytical tool (hybrid dynamical averaging). With ideas of verifiable behavioral modularity and a firm understanding of the hardware tools required to implement them, we are closer to identifying the components required to flexibly program the exchange of work between machines and their environment. Knowing how to combine and sequence stable basins to solve arbitrarily complex tasks will result in improved foundations for robotics as it goes from ad-hoc practice to science (with predictive theories) in the next few decades

Exploring Passive Dynamics in Legged Locomotion

A common observation among legged animals is that they move their limbs differently as they change their speed. The observed distinct patterns of limb movement are usually referred to as different gaits. Experiments with humans and mammals have shown that switching between different gaits as locomotion speed changes, enables energetically more economical locomotion. However, it still remains unclear why animals with very different morphologies use similar gaits, where these gaits come from, and how they are related. This dissertation approaches these questions by exploring the natural passive dynamic motions of a range of simplified mechanical models of legged locomotion. Recent research has shown that a simple bipedal model with compliant legs and a single set of parameters can match ground reaction forces of both human walking and running. As first contribution of this dissertation, this concept is extended to quadrupeds. A unified model is developed to reproduce many quadrupedal gaits by only varying the initial states of a motion. In addition, the model parameters are optimized to match the experimental data of real horses, as measured by an instrumented treadmill. It is shown that the proposed model is able to not only create similar kinematic motion trajectories, but can also explain the ground reaction forces of real horses moving with different gaits. In order to reveal the mechanical contribution to gaits, the simplistic bipedal and quadrupedal models are then augmented to have passive swing leg motions by including torsional springs at the hip joints. Through a numerical continuation of periodic motions, this work shows that a wide range of gaits emerges from a simple bouncing-in-place motion starting with different footfall patterns. For both, bipedal and quadrupedal models, these gaits arise along one-dimensional manifolds of solutions with varying total energy. Through breaking temporal and spatial symmetries of the periodic motions, these manifolds bifurcate into distinct branches with various footfall sequences. That is, passive gaits are obtained as different oscillatory motions of a single mechanical system with a single set of parameters. By reproducing a variety of gaits as a manifestation of the passive dynamics of unified models, this work provides insights into the underlying dynamics of legged locomotion and may help design of more economical controllers for legged machines.PHDMechanical EngineeringUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttps://deepblue.lib.umich.edu/bitstream/2027.42/147585/1/ganzheny_1.pd

First Steps Towards Full Model Based Motion Planning and Control of Quadrupeds: A Hybrid Zero Dynamics Approach

The hybrid zero dynamics (HZD) approach has become a powerful tool for the gait planning and control of bipedal robots. This paper aims to extend the HZD methods to address walking, ambling and trotting behaviors on a quadrupedal robot. We present a framework that systematically generates a wide range of optimal trajectories and then provably stabilizes them for the full-order, nonlinear and hybrid dynamical models of quadrupedal locomotion. The gait planning is addressed through a scalable nonlinear programming using direct collocation and HZD. The controller synthesis for the exponential stability is then achieved through the Poincaré sections analysis. In particular, we employ an iterative optimization algorithm involving linear and bilinear matrix inequalities (LMIs and BMIs) to design HZD-based controllers that guarantee the exponential stability of the fixed points for the Poincaré return map. The power of the framework is demonstrated through gait generation and HZD-based controller synthesis for an advanced quadruped robot, —Vision 60, with 36 state variables and 12 control inputs. The numerical simulations as well as real world experiments confirm the validity of the proposed framework

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