The concepts of I-maps and derived I-spaces from Section 11.2 extend directly to continuous spaces. In the nondeterministic case, once again transforms the initial condition and history into a subset of . In the probabilistic case, yields a probability density function over . First, consider the discrete-stage case.
The nondeterministic I-states are obtained exactly as defined in Section 11.2.2, except that the discrete sets are replaced by their continuous counterparts. For example, as defined in (11.28) is now a continuous set, as are and . Since probabilistic I-states are probability density functions, the derivation in Section 11.2.3 needs to be modified slightly. There are, however, no important conceptual differences. Follow the derivation of Section 11.2.3 and consider which parts need to be replaced.
The replacement for (11.35) is
Steven M LaValle 2020-08-14