Exponential stabilization of driftless nonlinear control systems using homogeneous feedback

This paper focuses on the problem of exponential stabilization of controllable, driftless systems using time-varying, homogeneous feedback. The analysis is performed with respect to a homogeneous norm in a nonstandard dilation that is compatible with the algebraic structure of the control Lie algebra. It can be shown that any continuous, time-varying controller that achieves exponential stability relative to the Euclidean norm is necessarily non-Lipschitz. Despite these restrictions, we provide a set of constructive, sufficient conditions for extending smooth, asymptotic stabilizers to homogeneous, exponential stabilizers. The modified feedbacks are everywhere continuous, smooth away from the origin, and can be extended to a large class of systems with torque inputs. The feedback laws are applied to an experimental mobile robot and show significant improvement in convergence rate over smooth stabilizers

Nonholonomic motion planning: steering using sinusoids

Methods for steering systems with nonholonomic constraints between arbitrary configurations are investigated. Suboptimal trajectories are derived for systems that are not in canonical form. Systems in which it takes more than one level of bracketing to achieve controllability are considered. The trajectories use sinusoids at integrally related frequencies to achieve motion at a given bracketing level. A class of systems that can be steered using sinusoids (claimed systems) is defined. Conditions under which a class of two-input systems can be converted into this form are given

Nilpotent Bases for a Class of Non-Integrable Distributions with Applications to Trajectory Generation for Nonholonomic Systems

This paper develops a constructive method for finding a nilpotent basis for a special class of smooth nonholonomic distributions. The main tool is the use of the Goursat normal form theorem which arises in the study of exterior differential systems. The results are applied to the problem of finding a set of nilpotent input vector fields for a nonholonomic control system, which can then used to construct explicit trajectories to drive the system between any two points. A kinematic model of a rolling penny is used to illustrate this approach. The methods presented here extend previous work using "chained form" and cast that work into a coordinate-free setting

The geometric structure of nonholonomic mechanics

Many important problems in multibody dynamics, the dynamics of wheeled vehicles and motion generation, involve nonholonomic mechanics. Many of these systems have symmetry, such as the group of Euclidean motions in the plane or in space and this symmetry plays an important role in the theory. Despite considerable advances on both Hamiltonian and Lagrangian sides of the theory, there remains much to do. We report on progress on two of these fronts. The first is a Poisson description of the equations that is equivalent to those given by Lagrangian reduction, and second, a deeper understanding of holonomy for such systems. These results promise to lead to further progress on the stability issues and on locomotion generatio

Trajectory generation for the N-trailer problem using Goursat normal form

Develops the machinery of exterior differential forms, more particularly the Goursat normal form for a Pfaffian system, for solving nonholonomic motion planning problems, i.e., motion planning for systems with nonintegrable velocity constraints. The authors use this technique to solve the problem of steering a mobile robot with n trailers. The authors present an algorithm for finding a family of transformations which will convert the system of rolling constraints on the wheels of the robot with n trailers into the Goursat canonical form. Two of these transformations are studied in detail. The Goursat normal form for exterior differential systems is dual to the so-called chained-form for vector fields that has been studied previously. Consequently, the authors are able to give the state feedback law and change of coordinates to convert the N-trailer system into chained-form. Three methods for planning trajectories for chained-form systems using sinusoids, piecewise constants, and polynomials as inputs are presented. The motion planning strategy is therefore to first convert the N-trailer system into Goursat form, use this to find the chained-form coordinates, plan a path for the corresponding chained-form system, and then transform the resulting trajectory back into the original coordinates. Simulations and frames of movie animations of the N-trailer system for parallel parking and backing into a loading dock using this strategy are included

Optimal Control for Holonomic and Nonholonomic Mechanical Systems with Symmetry and Lagrangian Reduction

In this paper we establish necessary conditions for optimal control using the ideas of Lagrangian reduction in the sense of reduction under a symmetry group. The techniques developed here are designed for Lagrangian mechanical control systems with symmetry. The benefit of such an approach is that it makes use of the special structure of the system, especially its symmetry structure and thus it leads rather directly to the desired conclusions for such systems. Lagrangian reduction can do in one step what one can alternatively do by applying the Pontryagin Maximum Principle followed by an application of Poisson reduction. The idea of using Lagrangian reduction in the sense of symmetry reduction was also obtained by Bloch and Crouch [1995a,b] in a somewhat different context and the general idea is closely related to those in Montgomery [1990] and Vershik and Gershkovich [1994]. Here we develop this idea further and apply it to some known examples, such as optimal control on Lie groups and principal bundles (such as the ball and plate problem) and reorientation examples with zero angular momentum (such as the satellite with moveable masses). However, one of our main goals is to extend the method to the case of nonholonomic systems with a nontrivial momentum equation in the context of the work of Bloch, Krishnaprasad, Marsden and Murray [1995]. The snakeboard is used to illustrate the method