Look before you sweep: Visibility-aware motion planning

01/18/2019 ∙ by Gustavo Goretkin, et al. ∙ MIT 0

This paper addresses the problem of planning for a robot with a directional obstacle-detection sensor that must move through a cluttered environment. The planning objective is to remain safe by finding a path for the complete robot, including sensor, that guarantees that the robot will not move into any part of the workspace before it has been seen by the sensor. Although a great deal of work has addressed a version of this problem in which the "field of view" of the sensor is a sphere around the robot, there is very little work addressing robots with a narrow or occluded field of view. We give a formal definition of the problem, several solution methods with different computational trade-offs, and experimental results in illustrative domains.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

Consider a mobile-manipulation robot that must move through a crowded environment. If the location of all obstacles in the environment is known, then the problem it faces is a familiar motion-planning problem. But if the environment can contain unknown obstacles, then the robot must incorporate sensing into its plan in order to guarantee that it will not collide with anything. In one extreme version of this problem, the environment is entirely unknown, and would best be treated with a combination of map-building and exploration. We will focus on a different regime, that arises in the case of a household robot: the primary obstacles in the domain (e.g. walls, refrigerators) are known but there are other temporary obstacles (e.g., toys, trash cans, lightweight chairs). In this case, it is worthwhile to plan a path to a target configuration, but the path must take visibility into account, making sure that it never moves into a region of space that it has not already observed. Should the robot encounter an unexpected object, it could then make a new plan taking it into account, or move it out of the way.

When we speak of visibility, we mean any robot-mounted ability to gather information about the locations of obstacles in its neighborhood. It could be based on vision, lidar, or even the ability to reach out slowly with a hand and sense contact or lack thereof. If a robot has visibility of a sphere around it in workspace, and it is quasi-static, then the problem of safe movement is simple: the robot must just move in small enough steps that it never exits the sphere it saw from its previous configuration. A great deal of work has addressed exploration problems in this visibility model. However, many robots have less encompassing sensing. Figure 1 illustrates several different sensor configurations for a simple planar robot. Case (a) reflects the most common assumption about sensing: that is, that the robot can perceive a ball of some radius in the workspace (although this is often described as perceiving a ball in configuration space, which is not necessarily sensible); case (b) shows a wide field of view as might occur with some steerable sensors; case (c) shows a narrow view as might occur in some vision sensors; case (d) occurs for many humanoid robots with a camera mounted on the head: although they can see a view cone in front of them, it is occluded by the body and so there is a region of space immediately in front of the robot that cannot be seen; and case (e) illustrates a situation in which, for example, a humanoid is carrying a large box in front of it, so its field of view is split into two narrow cones. Our approach handles a general mapping from robot configurations to “viewed” regions of workspace, encompassing these examples, and even more complex ones, including cameras mounted on the arms of a mobile manipulator.

Figure 1: Some possible sensed volumes with respect to robot configuration.
(a)
(b)
(c)
(d)
Figure 6: In the HallwayEasy domain, a robot with narrow () field of view must steer carefully around a corner.
(a)
(b)
(c)
(d)
Figure 11: In the HallwayHard domain, a robot with a wide field of view, must enter the hallway camera-first, back out, re-orient, and back in.

For a large robot with a limited view that is navigating in a cluttered environment, the problems of moving to the goal and of observing to guarantee safety are generally inextricably linked. Figure 6 shows a plan for a robot with a narrow view cone to enter a hallway. The goal is depicted in the dashed outline. The yellow shading indicates the region of workspace that has been seen by the plan. Note that the robot has to rotate back and forth as it moves, and swing wide around the corner, in order to guarantee safety; this path was obtained with the Vamp_Backchain method, described in section 4.4. Figure 11 shows a robot with a wider field of view that must enter a narrow hallway backwards. Because it cannot turn around inside the hallway, it must first look down the hallway then back out and turn around. Finally, figure (a)a shows a particularly difficult environment, in which the robot must enter one hallway to look through a narrow opening to gain visibility of a different hallway before entering it.

The contributions of this paper are twofold. First, we clearly frame the problem of planning a path that is safe, in the sense that it never moves through previously unobserved space, for a general visibility function that maps robot configurations to regions of workspace that are observed. We call this problem class vamp, for visibility-aware motion planning. Second, we supply several algorithms that are complete for this problem, which occupy different points in the trade-off space between path length and planning time. In particular, we present in section 4.4 an algorithm that is well-suited to solving vamp problems. The other algorithms we present either provide conceptual clarity to the belief-space nature of the vamp problem, or serve as useful subprocedures for the algorithm in section 4.4.

