The Penn Jerboa: A Platform for Exploring Parallel Composition of Templates

We have built a 12DOF, passive-compliant legged, tailed biped actuated by four brushless DC motors. We anticipate that this machine will achieve varied modes of quasistatic and dynamic balance, enabling a broad range of locomotion tasks including sitting, standing, walking, hopping, running, turning, leaping, and more. Achieving this diversity of behavior with a single under-actuated body, requires a correspondingly diverse array of controllers, motivating our interest in compositional techniques that promote mixing and reuse of a relatively few base constituents to achieve a combinatorially growing array of available choices. Here we report on the development of one important example of such a behavioral programming method, the construction of a novel monopedal sagittal plane hopping gait through parallel composition of four decoupled 1DOF base controllers. For this example behavior, the legs are locked in phase and the body is fastened to a boom to restrict motion to the sagittal plane. The platform's locomotion is powered by the hip motor that adjusts leg touchdown angle in flight and balance in stance, along with a tail motor that adjusts body shape in flight and drives energy into the passive leg shank spring during stance. The motor control signals arise from the application in parallel of four simple, completely decoupled 1DOF feedback laws that provably stabilize in isolation four corresponding 1DOF abstract reference plants. Each of these abstract 1DOF closed loop dynamics represents some simple but crucial specific component of the locomotion task at hand. We present a partial proof of correctness for this parallel composition of template reference systems along with data from the physical platform suggesting these templates are anchored as evidenced by the correspondence of their characteristic motions with a suitably transformed image of traces from the physical platform.Comment: Technical Report to Accompany: A. De and D. Koditschek, "Parallel composition of templates for tail-energized planar hopping," in 2015 IEEE International Conference on Robotics and Automation (ICRA), May 2015. v2: Used plain latex article, correct gap radius and specific force/torque number

Simulation and Control of Running Models

This work focuses on the locomotion of one-legged robots, with focus on approaches that stabilize passive limit cycles. Locomotion based on the socalled passive gaits promises to greatly reduce the actuation effort required for legged robots to move. In this work, the passive gaits of robots of varying complexity are characterized and stabilizing controllers are reviewed from the literature and newly formulated. The robots are modelled as hybrid dynamical systems and numerically simulated, thereby allowing to validate the proposed control strategies. Firstly, the vertical control through energy regulation of a one-dimensional hopper is considered. Secondly, the SLIP model is reviewed and then extended to the “pitchingSLIP”, with the aim of characterizing its passive gaits with somersaults. Two controllers based on energy and angular momentum regulation are then formulated to stabilize passive gaits with somersaults, making the control effort converge to zero. A further extension of the SLIP template, denominated “bodySLIP”, is then used to test the control approach on a more realistic model. The controllers shall be later extended to more complex cases, in which the somersaults are not necessarily present in the passive gaits. Thirdly, the locomotion of a one-legged robot with a body link is studied. Raibert’s control approach based on the foot placement algorithm is reviewed and compared to the non-dissipative touchdown controller of Hyon and Emura. The latter is then extended to be used with continuous torque profiles and to perform velocity tracking. Moreover, damping is added to the joints in order to study its effect on the controller, which was then modified to achieve stable running even in such conditions. The results obtained shall lay the foundations for a later test on hardware on DLR’s quadruped Bert

Parallel Composition of Templates for Tail-Energized Planar Hopping

We have built a 4DOF tailed monoped that hops along a boom permitting free sagittal plane motion. This underactuated platform is powered by a hip motor that adjusts leg touchdown angle in flight and balance in stance, along with a tail motor that adjusts body shape in flight and drives energy into the passive leg shank spring during stance. The motor control signals arise from the application in parallel of four simple, completely decoupled 1DOF feedback laws that provably stabilize in isolation four corresponding 1DOF abstract reference plants. Each of these abstract 1DOF closedloopdynamicsrepresentssomesimplebutcrucialspecific component of the locomotion task at hand. We present a partial proof of correctness for this parallel composition of “template” reference systems along with data from the physical platform suggesting these templates are “anchored” as evidenced by the correspondence of their characteristic motions with a suitably transformed image of traces from the physical platform. For more information: http://kodlab.seas.upenn.edu/Avik/ICRA201

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

Accurate Step Length Control Strategies for Underactuated and Realistic Series Elastic Actuated Hoppers via High Order PFL

Among the different types of legged robots, hopping robots, aka hoppers, can be classified as one of the simplest sufficient models that capture the important features encompassed in dynamic locomotion: underactuation, compliance, and hybrid features. There is an abundance of work regarding the implementation of highly simplified hopper models, the prevalent example being the spring loaded inverted pendulum (SLIP) model, with the hopes of extracting fundamental control ideas for running and hopping robots. However, real world systems cannot be fully described by such simple models, as real actuators have their own dynamics including additional inertia and non-linear frictional losses. Additionally, implementing feedback control for hopping systems with significant amounts of compliance is difficult as the input variable does not instantaneously change the leg length acceleration. The current state-of-the-art of step length control in the presence of non-steady state motions required for foothold placement is not precise enough for operation in the real world. Therefore, an important step towards demonstrating high controllability and robustness to real-world elements is in providing accurate higher order models of real-world hopper dynamics, along with compatible control strategies. Our modeling work is based on a series-elastic actuated (SEA) hopping robot prototype constructed by our lab group, and we provide verifying hardware results that high order partial feedback linearization (HOPFL) can be implemented directly on the leg state of the robot. Using HOPFL, we investigate two paths of compatible trajectory generation that can accomplish desirable tasks such as precise foothold planning. We investigate the practicality of using SLIP-based trajectory generation techniques on more realistic hopping robots, and show that by implementing HOPFL directly on the robot's leg, we can make use of computationally fast SLIP-based approximations, account for non-trivial pitch dynamics, and improve the state-of-the-art of precision step length control for SEA hoppers. We also consider control strategies towards hoppers for which SLIP-based trajectories may not be compatible, by planning all ground reaction force vector (GRF) components during the stance phase concurrently, using a lower order and very general model to construct trajectories for the system's center of mass (CoM), and maintain body stability by controlling the orientation of the GRF directly. While not purely analytical as our SLIP-based approaches, this method is general enough to work on a variety of hopping robots that are not necessarily kinematically structured resembling the classical SLIP model

On the control of complementary-slackness juggling mechanical systems

International audienceThis paper studies the feedback control of a class of complementary-slackness hybrid mechanical systems. Roughly, the systems we study are composed of an uncontrollable part (the "object") and a controlled one (the "robot"), linked by a unilateral constraint and an impact rule. A systematic and general control design method for this class of systems is proposed. The approach is a nontrivial extension of the one degree-of-freedom (DOF) juggler control design. In addition to the robot control, it is also useful to study some intermediate controllability properties of the object's impact Poincaré mapping, which generally takes the form of a non-linear discrete-time system. The force input mainly consists of a family of dead-beat feedback control laws, introduced via a recur-sive procedure, and exploiting the underlying discrete-time structure of the system. The main goal of this paper is to highlight the role of various physical and control properties characteristic of the system on its stabilizability properties and to propose solutions in certain cases

Running synthesis and control for monopods and bipeds with articulated

Bibliography: p. 179-20