Safe Navigation of Quadruped Robots Using Density Functions

Safe navigation of mission-critical systems is of utmost importance in many modern autonomous applications. Over the past decades, the approach to the problem has consisted of using probabilistic methods, such as sample-based planners, to generate feasible, safe solutions to the navigation problem. However, these methods use iterative safety checks to guarantee the safety of the system, which can become quite complex. The navigation problem can also be solved in feedback form using potential field methods. Navigation function, a class of potential field methods, is an analytical control design to give almost everywhere convergence properties, but under certain topological constraints and mapping onto a sphere world. Alternatively, the navigation problem can be formulated in the dual space of density. Recent works have shown the use of linear operator theory on density to convexly approach the navigation problem. Inspired by those works, this work uses the physical-based interpretation of occupation through density to synthesize a safe controller for the navigation problem. Moreso, by using this occupation-based interpretation of density, we design a feedback density-based controller to solve the almost everywhere navigation problem. Furthermore, due to the recent popularity of legged locomotion for the navigation problem, we integrate this analytical feedback density-based controller into the quadruped navigation problem. By devising a density-based navigation architecture, we show in simulation and hardware the results of the density-based navigation

Human-Inspired Balancing and Recovery Stepping for Humanoid Robots

Robustly maintaining balance on two legs is an important challenge for humanoid robots. The work presented in this book represents a contribution to this area. It investigates efficient methods for the decision-making from internal sensors about whether and where to step, several improvements to efficient whole-body postural balancing methods, and proposes and evaluates a novel method for efficient recovery step generation, leveraging human examples and simulation-based reinforcement learning

Modeling, system identication, and control for dynamic locomotion of the LittleDog robot on rough terrain

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2012.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.Cataloged from student submitted PDF version of thesis.Includes bibliographical references (p. 76-80).In this thesis, I present a framework for achieving a stable bounding gait on the LittleDog robot over rough terrain. The framework relies on an accurate planar model of the dynamics, which I assembled from a model of the motors, a rigid body model, and a novel physically-inspired ground interaction model, and then identied using a series of physical measurements and experiments. I then used the RG-RRT algorithm on the model to generate bounding trajectories of LittleDog over a number of sets of rough terrain in simulation. Despite signicant research in the field, there has been little success in combining motion planning and feedback control for a problem that is as kinematically and dynamically challenging as LittleDog. I have constructed a controller based on transverse linearization and used it to stabilize the planned LittleDog trajectories in simulation. The resulting controller reliably stabilized the planned bounding motions and was relatively robust to signicant amounts of time delays in estimation, process and estimation noise, as well as small model errors. In order to estimate the state of the system in real time, I modified the EKF algorithm to compensate for varying delays between the sensors. The EKF-based filter works reasonably well, but when combined with feedback control, simulated delays, and the model it produces unstable behavior, which I was not able to correct. However, the close loop simulation closely resembles the behavior of the control and estimation on the real robot, including the failure modes, which suggests that improving the feedback loop might result in bounding on the real LittleDog. The control framework and many of the methods developed in this thesis are applicable to other walking systems, particularly when operating in the underactuated regime.by Michael Yurievich Levashov.S.M

Sample-based motion planning in high-dimensional and differentially-constrained systems

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2010.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.Cataloged from student submitted PDF version of thesis.Includes bibliographical references (p. 115-124).State of the art sample-based path planning algorithms, such as the Rapidly-exploring Random Tree (RRT), have proven to be effective in path planning for systems subject to complex kinematic and geometric constraints. The performance of these algorithms, however, degrade as the dimension of the system increases. Furthermore, sample-based planners rely on distance metrics which do not work well when the system has differential constraints. Such constraints are particularly challenging in systems with non-holonomic and underactuated dynamics. This thesis develops two intelligent sampling strategies to help guide the search process. To reduce sensitivity to dimension, sampling can be done in a low-dimensional task space rather than in the high-dimensional state space. Altering the sampling strategy in this way creates a Voronoi Bias in task space, which helps to guide the search, while the RRT continues to verify trajectory feasibility in the full state space. Fast path planning is demonstrated using this approach on a 1500-link manipulator. To enable task-space biasing for underactuated systems, a hierarchical task space controller is developed by utilizing partial feedback linearization. Another sampling strategy is also presented, where the local reachability of the tree is approximated, and used to bias the search, for systems subject to differential constraints. Reachability guidance is shown to improve search performance of the RRT by an order of magnitude when planning on a pendulum and non-holonomic car. The ideas of task-space biasing and reachability guidance are then combined for demonstration of a motion planning algorithm implemented on LittleDog, a quadruped robot. The motion planning algorithm successfully planned bounding trajectories over extremely rough terrain.by Alexander C. Shkolnik.Ph.D

Design of high-performance legged robots: A case study on a hopping and balancing robot