The problem is quite computationally complex, because the state of the planning problem includes what space has already been observed, and so the solutions include paths that a traditional motion-planner would never generate, because the solution paths revisit the same robot configuration with different visibility states. Although the examples presented here are for a robot with 3D configuration space in a 2D workspace, there is nothing in the formulation or algorithms that restricts their applicability to this case. Our algorithms are provably always correct (will not generate an illegal plan); they are complete for holonomic robots, as well as for non-holonomic robots that can always reverse a path they have traveled, without increasing the total swept volume.

2 Related work

There is a body of work, related to ours, that addresses the problem of robot motion planning in the presence of uncertainty about the environment. This work varies considerably in its objectives and assumptions about the problem. We will lay out the space of approaches and situate our work within it.

Problem variations:

There are many possible objectives for the robot’s motion. Coverage problems generally assume a known map of obstacles but require planning a path that will observe all parts of the reachable space, for example, to inspect a structure [1, 2, 3]. Exploration problems generally assume no prior knowledge of the obstacles and desire that the robot eventually observe all parts of the space, possibly while building a map of the obstacles [4, 5, 6, 7, 8, 9, 10]. Navigation problems seek to reach a specified goal region in an incompletely known environment [11, 12, 13].

An additional source of variation is the notion of safety: one might wish to guarantee safety (non-collision with any obstacle) absolutely, e.g. [3, 8]

, or with high probability with respect to a distribution over obstacles, e.g. 

[14, 13] and with respect to obstacles that may move, e.g. [15].

Formulations vary in their assumptions about observations. Sometimes no observations are assumed during path execution, as in coverage problems [1]. In other cases, an observation is made from some or all states of the robot during execution; the observation depends on the underlying true world map as well as on the robot’s state and may be an arbitrary function of those inputs. Typically, observations are assumed to be in the plane and take the form of either a fixed cone or a circle centered on the robot’s location, although more general 3D observations have been considered [7]. In addition, the robot is typically assumed to be small relative to the obstacles and the environment uncrowded, so that the robot can be approximated as a point. These simplifying assumptions blur the distinction between workspace and configuration space and limit the application of these algorithms to more general settings, such as those arising in mobile manipulation.

Robot motion is typically assumed to be planar. However, during mobile manipulation, all the degrees of freedom of the robot may affect observations, e.g. the arms may partially block the sensor; this setting motivates our work although our experiments are in lower dimensions. Previous work has considered a variety of motion models: kinematic, whether holonomic or non-holonomic 

