Departmental Papers (ESE)

Image

Figure 1: Keyframes from RHex simulation leaping onto a 20cm ledge. Blue arrows show contact forces while the red arrow shows body velocity.

Abstract

Rigid bodies, plastic impact, persistent contact, Coulomb friction, and massless limbs are ubiquitous simplifications introduced to reduce the complexity of mechanics models despite the obvious physical inaccuracies that each incurs individually. In concert, it is well known that the interaction of such idealized approximations can lead to conflicting and even paradoxical results. As robotics modeling moves from the consideration of isolated behaviors to the analysis of tasks requiring their composition, a mathematically tractable framework for building models that combine these simple approximations yet achieve reliable results is overdue. In this paper we present a formal hybrid dynamical system model that introduces suitably restricted compositions of these familiar abstractions with the guarantee of consistency analogous to global existence and uniqueness in classical dynamical systems. The hybrid system developed here provides a discontinuous but self-consistent approximation to the continuous (though possibly very stiff and fast) dynamics of a physical robot undergoing intermittent impacts. The modeling choices sacrifice some quantitative numerical efficiencies while maintaining qualitatively correct and analytically tractable results with consistency guarantees promoting their use in formal reasoning about mechanism, feedback control, and behavior design in robots that make and break contact with their environment.

For more information: Kod*Lab

Document Type

Journal Article

Subject Area

GRASP, Kodlab

Date of this Version

9-2016

Publication Source

The International Journal of Robotics Research

Volume

35

Issue

11

Start Page

1354

Last Page

1392

Share

COinS
 

Date Posted: 04 November 2016

This document has been peer reviewed.