In this paper, we report on a new stability analysis for hybrid legged locomotion systems based on factorization of return maps. We apply this analysis to a family of models of the Spring Loaded Inverted Pendulum (SLIP) with different leg recirculation strategies. We obtain a necessary condition for the asymptotic stability of those models, which is formulated as an exact algebraic expression despite the non-integrability of the SLIP dynamics. We outline the application of this analysis to other models of legged locomotion and its importance for the stability of legged robots and animals.
A leg configuration sensory system for dynamical body state estimates
We report on a novel leg strain sensory system for the autonomous robot RHex [Saranli U. et al., 2001] implemented upon a cheap, high performance local wireless network [H. Komsuoglu, 2002]. We introduce a model for RHex’s 4-bar legs [E.Z. Moore, 2001] relating leg strain to leg kinematic configuration in the body coordinate frame. We compare against ground truth measurement the performance of the model operating on real-time leg strain data generated under completely realistic operating conditions. We introduce an algorithm for computing six degree of freedom body posture measurements in world frame coordinates from the outputs of the six leg configuration models, together with a priori information about the ground. We discuss the manner in which such stance phase configuration estimates will be fused with other sensory data to develop the continuous time full body state estimates for RHex.
A Simply Stabilized Running Model
The spring-loaded inverted pendulum (SLIP), or monopedal hopper, is an archetypal model for running in numerous animal species. Although locomotion is generally considered a complex task requiring sophisticated control strategies to account for coordination and stability, we show that stable gaits can be found in the SLIP with both linear and “air” springs, controlled by a simple fixed-leg reset policy. We first derive touchdown-to-touchdown Poincaré maps under the common assumption of negligible gravitational effects during the stance phase. We subsequently include and assess these effects and briefly consider coupling to pitching motions. We investigate the domains of attraction of symmetric periodic gaits and bifurcations from the branches of stable gaits in terms of nondimensional parameters.
A Local Convergence Proof for the Minvar Algorithm for Computing
The class of continuous piecewise linear (PL) functions represents a useful family of approximants because invertibility can be readily imposed, and if a PL function is invertible, then it can be inverted in closed form. Many applications, arising, for example, in control systems and robotics, involve the simultaneous construction of a forward and inverse system model from data. Most approximation techniques require that separate forward and inverse models be trained, whereas an invertible continuous PL affords, simultaneously, the forward and inverse system model in a single representation. The minvar algorithm computes a continuous PL approximation to data. Local convergence of minvar is proven for the case when the data generating function is itself a PL function and available directly rather than through data.
Hybrid Zero Dynamics of Planar Biped Walkers
Planar, underactuated, biped walkers form an important domain of applications for hybrid dynamical systems. This paper presents the design of exponentially stable walking controllers for general planar bipedal systems that have one degree-of-freedom greater than the number of available actuators. The within-step control action creates an attracting invariant set—a two-dimensional zero dynamics submanifold of the full hybrid model—whose restriction dynamics admits a scalar linear time-invariant return map. Exponentially stable periodic orbits of the zero dynamics correspond to exponentially stabilizable orbits of the full model. A convenient parameterization of the hybrid zero dynamics is imposed through the choice of a class of output functions. Parameter optimization is used to tune the hybrid zero dynamics in order to achieve closed-loop, exponentially stable walking with low energy consumption, while meeting natural kinematic and dynamic constraints. The general theory developed in the paper is illustrated on a five link walker, consisting of a torso and two legs with knees.
Gait Generation and Optimization for Legged Robots
This paper presents a general framework for representing and generating gaitsfor legged robots. We introduce a convenient parametrization of gait generators as dynamical systems possessing specified stable limit cycles over an appropriate torus. Inspired by biology, this parametrization affords a continuous selection of operation within a coordination design plane spanned by axes that determine the mix of ”feedforward/feedback” and centralized/decentralized” control. Applying optimization to the parameterized gait generation system allowed RHex, our robotic hexapod, to learn new gaits demonstrating significant performance increases. For example, RHex can now run at 2.4m/s (up from 0.8m/s), run with a specific resistance of 0.6 (down from 2.0), climb 45◦ inclines (up from 25◦), and traverse 35◦ inclines (up from 15◦).
Visual Servoing via Navigation Functions
This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configurations while maintaining full view of all the feature points along the way. The method applies to first- and second-order fully actuated plant models. The solution entails three components: a model for the “occlusion-free” configurations; a change of coordinates from image to model coordinates; and a navigation function for the model space. We present three example applications of the framework, along with experimental validation of its practical efficacy.
Zero Dynamics of Planar Biped Walkers with One Degree of
The zero dynamics of a hybrid model of bipedal walking are introduced and studied for a class of N-link, planar robots with one degree of underactuation and outputs that depend only on the configuration variables. Asymptotically stable solutions of the zero dynamics correspond to asymptotically stabilizable orbits of the full hybrid model of the walker. The Poincaré map of the zero dynamics is computed and proven to be diffeomorphic to a scalar, linear, time-invariant system, thereby rendering transparent the existence and stability properties of periodic orbits.
For more information: Kod*Lab
Back Flips with a Hexapedal Robot
We report on the design and analysis of a controller which can achieve dynamical self-righting of our hexapedal robot, RHex. We present an empirically developed control procedure which works reasonably well on indoor surfaces, using a hybrid energy pumping strategy to overcome torque limitations of its actuators. Subsequent modeling and analysis yields a new controller with a much wider domain of success as well as a preliminary understanding of the necessary hybrid control strategy. Simulation results demonstrate the superiority of the improved control strategy to the first generation empirically designed controller.
Phase Regulation of Decentralized Cyclic Robotic Systems
We address the problem of coupling cyclic robotic tasks to produce a specified coordinated behavior. Such coordination tasks are common in robotics, appearing in applications like walking, hopping, running, juggling and factory automation. In this paper we introduce a general methodology for designing controllers for such settings. We introduce a class of dynamical systems defined over n-dimensional tori (the cross product of n oscillator phases) that serve as reference fields for the specified task. These dynamical systems represent the ideal flow and phase couplings of the various cyclic tasks to be coordinated. In particular, given a specification of the desired connections between oscillating subsystems, we synthesize an appropriate reference field and show how to determine whether the specification is realized by the field. In the simplest case that the oscillating components admit a continuous control authority, they are made to track the phases of the corresponding components of the reference field. We further demonstrate that reference fields can be applied to the control of intermittent contact systems, specifically to the task of juggling balls with a paddle and to the task of synchronizing hopping robots.
For more information: Kod*Lab