[9], or kino-dynamic [11, 16], and with deterministic or noisy actuation [10, 12]. Robot dynamics introduce additional difficulty because the robot is not able to stop instantly when an obstacle is detected; instead, it must ensure that it never enters an inevitable collision state(ics[11, 9] with respect to its current known free space and a motion model of possible obstacles.

It is worth highlighting a harder case of the coverage problem, known as visibility-based pursuit-evasion [17, pursuit_evasion_optimal2017]. A solution to this problem is a path, which the pursuer follows, that guarantees that any evaders will be detected. Solution paths to this problem necessarily cover the whole space, In general the paths must revisit the same robot configuration with different information states.

Solution strategies:

When there is no map uncertainty, as in coverage problems, then the solution is a (minimum-length) path that covers all parts of the space with its sensors.

Problems with map uncertainty, as in our case, can all be cast as some version of a partially observed Markov decision process (

pomdp). For our version of the problem, the state space would be the cross product of the robot’s configuration space with the space of all possible arrangements of free/occupied space defined by the unknown obstacles, the actions would be finite linear motions in configuration space, and the observations would be determined by the visibility function of the sensor. The objective would be to minimize path length, but with the hard constraint of not moving into non-viewed areas (making this not a standard pomdp). Seeing the problem this way is often clarifying but it does not immediately lead to a solution strategy, since the optimal solution of pomdps is highly computationally intractable even in discrete state and action spaces.

Practical approximation strategies for pomdps almost all rely on some form of receding-horizon control [8]. The system makes a plan for a sub-problem under some assumptions, and begins executing it, gathering further information about the map as it goes. When it receives an observation that invalidates its plan (e.g. an object in its path) or reaches its subgoal, the system makes a new plan based on the current robot configuration and map state.

When the objective is exploration, a typical strategy is some form of frontier-based or next-best view planning method [4, 7, 9]. On each replanning iteration, a subgoal configuration is selected (a) that is reachable within known free space from the robot’s current configuration and (b) from which some previously-unobserved parts of the workspace can be viewed.

When the objective is navigation, a typical replanning strategy is to be optimistic, planning a path to the goal that makes some assumptions about the true map and replanning if that assumption is invalidated. Our contribution addresses the planning component of this approach.

Our work:

We address a version of the problem in which we assume that the robot knows a map in advance. This map is assumed to be accurate in the sense that the obstacles it contains are definitely present in the world.

We assume that the robot has some form of obstacle sensor, but make no assumptions about it except that, for any configuration of the robot, it can observe some (possibly disjoint) subset of the workspace and that this visibility function is known in advance. We assume that observation and control are deterministic and the robot always knows its configuration. The algorithms in this paper assume a robot that can reverse a path without sweeping through additional workspace: this is true of holonomic robots, but also round differential-drive robots, for example.

The planner we present in section 4.4 would be used in a “trust but verify” replanning framework, in which we assume, optimistically, for the purposes of planning, that the obstacles in our current map are, in fact, the only obstacles. This assumption makes it worthwhile to try to plan a complete path to the goal. However, because we are not certain that these are the only obstacles and because we wish to guarantee the robot’s safety, we will seek a visibility-aware path to the goal, in which the robot never moves into space that has not been verified to be free during some previous part of its path (we formalize this criterion more carefully in section 3). The robot could then execute this path until it observes an obstacle that invalidates the path. At that point, it would insert that obstacle into its map and re-plan. The focus of this paper is on methods for planning optimistic visibility-aware trajectories.

We provide several planning algorithms that take a sampled feasible-motion graph as input (e.g. a PRM, or state lattice). They are guaranteed to be correct and complete on the given graph, and may be resolution-complete or probabilistically complete depending on the strategy used to augment the samples in the graph in case of failure. We do not yet make a claim about the completeness of the entire receding-horizon control policy.

3 Definitions

We will focus on problems in which the robot is holonomic or reversible, so the state of the robot can be modeled only in terms of its configuration. We will use to denote the powerset of set (the set of all possible subsets.)

A vamp problem instance is a tuple where: or is the workspace; is the configuration space of the robot; is a visibility function, mapping robot configurations into (possibly disconnected) subsets of workspace that are visible from that configuration, conditioned on the known obstacles; is a swept volume function, mapping robot configurations into subsets of workspace occupied by the robot in that configuration; is the subset of workspace that is known to contain obstacles; is the initial robot configuration; is a function from configurations to Booleans indicating whether the configuration satisfies the goal criteria; and is a region of workspace that has already been viewed and confirmed free (by default, it will be equal to , but for some robots it will need to be more, in order to allow any initial movement.) We are assuming that motion is continuous-time (so all configurations along a path must be previously viewed) but that perception is discrete-time (so new views are only gained at the end of each primitive trajectory).

We will define some additional useful quantities, in terms of the basic elements of a vamp problem instance. We extend the definition of swept volume to a path segment, so is the region swept by moving from to via a primitive trajectory (such as straight line in -space). We further extend the definitions of and to paths: and .

An edge between configurations and is optimistically traversible if its swept volume does not intersect a workspace obstacle; the set of optimistic edges, then is . A path is feasible for the problem if and only if every edge is optimistically traversible and only moves through parts of the workspace that have been previously viewed: and , for all . We refer to this second condition as the visibility constraint.

4 Planning algorithms

We present several algorithmic approaches to the vamp problem, beginning with a computationally inefficient method that produces very high quality plans, and then exploring alternative strategies that are more computationally tractable.

In all these algorithms, we assume a given finite graph where is a set of configurations and all edges are collision-free with respect to , so . This graph may be, for example, a fixed-resolution grid or a probabilistic road-map [18]. Any of our vamp algorithms can be augmented by an outer loop that increases the resolution or sampling density of the graph.

4.1 Belief-space search

The most conceptually straightforward approach to this problem is to perform a tree-search in belief space. Roy et al. [19, 16] have pioneered techniques of this type in uncertain robot motion planning problems. The basic idea is that a state of the whole system consists of a robot configuration and a current belief state, with the robot configurations drawn from the set . In this problem, the belief state is the region of the workspace that has been observed by the robot to be collision-free.

initial state
goal test
legal actions in state
state transition function
heuristic
return
Algorithm 1 Vamp_Bel)

