### 11.4.3.1 Nondeterministic and probabilistic I-spaces for discrete stages

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

 (11.56)

which is based in part on deriving from . The base of the induction, which replaces (11.36), is obtained by letting in (11.56). By following the explanation given from (11.37) to (11.40), but using instead probability density functions, the following update equations are obtained:

 (11.57)

and

 (11.58)

Steven M LaValle 2020-08-14