Nonholonomic Behavior in Robotic Systems

From MLSwiki

Jump to: navigation, search
Prev: Hand Dynamics and Control Chapter 7 - Nonholonomic Behavior in Robotic Systems Next: Motion Planning

In this chapter, we study the effect of nonholonomic constraints on the behavior of robotic systems. These constraints arise in systems such as multifingered robot hands and wheeled mobile robots, where rolling contact is involved, as well as in systems where angular momentum is conserved. We discuss the problem of determining when constraints on the velocities of the configuration variables of a robotic system are integrable, and illustrate the problem in a variety of different situations. The emphasis of this chapter is on the basic tools needed to analyze nonholonomic systems and the application of those tools to problems in robotic manipulation. These tools are drawn both from some basic theorems in differential geometry and from nonlinear control theory.

Chapter Summary

  1. Nonholonomic constraints are linear velocity constraints of the form
    math

    which cannot be integrated to give constraints on the configuration variables math alone. By choosing math to be a basis for the null space of the linear velocity constraints, we get the associated control system

    math

    The problem of nonholonomic motion planning consists of finding a trajectory math, given math and math.

  2. The Lie bracket between two vector fields math and math on math is a new vector field math defined by
    math
  3. A distribution math is a smooth assignment of a subspace of the tangent space to each point math. One important way of generating it is as the span of a number of vector fields:
    math

    The distribution math is said to be regular if the dimension of math does not vary with math. The distribution math is said to be involutive if it is closed under the Lie bracket, that is if for all math, we have math.

  4. A distribution math of dimension math is said to be integrable if there exist math independent functions whose differentials annihilate the distribution. Frobenius' theorem asserts that a regular distribution is integrable if and only if it is involutive. A Pfaffian system or codistribution math
    math

    is completely nonholonomic if the involutive closure of the distribution math spans math for all math.

  5. Consider the system
    math

    The controllability Lie algebra is the Lie algebra generated by the vector fields math. It is the smallest Lie algebra containing math. Chow's theorem asserts that if the controllability Lie algebra is full rank, we can steer this system from any initial to any final point.

  6. Given a distribution math, the filtration associated with math is defined by math and
    math

    where

    math

    The filtration is said to be regular if each of the math are regular. For a regular filtration, the smallest integer math at which rank math is equal to that of math is called the degree of nonholonomy of the distribution. The growth vector math for a regular filtration is defined as math. The relative growth vector math is defined as math with math.

  7. Given math, a Lie product is any nested set of Lie brackets of the generators math. A Lie algebra generated by math is said to be nilpotent if there exists an integer math such that all Lie products of length greater than math are zero. A Philip Hall basis is an ordered set of Lie products chosen by a set of rules so as to keep track of the restrictions imposed by the properties of the Lie bracket, namely skew-symmetry and the Jacobi identity.

Additional Information