Procedure Vamp_Bel provides an implementation of the belief-space search via a call to . The procedure is given, as input, the graph , visibility function , initial configuration , goal test , and initial visible workspace . The set of legal actions that can be taken from state is the set of outgoing edges from configuration that have the property that their swept volume is contained in the previously-viewed region of the workspace . The transition function moves along the edge to a new configuration and augments with the region of configuration space visible from the new configuration. In order to drive the search toward a goal state, we define a heuristic which is based on a visibility-unaware path obtained by solving the underlying motion-planning problem to the goal. The size of the swept volume of that path that has not yet been viewed is used as a measure of the difficulty of the remaining problem; is a constant that makes the units match. Note that, in this search, it is possible for an optimal path to visit the same configuration more than once (with different visibility states ). Nonetheless, the search space is finite given finite , because only finitely many possible visibility states can be reached (at most one for each set of configurations in ).

Algorithm Vamp_Bel is correct and complete with respect to configuration space graph . It is correct, because if it returns a path, that path is a feasible path to a goal state. The function only allows the robot to move through space that has already been made visible along the path, so the steps are all feasible, and ensures that the final configuration satisfies the goal test. It is complete, because the search space is finite, no feasible actions are ever disallowed, and is complete.

This algorithm is computationally very complex even on modest graphs because the search must consider distinct paths that reach a given robot configuration. The search can be pruned by using a domination criterion: state dominates if , which means that if the search visits a state that is dominated by a state that has already been expanded, it can discard the dominated state. In our experiments, this condition did not occur frequently enough to be useful; different paths will see slightly different regions. On the other hand, in the setting of Bry and Roy [16], the belief space is lower dimensional (covariance matrices of the dynamical state space) and so domination happens much more frequently and makes the search tractable.

We implemented this algorithm with a very computationally cheap domination criterion that eliminates paths that revisit configurations without having visited any new configurations since the last visit (this eliminates looping paths, among others). For HallwayEasy, figure 6, the heuristic is very effective at guiding the search—a solution is found in under after expanding 500 search nodes. However, on HallwayHard, figure 11, no solution was found after expanding 440K nodes, with 2 million nodes on the queue, with a computation time of over .

4.2 Local-visibility searches

At the opposite end of the spectrum of approaches to the vamp problem are methods that perform search directly in configuration space, as opposed to the problem’s natural state space, which must include information about regions of observed space. These local approaches are not complete in general, but may be complete for some robots; they will prove useful as a subroutine in later algorithms. Vamp_Step_Vis is defined in algorithm 2. The basic version of the method has the same arguments as Vamp_Bel, but it may also be used in relaxed mode, which is signaled by parameter , and makes use of an additional argument , which is a workspace region considered to be out of bounds. In any mode, it may optionally be given a heuristic function.

initial state
if relaxed then legal actions and cost
     
     
else
     
     
state transition function
return
Algorithm 2 Vamp_Step_Vis

When it is not relaxed, it allows traversal of any edge whose swept volume is entirely contained in the union of the initial visibility space and the region of workspace visible from , . For some combinations of robot kinematics and visibility, this algorithm will be complete. For example, a robot with a wide field of view will always be able to see the space it is about to move into. However, this method does not suffice for robots that can move into space that is not immediately visible to them. Relaxed mode is used only to compute intermediate subgoals, but never for executable paths; in it, the robot is allowed to move into areas of the workspace that have not yet been seen, but these motions incur an extra cost. It is not, however, allowed to collide with the out-of-bounds region under any circumstance, a feature used in the Tourist algorithm of section 4.4. Ideally, the relaxed planner would solve a minimum-constraint removal problem [20], keeping track of regions that have ever been violated, and not double-counting the regions that experience repeat violations. This is a very computationally difficult sub-problem, so we simply penalize total distance traversed through unviewed regions.

An very useful extension of Vamp_Step_Vis is the algorithm Vamp_Path_Vis. It is, fundamentally, a search in the space of configurations, as in Vamp_Step_Vis, and so for example the tests for whether a node has been visited inside are made on the configuration alone. However, as in Vamp_Bel, we “decorate” each node that is added to the tree with the visibility computed along the path to that node. However, whatever visibility we have the first time we expand a configuration is the visibility that will be permanently associated with it. This method can solve more problem instances than Vamp_Step_Vis, and is always correct, but it is incomplete (because it might commit to a path to some configuration that is not the best in terms of visibility, and it cannot contemplate paths that must revisit the same configuration). We will use it extensively as a subroutine in our final algorithm in section 4.4

(a)
(b)
(c)
(d)
Figure 16: (a) The TwoHallway domain with some hand-generated subgoals. (b) Level-sets and heat-map of field used to compute heuristic for Tourist algorithm. (c, d) Two levels of Vavp.

