Experimental Validation of a Feed-Forward Predictor for the Spring-Loaded Inverted Pendulum Template

Cataloged from PDF version of article.Widely accepted utility of simple spring-mass models for running behaviors as descriptive tools, as well as literal control targets, motivates accurate analytical approximations to their dynamics. Despite the availability of a number of such analytical predictors in the literature, their validation has mostly been done in simulation, and it is yet unclear how well they perform when applied to physical platforms. In this paper, we extend on one of the most recent approximations in the literature to ensure its accuracy and applicability to a physical monopedal platform. To this end, we present systematic experiments on a well-instrumented planar monopod robot, first to perform careful identification of system parameters and subsequently to assess predictor performance. Our results show that the approximate solutions to the spring-loaded inverted pendulum dynamics are capable of predicting physical robot position and velocity trajectories with average prediction errors of 2% and 7%, respectively. This predictive performance together with the simple analytic nature of the approximations shows their suitability as a basis for both state estimators and locomotion controllers. © 2004-2012 IEEE

A Modular, Real-Time Fieldbus Architecture for Mobile Robotic Platforms

Cataloged from PDF version of article.The design and construction of complex and reconfigurable embedded systems such as small autonomous mobile robots is a challenging task that involves the selection, interfacing, and programming of a large number of sensors and actuators. Facilitating this tedious process requires modularity and extensibility both in hardware and software components. In this paper, we introduce the universal robot bus (URB), a real-time fieldbus architecture that facilitates rapid integration of heterogeneous sensor and actuator nodes to a central processing unit (CPU) while providing a software abstraction that eliminates complications arising from the lack of hardware homogeneity. Motivated by our primary application area of mobile robotics, URB is designed to be very lightweight and efficient, with real-time support for Recommended Standard (RS) 232 or universal serial bus connections to a central computer and inter-integrated circuit (I(2)C), controller area network, or RS485 bus connections to embedded nodes. It supports automatic synchronization of data acquisition across multiple nodes, provides high data bandwidth at low deterministic latencies, and includes flexible libraries for modular software development both for local nodes and the CPU. This paper describes the design of the URB architecture, provides a careful experimental characterization of its performance, and demonstrates its utility in the context of its deployment in a legged robot platform

Multi-point Contact Models for Dynamic Self-Righting of a Hexapod Robot

In this paper, we report on the design of a model-based controller that can achieve dynamical self-righting of a hexapod robot. Extending on our earlier work in this domain, we introduce a tractable multi-point contact model with Coulomb friction. We contrast the singularities inherent to the new model with other available methods and show that for our specific application, it yields dynamics which are well-defined. We then present a feedback controller that achieves “maximal” performance under morphological and actuation constraints, while ensuring the validity of the model by staying away from singularities. Finally, through systematic experiments, we demonstrate that our controller is capable of robust flipping behavior. For more information: Kod*La

LinGraph: a graph-based automated planner for concurrent task planning based on linear logic

In this paper, we introduce an automated planner for deterministic, concurrent domains, formulated as a graph-based theorem prover for a propositional fragment of intuitionistic linear logic, relying on the previously established connection between intuitionistic linear logic and planning problems. The new graph-based theorem prover we introduce improves planning performance by reducing proof permutations that are irrelevant to planning problems particularly in the presence of large numbers of objects and agents with identical properties (e.g. robots within a swarm, or parts in a large factory). We first present our graph-based automated planner, the Linear Logic Graph Planner (LinGraph). Subsequently we illustrate its application for planning within a concurrent manufacturing domain and provide comparisons with four existing automated planners, BlackBox, Symba-2, Metis and the Temporal Fast Downward (TFD), covering a wide range of state-of-the-art automated planning techniques and implementations. We show that even though LinGraph does not rely on any heuristics, it still outperforms these systems for concurrent domains with large numbers of identical objects and agents. These gains persist even when existing methods on symmetry reduction and numerical fluents are used, with LinGraph capable of handling problems with thousands of objects. Following these results, we also show that plan construction with LinGraph is equivalent to multiset rewriting systems, formally relating LinGraph to intuitionistic linear logic. © 2017, Springer Science+Business Media New York

Using constrained intuitionistic linear logic for hybrid robotic planning problems

Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in building automated tools for such synthesis problems attempt to augment methods from either discrete planning or continuous control with hybrid elements, but largely fail to ensure a uniform treatment of both aspects of the domain. In this paper, we present a new formalism, Constrained Intuitionistic Linear Logic (CILL), merging continuous constraint solvers with linear logic to yield a single language in which hybrid properties of robotic behaviors can be expressed and reasoned with. Following a gentle introduction to linear logic, we describe the two new connectives of CILL, introduced to interface the constraint domain with the logical fragment of the language. We then illustrate the application of CILL for robotic planning problems within the Balanced Blocks World, a "physically realistic" extension of the Blocks World domain. Even though some of the formal proofs for the semantic foundations of the language as well as an efficient implementation of a theorem prover are yet to be completed, CILL promises to be a powerful formalism in reasoning within hybrid domains. © 2007 IEEE