The availability and capabilities of present-day technology suggest that legged robots should be able to physically outperform their biological counterparts. This thesis revolves around the philosophy that the observed opposite is caused by over-complexity in legged robot design, which is believed to substantially suppress design for high-performance. In this dissertation a design philosophy is elaborated with a focus on simple but high performance design. This philosophy is governed by various key points, including holistic design, technology-inspired design, machine and behaviour co-design and design at the performance envelope. This design philosophy also focuses on improving progress in robot design, which is inevitably complicated by the aspire for high performance. It includes an approach of iterative design by trial-and-error, which is believed to accelerate robot design through experience. This thesis mainly focuses on the case study of Skippy, a fully autonomous monopedal balancing and hopping robot. Skippy is maximally simple in having only two actuators, which is the minimum number of actuators required to control a robot in 3D. Despite its simplicity, it is challenged with a versatile set of high-performance activities, ranging from balancing to reaching record jump heights, to surviving crashes from several meters and getting up unaided after a crash, while being built from off-the-shelf technology. This thesis has contributed to the detailed mechanical design of Skippy and its optimisations that abide the design philosophy, and has resulted in a robust and realistic design that is able to reach a record jump height of 3.8m. Skippy is also an example of iterative design through trial-and-error, which has lead to the successful design and creation of the balancing-only precursor Tippy. High-performance balancing has been successfully demonstrated on Tippy, using a recently developed balancing algorithm that combines the objective of tracking a desired position command with balancing, as required for preparing hopping motions. This thesis has furthermore contributed to several ideas and theories on Skippy's road of completion, which are also useful for designing other high-performance robots. These contributions include (1) the introduction of an actuator design criterion to maximize the physical balance recovery of a simple balancing machine, (2) a generalization of the centre of percussion for placement of components that are sensitive to shock and (3) algebraic modelling of a non-linear high-gravimetric energy density compression spring with a regressive stress-strain profile. The activities performed and the results achieved have been proven to be valuable, however they have also delayed the actual creation of Skippy itself. A possible explanation for this happening is that Skippy's requirements and objectives were too ambitious, for which many complications were encountered in the decision-making progress of the iterative design strategy, involving trade-offs between exercising trial-and-error, elaborate simulation studies and the development of above-mentioned new theories. Nevertheless, from (1) the resulting realistic design of Skippy, (2) the successful creation and demonstrations of Tippy and (3) the contributed theories for high-performance robot design, it can be concluded that the adopted design philosophy has been generally successful. Through the case study design project of the hopping and balancing robot Skippy, it is shown that proper design for high physical performance (1) can indeed lead to a robot design that is capable of physically outperforming humans and animals and (2) is already very challenging for a robot that is intended to be very simple

Performance of modified jatropha oil in combination with hexagonal boron nitride particles as a bio-based lubricant for green machining

This study evaluates the machining performance of newly developed modified jatropha oils (MJO1, MJO3 and MJO5), both with and without hexagonal boron nitride (hBN) particles (ranging between 0.05 and 0.5 wt%) during turning of AISI 1045 using minimum quantity lubrication (MQL). The experimental results indicated that, viscosity improved with the increase in MJOs molar ratio and hBN concentration. Excellent tribological behaviours is found to correlated with a better machining performance were achieved by MJO5a with 0.05 wt%. The MJO5a sample showed the lowest values of cutting force, cutting temperature and surface roughness, with a prolonged tool life and less tool wear, qualifying itself to be a potential alternative to the synthetic ester, with regard to the environmental concern

Stabilizing Highly Dynamic Locomotion in Planar Bipedal Robots with Dimension Reducing Control.

In the field of robotic locomotion, the method of hybrid zero dynamics (HZD) proposed by Westervelt, Grizzle, and Koditschek provided a new solution to the canonical problem of stabilizing walking in planar bipeds. Original walking experiments on the French biped RABBIT were very successful, with gaits that were robust to external disturbances and to parameter mismatch. Initial running experiments on RABBIT were cut short before a stable gait could be achieved, but helped to identify performance limiting aspects of both the physical hardware of RABBIT and the method of hybrid zero dynamics. To improve upon RABBIT, a new robot called MABEL was designed and constructed in collaboration between the University of Michigan and Carnegie Mellon University. In light of experiments on RABBIT and in preparation for experiments on MABEL, this thesis provides a theoretical foundation that extends the method of hybrid zero dynamics to address walking in a class of robots with series compliance. Extensive new design tools address two main performance limiting aspects of previous HZD controllers: the dependence on non-Lipschitz finite time convergence and the lack of a constructive procedure for achieving impact invariance when outputs have relative degree greater than two. An analytically rigorous set of solutions - an arbitrarily smooth stabilizing controller and a constructive parameter update scheme - is derived using the method of Poincare sections. Additional contributions of this thesis include the development of sample-based virtual constraints, analysis of walking on a slope, and identification of dynamic singularities that can arise from poorly chosen virtual constraints.Ph.D.Electrical Engineering: SystemsUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/58477/1/morrisbj_1.pd