4.3 Tree-visibility tour

One observation is that, under the vamp assumptions, visibility is monotonic: that is, as the robot moves through the world, after any discrete path step and observation, . In addition, it is order-independent: where perm is any permutation of the sequence of configurations. These observations lead us to an algorithm that is complete and much more efficient at finding solution paths for vamp problems than belief-space search, although we will find that it will generally be unsuitable in practice.

Rather than associating a new visibility region with each state in the search, we will maintain a single, global and carry out a search directly in . The search can only traverse an edge if its swept volume is contained in the workspace that has been viewed during the entire search process up until that time. Once this process reaches a goal state, the tree, in the order it was constructed, is used to construct a solution path. Pseudo-code is shown in 3.

while agenda is not empty do
     
     if  then continue      
     if  then
          add conf to path
          add edge to tree
         if  then break          
          add new visibility
          add outgoing edges to agenda
     else
          save edge for reconsideration      
if not  then return Failed
for  do
      link configurations using previously-enabled edges
     
     
return p
Algorithm 3 Vamp_Tree

It proceeds in two phases. First, it constructs a search tree, where the extension from a point in the tree is made only within the region that has been visible from any configuration previously visited in the search. Second, it constructs a path that visits all of the configurations, in the order in which they were added to the tree, and returns that path. The tree search is slightly unusual, because which edges in the graph can be traversed depends globally on all search nodes in the tree. For this reason, we perform a queue-based search, keeping an agenda of edges, rather than nodes. If an edge is selected for expansion, but is not yet traversible, it is added back to the end of the agenda for reconsideration after some more of the tree has been grown. When a goal state has been reached, we extract a path from the tree. This path will visit the configurations in the same order that they were visited by the search, but they must be connected together via paths in the tree that existed at the point in the search when the configuration was visited.

Vamp_Tree is correct and complete with respect to the configuration-space graph for any robot such that for all . It is correct because, if it returns a path, it is a feasible path to a goal state. The set of edges added to on iteration of the path-construction phase have the property that either or is in , which, by construction of the tree and the reversibility assumption in the theorem statement, means that . This, in turn, implies that the path is feasible. The last configuration in visited clearly satisfies the goal test, and it is also the last configuration in the returned path .

To show that it is complete, we must show that if a feasible path to a goal state exists in , the search will find it (or another feasible path). Assume where is a feasible path and assume, for the sake of contradiction, that the first while loop cannot add all of the configurations to visited. Then there must be a point in that loop when are in visited for some but the algorithm cannot reach . We know by the assumption that this is a feasible path, so and , which means must be in . We also know that will be in agenda, because is in visited so it was added, but is not in visited, so that edge has not been removed from the agenda. But if is in the agenda and is in , then can be added to visited, and so we reach a contradiction. Thus, we have shown that after the while loop, has been reached, and so the algorithm continues to the second phase. The only possible failure mode of the second phase is if shortest_undirected_path fails; but, by construction, both and are in , as are paths from to each of them. Thus we know that there is, at worst, a path going from up to and back down to , by the reversibility assumption. So this loop will terminate and a path will be returned.

4.4 Visibility preimage backchaining

Our final approach to this problem is to perform a much more goal-driven search to observe parts of the workspace that will make desired paths feasible. This algorithm is motivated by the observation that goals can be decomposed into subgoals. Figure (a)a shows a goal configuration marked . To make this configuration visible, the robot must stand at and . Finally, to make visible, the robot must stand at . It is interesting to note that Vamp_Path_Vis can plan efficiently to visit these subgoals in order, if they are provided. With this motivation in mind, we describe a general algorithm that has several special cases of interest, described in section 5.

We make use of the Tourist algorithm, whose goal is to see some part of a given previously-unobserved region of workspace. It uses a local-visibility algorithm to find a path, but where the goal test for a configuration is that it is possible to observe some previously unobserved part of the workspace from there. A critical aspect to making this search effective is to use a heuristic that drives progress toward the objective of observing part of a region of interest, . We begin by computing a scalar field, , in workspace, of the shortest distance from location to a point in . Then, the heuristic is , which assigns 0 heuristic value to a configuration that can see part of (because it will be able to see a workspace point with ) and increasingly higher heuristic values to configurations that can only see points that are ”far” in the sense of from . Computing is relatively inexpensive, and it effectively models the fact that visibility does not go through walls. This heuristic is illustrated in figure (b)b: the black nodes are the workspace target region . The figure illustrates the level sets of .

