The reachability definitions have a nice symmetry with respect to time. Rather than describing all points reachable from some , it is just as easy to describe all points from which some can be reached. This is similar to the alternative between forward and backward projections in Section 10.1.2.

Let the *backward reachable set* be defined as

in which is given by (14.1) and requires that . Note the intentional similarity to (14.4). The

which once again requires that in (14.1). Completeness can even be defined in terms of backward reachable sets by defining a backward-time counterpart to .

At this point, there appear to be close parallels between forward, backward, and bidirectional searches from Chapter 2. The same possibilities exist in sampling-based planning under differential constraints. The forward and backward reachable sets indicate the possible states that can be reached under such schemes. The algorithms explore subsets of these reachable sets.

Steven M LaValle 2012-04-20