It is possible that the constraints cause the configuration to be trapped on a lower dimensional surface. Let , and consider the system
Suppose that the initial configuration is given as . Since the configuration is confined to a circle, the C-space could alternatively be defined as . Each point on can be mapped to the circle that has radius and center at . In this case, there are no differential constraints on the velocities, provided that motions are trapped on the circle. Any velocity in the one-dimensional tangent space at points on the circle is allowed. This model is equivalent to (13.22).
Now consider the possible trajectories that are constrained to traverse a circle,
What just occurred here is a special case of a completely integrable differential model. In general, if the model can be expressed as the time derivative of constraints of the form , then the configuration transition equation is said to be completely integrable. Obtaining an implicit differential model from constraints of the form is not difficult. Each constraint is differentiated to obtain
It is even quite difficult to determine whether a differential model is completely integrable, which means that the configurations are trapped on a lower dimensional surface. For some systems, to be described by (13.41), this will be solved by the Frobenius Theorem in 15.4.2. If such systems are not completely integrable, they are called nonholonomic; otherwise, they are called holonomic. In general, even if a model is theoretically integrable, actually performing the integration is another issue. In most cases, it is difficult or impossible to integrate the model.
Therefore, it is sometimes important to work directly with constraints in differential form, even if they are integrable. Furthermore, methods for planning under differential constraints can be applied to problems that have constraints of the form . This, for example, implies that motion planning for closed kinematic chains can be performed by planning algorithms designed to handle differential constraints.
Steven M LaValle 2020-08-14