where is distance field
return Vamp_Path_Vis()
Algorithm 4 Tourist)

Now we can describe the Vamp_Backchain algorithm, with pseudo-code shown in algorithm 5. The main loop of the algorithm is in lines 1118. It keeps track of , the solution path it is constructing, , the region of workspace that has been viewed by , and , the configuration at the end of . On every iteration, it checks to see whether a goal state is reachable from with the current visibility . If so, it appends the path that does so to and returns a final solution. If that test fails, then it generates a path that is guaranteed to increase (if the problem is feasible), ideally in a way that makes it easier to reach a goal configuration. In line 15, we find a relaxed plan that reaches a goal state, preferring to stay inside , but allowing excursions if necessary. Now, our objective is to find a path that will observe some previously-unobserved part of the swept volume of , by calling procedure Vavp. If that call fails, then we fall back on an undirected exploration strategy, to view any part of the unviewed workspace. Once we have found a view path, we update , and based on , test to see if we can now find a path to the goal, etc.

1:procedure Vavp()
2:     
3:     if  then return      
4:     
5:     
6:     if  then
7:         
8:         if  then return               
9:     return Failed
10:
11:
12:while True do
13:     
14:     if  then return      
15:     
16:     
17:     if  then      
18:     if  then return Failed      
19:     
Algorithm 5 Vamp_Backchain

The vavp sub-procedure takes a configuration , region of interest , previously viewed volume and out-of-bounds area and returns a path that will view some part of without colliding with , or, in a recursive call, view an unviewed part of the swept volume of a path that will view some part of without colliding with either or the new target region, etc. If it cannot find any such recursively useful view path, it fails. For visual simplicity we are omitting arguments from calls to Tourist and Vamp_Path_Vis.

Figure 16 illustrates the operation of Vamp_Backchain in the TwoHallway domain. It is given a goal to see the region at the end of the vertical hallway (red points in figure (c)c). The hallway is keyed, and the robot can only see the region through the peephole. Vavp generates a relaxed plan (gray) to see these points. This relaxed path is in violation, and requires regions be made visible (blue points in figure (d)d) before it can be executed. Vavp recurses one level, with the blue region as the goal, and both marked ”out of bounds”, and generates the gray path in figure (d)d. This path satisfies the full constraints, and it is returned by Vavp. Note that the returned path does not satisfy the original goal, but achieves visibility to enable solving the original goal in a later call to Vavp.

Two difficult examples that motivate the structure of the Vamp_Backchain algorithm are illustrated in figure 19.

In figure (a)a, the robot must move to the dashed outline on the right. It cannot do so with step-wise visibility (line 13), so it makes a relaxed plan (line 15) to slide horizontally to the goal. However, none of the swept volume of that relaxed plan can be viewed (line 2) under normal visibility constraints, nor can we even generate a relaxed plan to view it (line 5), so Vavp fails. We fall back on simply generating a path that views some part of the un-viewed workspace (line 17) which yields the path shown by the unfilled robot outlines. The ultimate solution to the problem is indicated by the robot outlines.

In figure (b)b, we see an example illustrating the potential need for arbitrary recursive nesting. In this case, the inner walls are transparent (so the robot can see through them, but it cannot move through them.) The solution requires moving forward into the bottom-most hallway to clear it, then moving into it again sideways to look through the windows, thus clearing the hallway above it, and so on.

(a)
(b)
Figure 19: Difficult examples for the Vamp_Backchain algorithm.

The algorithm Vamp_Backchain is correct and complete with respect to the configuration-space graph for any robot such that for all . If the algorithm returns an answer, it is a feasible path to a goal state. The path is feasible because it is a concatenation of paths made by non-relaxed calls to Vamp_Path_Vis (either directly or via calls to Tourist), and those paths are feasible by construction. The final call to Vamp_Path_Vis guarantees that the final configuration satisfies .

To show that it is complete, we begin with some lemmas.

Lemma 1. The vavp procedure is guaranteed to terminate, and either return a path that will visit a configuration that has not been reached before or fail.

Lemma 2. If there is a feasible path and the call in line 13 and line 15 fails, and the call to vavp fails, then the call to Tourist in line 17 is guaranteed to return a path that will visit a configuration that has not been visited before.

By Lemmas 1 and 2, on every iteration of the main while loop, either the call to Vamp_Path_Vis succeeds and finds and returns a solution path, or, a sequence of configurations will be added to the path that causes some not-yet-viewed space to be seen.

