Loading...
Searching...
No Matches
SST.h
1/*********************************************************************
2 * Software License Agreement (BSD License)
3 *
4 * Copyright (c) 2015, Rutgers the State University of New Jersey, New Brunswick
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
9 * are met:
10 *
11 * * Redistributions of source code must retain the above copyright
12 * notice, this list of conditions and the following disclaimer.
13 * * Redistributions in binary form must reproduce the above
14 * copyright notice, this list of conditions and the following
15 * disclaimer in the documentation and/or other materials provided
16 * with the distribution.
17 * * Neither the name of Rutgers University nor the names of its
18 * contributors may be used to endorse or promote products derived
19 * from this software without specific prior written permission.
20 *
21 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
22 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
23 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
24 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
25 * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
26 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
27 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
28 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
29 * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
30 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
31 * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
32 * POSSIBILITY OF SUCH DAMAGE.
33 *********************************************************************/
34
35/* Authors: Zakary Littlefield */
36
37#ifndef OMPL_GEOMETRIC_PLANNERS_SST_SST_
38#define OMPL_GEOMETRIC_PLANNERS_SST_SST_
39
40#include "ompl/geometric/planners/PlannerIncludes.h"
41#include "ompl/datastructures/NearestNeighbors.h"
42
43namespace ompl
44{
45 namespace geometric
46 {
59 class SST : public base::Planner
60 {
61 public:
63 SST(const base::SpaceInformationPtr &si);
64
65 ~SST() override;
66
67 void setup() override;
68
71
72 void getPlannerData(base::PlannerData &data) const override;
73
77 void clear() override;
78
86 void setGoalBias(double goalBias)
87 {
88 goalBias_ = goalBias;
89 }
90
92 double getGoalBias() const
93 {
94 return goalBias_;
95 }
96
102 void setRange(double distance)
103 {
104 maxDistance_ = distance;
105 }
106
108 double getRange() const
109 {
110 return maxDistance_;
111 }
112
121 void setSelectionRadius(double selectionRadius)
122 {
123 selectionRadius_ = selectionRadius;
124 }
125
127 double getSelectionRadius() const
128 {
129 return selectionRadius_;
130 }
131
142 void setPruningRadius(double pruningRadius)
143 {
144 pruningRadius_ = pruningRadius;
145 }
146
148 double getPruningRadius() const
149 {
150 return pruningRadius_;
151 }
152
154 template <template <typename T> class NN>
156 {
157 if (nn_ && nn_->size() != 0)
158 OMPL_WARN("Calling setNearestNeighbors will clear all states.");
159 clear();
160 nn_ = std::make_shared<NN<Motion *>>();
161 witnesses_ = std::make_shared<NN<Motion *>>();
162 setup();
163 }
164
165 protected:
170 class Motion
171 {
172 public:
173 Motion() = default;
174
176 Motion(const base::SpaceInformationPtr &si) : state_(si->allocState())
177 {
178 }
179
180 virtual ~Motion() = default;
181
182 virtual base::State *getState() const
183 {
184 return state_;
185 }
186 virtual Motion *getParent() const
187 {
188 return parent_;
189 }
190 base::Cost accCost_{0.};
191
194
196 Motion *parent_{nullptr};
197
199 unsigned numChildren_{0};
200
202 bool inactive_{false};
203 };
204
205 class Witness : public Motion
206 {
207 public:
208 Witness() = default;
209
210 Witness(const base::SpaceInformationPtr &si) : Motion(si)
211 {
212 }
213 base::State *getState() const override
214 {
215 return rep_->state_;
216 }
217 Motion *getParent() const override
218 {
219 return rep_->parent_;
220 }
221
222 void linkRep(Motion *lRep)
223 {
224 rep_ = lRep;
225 }
226
228 Motion *rep_{nullptr};
229 };
230
232 Motion *selectNode(Motion *sample);
233
235 Witness *findClosestWitness(Motion *node);
236
238 base::State *monteCarloProp(Motion *m);
239
241 void freeMemory();
242
244 double distanceFunction(const Motion *a, const Motion *b) const
245 {
246 return si_->distance(a->state_, b->state_);
247 }
248
250 base::StateSamplerPtr sampler_;
251
253 std::shared_ptr<NearestNeighbors<Motion *>> nn_;
254
256 std::shared_ptr<NearestNeighbors<Motion *>> witnesses_;
257
260 double goalBias_{.05};
261
263 double maxDistance_{5.};
264
267
269 double pruningRadius_{3.};
270
273
275 std::vector<base::State *> prevSolution_;
276
278 base::Cost prevSolutionCost_{std::numeric_limits<double>::quiet_NaN()};
279
281 base::OptimizationObjectivePtr opt_;
282 };
283 } // namespace geometric
284} // namespace ompl
285
286#endif
Random number generation. An instance of this class cannot be used by multiple threads at once (membe...
Definition of a cost value. Can represent the cost of a motion or the cost of a state.
Definition Cost.h:48
Object containing planner generated vertex and edge data. It is assumed that all vertices are unique,...
Encapsulate a termination condition for a motion planner. Planners will call operator() to decide whe...
Base class for a planner.
Definition Planner.h:216
SpaceInformationPtr si_
The space information for which planning is done.
Definition Planner.h:401
Definition of an abstract state.
Definition State.h:50
Representation of a motion.
Definition SST.h:171
unsigned numChildren_
Number of children.
Definition SST.h:199
base::State * state_
The state contained by the motion.
Definition SST.h:193
Motion * parent_
The parent motion in the exploration tree.
Definition SST.h:196
Motion(const base::SpaceInformationPtr &si)
Constructor that allocates memory for the state and the control.
Definition SST.h:176
bool inactive_
If inactive, this node is not considered for selection.
Definition SST.h:202
Motion * rep_
The node in the tree that is within the pruning radius.
Definition SST.h:228
double maxDistance_
The maximum length of a motion to be added to a tree.
Definition SST.h:263
base::StateSamplerPtr sampler_
State sampler.
Definition SST.h:250
double getPruningRadius() const
Get the pruning radius the planner is using.
Definition SST.h:148
base::Cost prevSolutionCost_
The best solution cost we found so far.
Definition SST.h:278
Witness * findClosestWitness(Motion *node)
Find the closest witness node to a newly generated potential node.
Definition SST.cpp:178
void setNearestNeighbors()
Set a different nearest neighbors datastructure.
Definition SST.h:155
double getSelectionRadius() const
Get the selection radius the planner is using.
Definition SST.h:127
void setPruningRadius(double pruningRadius)
Set the radius for pruning nodes.
Definition SST.h:142
void setGoalBias(double goalBias)
Definition SST.h:86
double getRange() const
Get the range the planner is using.
Definition SST.h:108
double getGoalBias() const
Get the goal bias the planner is using.
Definition SST.h:92
void setup() override
Perform extra configuration steps, if needed. This call will also issue a call to ompl::base::SpaceIn...
Definition SST.cpp:66
base::PlannerStatus solve(const base::PlannerTerminationCondition &ptc) override
Continue solving for some amount of time. Return true if solution was found.
Definition SST.cpp:219
Motion * selectNode(Motion *sample)
Finds the best node in the tree withing the selection radius around a random sample.
Definition SST.cpp:149
void clear() override
Clear datastructures. Call this function if the input data to the planner has changed and you do not ...
Definition SST.cpp:103
base::OptimizationObjectivePtr opt_
The optimization objective.
Definition SST.h:281
std::shared_ptr< NearestNeighbors< Motion * > > nn_
A nearest-neighbors datastructure containing the tree of motions.
Definition SST.h:253
void getPlannerData(base::PlannerData &data) const override
Get information about the current run of the motion planner. Repeated calls to this function will upd...
Definition SST.cpp:411
std::shared_ptr< NearestNeighbors< Motion * > > witnesses_
A nearest-neighbors datastructure containing the tree of witness motions.
Definition SST.h:256
RNG rng_
The random number generator.
Definition SST.h:272
void setSelectionRadius(double selectionRadius)
Set the radius for selecting nodes relative to random sample.
Definition SST.h:121
double selectionRadius_
The radius for determining the node selected for extension.
Definition SST.h:266
void freeMemory()
Free the memory allocated by this planner.
Definition SST.cpp:116
double goalBias_
The fraction of time the goal is picked as the state to expand towards (if such a state is available)...
Definition SST.h:260
double pruningRadius_
The radius for determining the size of the pruning region.
Definition SST.h:269
SST(const base::SpaceInformationPtr &si)
Constructor.
Definition SST.cpp:45
std::vector< base::State * > prevSolution_
The best solution we found so far.
Definition SST.h:275
double distanceFunction(const Motion *a, const Motion *b) const
Compute distance between motions (actually distance between contained states).
Definition SST.h:244
base::State * monteCarloProp(Motion *m)
Randomly propagate a new edge.
Definition SST.cpp:202
void setRange(double distance)
Set the range the planner is supposed to use.
Definition SST.h:102
#define OMPL_WARN(fmt,...)
Log a formatted warning string.
Definition Console.h:66
This namespace contains code that is specific to planning under geometric constraints.
Main namespace. Contains everything in this library.
A class to store the exit status of Planner::solve().