Input to State Stability of Bipedal Walking Robots: Application to DURUS

Bipedal robots are a prime example of systems which exhibit highly nonlinear dynamics, underactuation, and undergo complex dissipative impacts. This paper discusses methods used to overcome a wide variety of uncertainties, with the end result being stable bipedal walking. The principal contribution of this paper is to establish sufficiency conditions for yielding input to state stable (ISS) hybrid periodic orbits, i.e., stable walking gaits under model-based and phase-based uncertainties. In particular, it will be shown formally that exponential input to state stabilization (e-ISS) of the continuous dynamics, and hybrid invariance conditions are enough to realize stable walking in the 23-DOF bipedal robot DURUS. This main result will be supported through successful and sustained walking of the bipedal robot DURUS in a laboratory environment.Comment: 16 pages, 10 figure

Walking dynamics are symmetric (enough)

Many biological phenomena such as locomotion, circadian cycles, and breathing are rhythmic in nature and can be modeled as rhythmic dynamical systems. Dynamical systems modeling often involves neglecting certain characteristics of a physical system as a modeling convenience. For example, human locomotion is frequently treated as symmetric about the sagittal plane. In this work, we test this assumption by examining human walking dynamics around the steady-state (limit-cycle). Here we adapt statistical cross validation in order to examine whether there are statistically significant asymmetries, and even if so, test the consequences of assuming bilateral symmetry anyway. Indeed, we identify significant asymmetries in the dynamics of human walking, but nevertheless show that ignoring these asymmetries results in a more consistent and predictive model. In general, neglecting evident characteristics of a system can be more than a modeling convenience---it can produce a better model.Comment: Draft submitted to Journal of the Royal Society Interfac

Dimension Reduction Near Periodic Orbits of Hybrid Systems

When the Poincar\'{e} map associated with a periodic orbit of a hybrid dynamical system has constant-rank iterates, we demonstrate the existence of a constant-dimensional invariant subsystem near the orbit which attracts all nearby trajectories in finite time. This result shows that the long-term behavior of a hybrid model with a large number of degrees-of-freedom may be governed by a low-dimensional smooth dynamical system. The appearance of such simplified models enables the translation of analytical tools from smooth systems-such as Floquet theory-to the hybrid setting and provides a bridge between the efforts of biologists and engineers studying legged locomotion.Comment: Full version of conference paper appearing in IEEE CDC/ECC 201

Model Reduction Near Periodic Orbits of Hybrid Dynamical Systems

We show that, near periodic orbits, a class of hybrid models can be reduced to or approximated by smooth continuous-time dynamical systems. Specifically, near an exponentially stable periodic orbit undergoing isolated transitions in a hybrid dynamical system, nearby executions generically contract superexponentially to a constant-dimensional subsystem. Under a non-degeneracy condition on the rank deficiency of the associated Poincare map, the contraction occurs in finite time regardless of the stability properties of the orbit. Hybrid transitions may be removed from the resulting subsystem via a topological quotient that admits a smooth structure to yield an equivalent smooth dynamical system. We demonstrate reduction of a high-dimensional underactuated mechanical model for terrestrial locomotion, assess structural stability of deadbeat controllers for rhythmic locomotion and manipulation, and derive a normal form for the stability basin of a hybrid oscillator. These applications illustrate the utility of our theoretical results for synthesis and analysis of feedback control laws for rhythmic hybrid behavior

Energy Shaping of Mechanical Systems via Control Lyapunov Functions with Applications to Bipedal Locomotion

This dissertation presents a method which attempts to improve the stability properties of periodic orbits in hybrid dynamical systems by shaping the energy. By taking advantage of conservation of energy and the existence of invariant level sets of a conserved quantity of energy corresponding to periodic orbits, energy shaping drives a system to a desired level set. This energy shaping method is similar to existing methods but improves upon them by utilizing control Lyapunov functions, allowing for formal results on stability. The main theoretical result, Theorem 1, states that, given an exponentially-stable limit cycle in a hybrid dynamical system, application of the presented energy shaping controller results in a closed-loop system which is exponentially stable. The method can be applied to a wide class of problems including bipedal locomotion; because the optimization problem can be formulated as a quadratic program operating on a convex set, existing methods can be used to rapidly obtain the optimal solution. As illustrated through numerical simulations, this method turns out to be useful in practice, taking an existing behavior which corresponds to a periodic orbit of a hybrid system, such as steady state locomotion, and providing an improvement in convergence properties and robustness with respect to perturbations in initial conditions without destabilizing the behavior. The method is even shown to work on complex multi-domain hybrid systems; an example is provided of bipedal locomotion for a robot with non-trivial foot contact which results in a multi-phase gait

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

Symmetries and periodic orbits in simple hybrid Routhian systems

Symmetries are ubiquitous in a wide range of nonlinear systems. Particularly in systems whose dynamics is determined by a Lagrangian or Hamiltonian function. For hybrid systems which possess a continuous-time dynamics determined by a Lagrangian function, with a cyclic variable, the degrees of freedom for the corresponding hybrid Lagrangian system can be reduced by means of a method known as hybrid Routhian reduction. In this paper we study sufficient conditions for the existence of periodic orbits in hybrid Routhian systems which also exhibit a time-reversal symmetry. Likewise, we explore some stability aspects of such orbits through the characterization of the eigenvalues for the corresponding linearized Poincaré map. Finally, we apply the results to find periodic solutions in underactuated hybrid Routhian control systems.Fil: Colombo, Leonardo Jesus. Consejo Superior de Investigaciones Científicas; España. Instituto de Ciencias Matemáticas; EspañaFil: Eyrea Irazu, Maria Emma. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; Argentin

Hybrid Geometric Feedback Control of Three-Dimensional Bipedal Robotic Walkers with Knees and Feet

This thesis poses a feedback control method for obtaining humanlike bipedal walking on a human-inspired hybrid biped model. The end goal was to understand better the fundamental mechanisms that underlie bipedal walking in the hopes that this newfound understanding will facilitate better mechanical and control design for bipedal robots. Bipedal walking is hybrid in nature, characterized by periodic contact between a robot and the environment, i.e., the ground. Dynamic models derived from Lagrangians modeling mechanical systems govern the continuous dynamics while discrete dynamics were handed by an impact model using impulse-like forces and balancing angular momentum. This combination of continuous and discrete dynamics motivated the use of hybrid systems for modeling purposes. The framework of hybrid systems was used to model three-dimensional bipedal walking in a general setup for a robotic model with a hip, knees, and feet with the goal of obtaining stable walking. To achieve three-dimensional walking, functional Routhian reduction was used to decouple the sagittal and coronal dynamics. By doing so, it was possible to achieve walking in the two-dimensional sagittal plane on the three-dimensional model, restricted to operate in the sagittal plane. Imposing this restriction resulted in a reduced-order model, referred to as the sagittally-restricted model. Sagittal control in the form of controlled symmetries and additional control strategies was used to achieve stable walking on the sagittally-restricted model. Functional Routhian reduction was then applied to the full-order system. The sagittal control developed on the reduced-order model was used with reduction to achieve walking in three dimensions in simulation. The control schemes described resulted in walking which was remarkably anthropomorphic in nature. This observation is surprising given the simplistic nature of the controllers used. Moreover, the two-dimensional and three-dimensional dynamics were completely decoupled inasmuch as the dynamic models governing the sagittal motion were equivalent. Additionally, the reduction resulted in swaying in the lateral plane. This motion, which is generally present in human walking, was unplanned and was a side-effect of the decoupling process. Despite the approximate nature of the reduction, the motion was still almost completely decoupled with respect to the sagittal and coronal planes