Determining whether a system with drift (15.52), is STLC is substantially more difficult. Imagine a mechanical system, such as a hovercraft, that is moving at a high speed. Due to momentum, it is impossible from most states to move in certain directions during an arbitrarily small interval of time. One can, however, ask whether a system is STLC from a state for which . For a mechanical system, this usually means that it starts at rest. If a system with drift is STLC, this intuitively means that it can move in any direction by hovering around states that are close to zero velocity for the mechanical system.

The Lie algebra techniques can be extended to determine controllability for systems with drift; however, the tools needed are far more complicated. See Chapter 7 of [156] for more complete coverage. Even if , it does not necessarily imply that the system is STLC. It does at least imply that the system is accessible, which motivates the definition given in Section 15.1.3. Thus, the set of achievable velocities still has dimension ; however, motions in all directions may not be possible due to drift. To obtain STLC, a sufficient condition is that the set of possible values for contains an open set that contains the origin.

The following example clearly illustrates the main difficultly with establishing whether a system with drift is STLC.

(15.111) |

This system is clearly not controllable in any sense because cannot be decreased. The vector fields are and . The first independent Lie bracket is

(15.112) |

The two-dimensional Lie algebra is

(15.113) |

which implies that the system is accessible. It is not STLC, however, because the bracket was constructed using and was combined in an unfortunate way. This bracket is indicating that changing is possible; however, we already know that it is not possible to decrease . Thus, some of the vector fields obtained from Lie brackets that involve may have directional constraints.

In Example 15.20,
was an example of a
*bad bracket* [925] because it obstructed controllability.
A method of classifying brackets as *good* or *bad* has been
developed, and there exist theorems that imply whether a system with
drift is STLC by satisfying certain conditions on the good and bad
brackets. Intuitively, there must be enough good brackets to
neutralize the obstructions imposed by the bad brackets
[156,925].

Steven M LaValle 2012-04-20