Linear planning logic: An efficient language and theorem prover for robotic task planning

In this paper, we introduce a novel logic language and theorem prover for robotic task planning. Our language, which we call Linear Planning Logic (LPL), is a fragment of linear logic whose resource-conscious semantics are well suited for reasoning with dynamic state, while its structure admits efficient theorem provers for automatic plan construction. LPL can be considered as an extension of Linear Hereditary Harrop Formulas (LHHF), whose careful design allows the minimization of nondeterminism in proof search, providing a sufficient basis for the design of linear logic programming languages such as Lolli. Our new language extends on the expressivity of LHHF, while keeping the resulting nondeterminism in proof search to a minimum for efficiency. This paper introduces the LPL language, presents the main ideas behind our theorem prover on a smaller fragment of this language and finally provides an experimental illustration of its operation on the problem of task planning for the hexapod robot RHex. © 2014 IEEE

Adaptive control of a spring-mass hopper

Practical realization of model-based dynamic legged behaviors is substantially more challenging than statically stable behaviors due to their heavy dependence on second-order system dynamics. This problem is further aggravated by the difficulty of accurately measuring or estimating dynamic parameters such as spring and damping constants for associated models and the fact that such parameters are prone to change in time due to heavy use and associated material fatigue. In this paper, we present an on-line, model-based adaptive control method for running with a planar spring-mass hopper based on a once-per-step parameter correction scheme. Our method can be used both as a system identification tool to determine possibly time-varying spring and damping constants of a miscalibrated system, or as an adaptive controller that can eliminate steady-state tracking errors through appropriate adjustments on dynamic system parameters. We present systematic simulation studies to show that our method can successfully accomplish both of these tasks. © 2011 IEEE

An approximate stance map of the spring mass hopper with gravity correction for nonsymmetric locomotions

The Spring-Loaded Inverted Pendulum (SLIP) model has long been established as an effective and accurate descriptive model for running animals of widely differing sizes and morphologies, while also serving as a basis for several hopping robot designs. Further research on this model led to the discovery of several analytic approximations to its normally nonintegrable dynamics. However, these approximations mostly focus on steady-state running with symmetric trajectories due to their linearization of gravitational effects, an assumption that is quickly violated for locomotion on more complex terrain wherein transient, non-symmetric trajectories dominate. In this paper, we introduce a novel gravity correction scheme that extends on one of the more recent analytic approximations to the SLIP dynamics and achieves good accuracy even for highly non-symmetric trajectories. Our approach is based on incorporating the total effect of gravity on the angular momentum throughout a single stance phase and allows us to preserve the analytic simplicity of the approximation to support our longer term research on reactive footstep planning for dynamic legged locomotion. We compare the performance of our method in simulation to two other existing analytic approximations and show that it outperforms them for most physically realistic non-symmetric SLIP trajectories while maintaining the same accuracy for symmetric trajectories. © 2009 IEEE

A 3D dynamic model of a spherical wheeled self-balancing robot

Mobility through balancing on spherical wheels has recently received some attention in the robotics literature. Unlike traditional wheeled platforms, the operation of such platforms depends heavily on understanding and working with system dynamics, which have so far been approximated with simple planar models and their decoupled extension to three dimensions. Unfortunately, such models cannot capture inherently spatial aspects of motion such as yaw motion arising from the wheel rolling motion or coupled inertial effects for fast maneuvers. In this paper, we describe a novel, fully-coupled 3D model for such spherical wheeled platforms and show that it not only captures relevant spatial aspects of motion, but also provides a basis for controllers better informed by system dynamics. We focus our evaluations to simulations with this model and use circular paths to reveal advantages of this model in dynamically rich situations. © 2012 IEEE

Approximate analytic solutions to non-symmetric stance trajectories of the passive Spring-Loaded Inverted Pendulum with damping

This paper introduces an accurate yet analytically simple approximation to the stance dynamics of the Spring-Loaded Inverted Pendulum (SLIP) model in the presence of non-negligible damping and non-symmetric stance trajectories. Since the SLIP model has long been established as an accurate descriptive model for running behaviors, its careful analysis is instrumental in the design of successful locomotion controllers. Unfortunately, none of the existing analytic methods in the literature explicitly take damping into account, resulting in degraded predictive accuracy when they are used for dissipative runners. We show that the methods we propose not only yield average predictive errors below 2% in the presence of significant damping, but also outperform existing alternatives to approximate the trajectories of a lossless model. Finally, we exploit both the predictive performance and analytic simplicity of our approximations in the design of a gait-level running controller, demonstrating their practical utility and performance benefits. © 2010 Springer Science+Business Media B.V