The while loop terminates. If a path does not exist, then eventually all the space that can be seen will have been seen and the call on line 17 will fail and the algorithm will terminate with failure. If a solution path does exist, then because repeated calls on line 17 will eventually visit all configurations that can be reached on feasible paths, and therefore see all the space that can be seen, then there is a point at which all of will be in and so a call to Vamp_Path_Vis on line 13 will return with a solution.

5 Experiments

In our experiments, we consider a planar robot ( ) operating in a 2D workspace. For all of the experiments, we discretize the robot motions and search on a 6-connected lattice (, ). The depth of view of the visible region is . All swept volume and containment computations were performed by sampling points along the boundary of the robot.

We ran two versions of Vamp_Backchain. VB corresponds to the algorithm as presented in 4.4, with the difference that all sub-calls to the planners are relaxed versions. We never call the un-relaxed planner, however we still verify the feasibility of paths before incorporating them into the final path. This choice has the benefit of accelerating the search procedure, since we do not have to wait for Tourist to return failure in situations where the search is incomplete. In practice, the relaxed planners often return a feasible path if one exists, but occasionally they produce a violating path, which means subsequent searches may do unnecessary work to provide visibility in the violated region.

VB corresponds to Vamp_Backchain, but with a recursion depth limit. In this variation, in the first call to Vavp, lines 4-5 are skipped. In recursive calls, lines 4 is executed and its result is returned. Furthermore, instead of waiting for this call to Tourist to fail we set a timeout, to trigger the subsequent call to Tourist.

We run experiments on many instances of vamp problems. Instances vary in obstacle, start and goal states, and field of view of the vision sensor.

There are three combinations of obstacle layout and start/goal states, each exhibiting increasing problem difficulty: HallwayEasy depicted in figure 6, HallwayHard depicted in figure 11, and TwoHallway depicted in figure (a)a, which contains a “keyed” vertical hallway, which can only be entered backwards.

For each experiment, we report search time, path length, and total number of nodes expanded in any subroutine searches.

fov= fov= fov=
VB1 VB VB1 VB VB1 VB
Search time (s) HallwayEasy 5.1 16.4 1.2 1.2 1.0 2.2
HallwayHard 23.4 315.3 9.4 13.9 2.4 3.5
TwoHallway 2868.3 281.3 638.5 220.9 1952.1 134.8
Path length (m) HallwayEasy 12.3 13.3 8.4 8.4 8.4 8.4
HallwayHard 14.3 16.9 12.5 12.5 11.4 11.4
TwoHallway 63.9 43.4 47.6 43.2 40.6 34.3
Closed nodes HallwayEasy 2578 9241 377 377 137 137
HallwayHard 7667 40428 3436 4469 604 604
TwoHallway 139484 64145 76083 62586 92184 44188

TwoHallway is designed to demonstrate the recursion capabilities of
Vamp_Backchain, so VB noticeably outperforms VB on it. Because VB does not perform backchaining more than once, it relies on line 17 of Vamp_Backchain. In practice, for problems exhibiting the nested dependency as in TwoHallway, VB generates paths that view the whole space because the search cannot be guided through nested dependencies.

Situations in which VB performs worse are due to sub-optimal relaxed paths, which incur violations that could be avoided.

We also collected search times and tree size for the TreeVis algorithm. For TwoHallway, it expands  62,000 nodes and searches for 60 seconds. Note that this does not include any time for generating a path. The naïve path would include every edge in the tree, visiting every node in search order, which would never be a practical path. Note additionally that TreeVis is not a directed search, and so in domains where the workspace is large, it is unlikely that TreeVis will be practical.

6 Discussion

vamp instances are challenging when the domain requires plans that achieve visibility in order to perform a motion in the future. We present two small instances, HallwayHard and TwoHallway that have this property. Solving the problem directly in the belief space is computationally intractable. We, instead, direct the search by relying on calls to constraint-relaxed plans. The setting we consider in this paper is fully deterministic, and in future work we are interested in handing uncertainty on the pose of “known” objects, and uncertainty on the pose of the robot due to odometry and localization errors.

7 Post-processing to minimize views

Each of the algorithms returns a path of consecutive configurations such that, if the robot were to take and process an image at every configuration, the path would be safe. However, when imaging requires the robot to be stationary or the processing is slow, it is desirable to minimize the number of images required while still guaranteeing safety. To select which configurations actually require an image to be acquired and processed, we simply run a greedy set-cover algorithm, and then annotate the configurations in the path to indicate whether the robot should take an image there.

