14.3.1.2 Sampling theory

Section 14.2.2 already covered some of the sampling issues. There are at least two continuous spaces: $ X$, and the time interval $ T$. In most cases, the action space $ U$ is also continuous. Each continuous space must be sampled in some way. In the limit, it is important that any sample sequence is dense in the space on which sampling occurs. This was required for the resolution completeness concepts of Section 14.2.2.

Sampling of $ T$ and $ U$ can be performed by directly using the random or deterministic methods of Section 5.2. Time is just an interval of $ {\mathbb{R}}$, and $ U$ is typically expressed as a convex $ m$-dimensional subset of $ {\mathbb{R}}^m$. For example, $ U$ is often an axis-aligned rectangular subset of $ {\mathbb{R}}^m$.

Some planning methods may require sampling on $ X$. The definitions of discrepancy and dispersion from Section 5.2 can be easily adapted to any measure space and metric space, respectively. Even though it may be straightforward to define a good criterion, generating samples that optimize the criterion may be difficult or impossible.

A convenient way to avoid this problem is to work in a coordinate neighborhood of $ X$. This makes the manifold appear as an $ n$-dimensional region in $ {\mathbb{R}}^n$, which in many cases is rectangular. This enables the sampling concepts of Section 5.2 to be applied in a straightforward manner. While this is the most straightforward approach, the sampling quality depends on the particular parameterization used to define the coordinate neighborhood. Note that when working with a coordinate neighborhood (for example, by imagining that $ X$ is a cube), appropriate identifications must be taken into account.

Steven M LaValle 2020-08-14