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

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

Steering nonholonomic systems in chained form

The authors introduce a nilpotent form, called a chained form, for nonholonomic control systems. For the case of a nonholonomic system with two inputs, they give constructive conditions for the existence of a feedback transformation which puts the system into chained form, and show how to steer the system between arbitrary states. Examples are presented for steering a car and a car with a trailer attached: other examples can be found in the areas of space robotics and multifingered robot hands. The present results also have applications in the area of nilpotentization of distributions of vector fields on R^n

A motion planner for nonholonomic mobile robots

This paper considers the problem of motion planning for a car-like robot (i.e., a mobile robot with a nonholonomic constraint whose turning radius is lower-bounded). We present a fast and exact planner for our mobile robot model, based upon recursive subdivision of a collision-free path generated by a lower-level geometric planner that ignores the motion constraints. The resultant trajectory is optimized to give a path that is of near-minimal length in its homotopy class. Our claims of high speed are supported by experimental results for implementations that assume a robot moving amid polygonal obstacles. The completeness and the complexity of the algorithm are proven using an appropriate metric in the configuration space R^2 x S^1 of the robot. This metric is defined by using the length of the shortest paths in the absence of obstacles as the distance between two configurations. We prove that the new induced topology and the classical one are the same. Although we concentrate upon the car-like robot, the generalization of these techniques leads to new theoretical issues involving sub-Riemannian geometry and to practical results for nonholonomic motion planning

New high order sufficient conditions for configuration tracking

In this paper, we propose new conditions guaranteeing that the trajectories of a mechanical control system can track any curve on the configuration manifold. We focus on systems that can be represented as forced affine connection control systems and we generalize the sufficient conditions for tracking known in the literature. The new results are proved by a combination of averaging procedures by highly oscillating controls with the notion of kinematic reduction.Comment: arXiv admin note: text overlap with arXiv:0911.536

Exponential Stabilization of Nonholonomic Systems by Means of Oscillating Controls

This paper is devoted to the stabilization problem for nonlinear driftless control systems by means of a time-varying feedback control. It is assumed that the vector fields of the system together with their first order Lie brackets span the whole tangent space at the equilibrium. A family of trigonometric open-loop controls is constructed to approximate the gradient flow associated with a Lyapunov function. These controls are applied for the derivation of a time-varying feedback law under the sampling strategy. By using Lyapunov's direct method, we prove that the controller proposed ensures exponential stability of the equilibrium. As an example, this control design procedure is applied to stabilize the Brockett integrator.Comment: 25 pages, 2 figure

Dynamics and Control of Nonholonomic Systems with Internal Degrees of Freedom

Nonholonomic systems model many robots as well as animals and other systems. Although such systems have been studied extensively over the last century, much work still remains to be done on their dynamics and control. Many techniques have been developed for controlling kinematic nonholonomic systems or simplified dynamic versions, however control of high dimensional, underactuated nonholonomic systems remains to be addressed. This dissertation helps fill this gap by developing a control algorithm that can be applied to systems with three or more configuration variables and just one input. We also analyze the dynamic effects of passive degrees of freedom and elastic potentials which are commonly observed in such systems showing that the addition of a passive degree of freedom can even be used to improve the locomotion characteristics of a system. Such elastic potentials can be present due to compliant mechanisms or origami, both of which can exhibit bistability and many other properties that can be useful in the design of robots

Models for Human Navigation and Optimal Path Planning Using Level Set Methods and Hamilton-Jacobi Equations

We present several models for different physical scenarios which are centered around human movement or optimal path planning, and use partial differential equations and concepts from control theory. The first model is a game-theoretic model for environmental crime which tracks criminals' movement using the level set method, and improves upon previous continuous models by removing overly restrictive assumptions of symmetry. Next, we design a method for determining optimal hiking paths in mountainous regions using an anisotropic level set equation. After this, we present a model for optimal human navigation with uncertainty which is rooted in dynamic programming and stochastic optimal control theory. Lastly, we consider optimal path planning for simple, self-driving cars in the Hamilton-Jacobi formulation. We improve upon previous models which simplify the car to a point mass, and present a reasonably general upwind, sweeping scheme to solve the relevant Hamilton-Jacobi equation