Many mobile-manipulation robots have heads that pan and tilt. If the head is such that moving it substantially changes the robot configuration from a collision-avoidance perspective (e.g., it can periscope up and down) then it may be necessary to include the degrees of freedom of the head in the robot’s configuration, , and apply the algorithms in this paper directly. However, when moving the head makes a relatively small change in the swept volume of the robot, planning for the head can be decoupled from planning for the rest of the robot. We do this in two phases. First, we run one of the vamp algorithms of this paper in the configuration space of the robot, but without including the head’s degrees of freedom. We use a visibility function that includes the union all possible views that can be obtained by moving the head, given the rest of the configuration . When a path is returned, we post-process by selecting not just what robot configurations require an image but also which orientation(s) the head should have when taking the images. We accomplish this by partitioning the viewable region of space into a finite set and associate a head configuration with each element. Then, when we do the greedy set-cover algorithm, we run it over the product of the body configurations in the path and the possible head configurations.

Acknowledgements

We gratefully acknowledge support from NSF grants 1523767 and 1723381; from AFOSR grant FA9550-17-1-0165; from ONR grant N00014-18-1-2847; from Honda Research; and from Draper Laboratory. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of our sponsors.

References

  • [1] E. Galceran and M. Carreras. A survey on coverage path planning for robotics. Robotics and Autonomous Systems, 61(12), 2013.
  • [2] B. Davis, I. Karamouzas, and S. J. Guy. C-OPT: Coverage-aware trajectory optimization under uncertainty. RA Letters, 1(2), 2016.
  • [3] B. Englot and F. Hover. Sampling-based coverage path planning for inspection of complex structures. In ICAPS, 2012.
  • [4] B. Yamauchi. A frontier-based approach for autonomous exploration. In CIRA, 1997.
  • [5] L. Heng, A. Gotovos, A. Krause, and M. Pollefeys. Efficient visual exploration and coverage with a micro aerial vehicle in unknown environments. In ICRA, 2015.
  • [6] G. Oriolo, M. Vendittelli, L. Freda, and G. Troso. The SRT method: Randomized strategies for exploration. In ICRA, 2004.
  • [7] C. Dornhege and A. Kleiner. A frontier-void-based approach for autonomous exploration in 3d. Advanced Robotics, 27(6):459–468, 2013.
  • [8] A. Bircher, M. Kamel, K. Alexis, H. Oleynikova, and R. Siegwart. Receding horizon” next-best-view” planner for 3d exploration. In ICRA, 2016.
  • [9] K. E Bekris and L. Kavraki. Greedy but safe replanning under kinodynamic constraints. In ICRA, 2007.
  • [10] M. Lauri and R. Ritala. Planning for robotic exploration based on forward simulation. Robotics and Autonomous Systems, 83, 2016.
  • [11] Lucas Janson, Tommy Hu, and Marco Pavone. Safe motion planning in unknown environments: Optimality benchmarks and tractable policies. In RSS, 2018.
  • [12] I Arvanitakis, A. Tzes, and K. Giannousakis. Synergistic exploration and navigation of mobile robots under pose uncertainty in unknown environments. Int. J. of Advanced Robotic Systems, 15(1), 2018.
  • [13] C. Richter, W. Vega-Brown, and N. Roy. Bayesian learning for safe high-speed navigation in unknown environments. In ISRR, 2015.
  • [14] B. Axelrod, L. Kaelbling, and T. Lozano-Pérez. Provably safe robot navigation with obstacle uncertainty. IJRR, 2018.
  • [15] S. Bouraine, T. Fraichard, and H. Salhi. Provably safe navigation for mobile robots with limited field-of-views in dynamic environments. Autonomous Robots, 32(3), 2012.
  • [16] A. Bry and N. Roy. Rapidly-exploring random belief trees for motion planning under uncertainty. In ICRA, 2011.
  • [17] B. P. Gerkey, S. Thrun, and G. Gordon. Visibility-based pursuit-evasion with limited field of view. The International Journal of Robotics Research, 25(4):299–315, 2006.
  • [18] L. E. Kavraki, P. Svestka, J.-C. Latombe, and M. H. Overmars. Probabilistic roadmaps for path planning in high-dimensional configuration spaces. T. on Robotics and Automation, 12(4), 1996.
  • [19] S. Prentice and N. Roy. The belief roadmap: Efficient planning in belief space by factoring the covariance. IJRR, 28(11-12), 2009.
  • [20] K. Hauser. The minimum constraint removal problem with three robotics applications. IJRR, 33(1), 2014.