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_CONTROL_PLANNERS_SST_SST_
38#define OMPL_CONTROL_PLANNERS_SST_SST_
39
40#include "ompl/control/planners/PlannerIncludes.h"
41#include "ompl/datastructures/NearestNeighbors.h"
42
43namespace ompl
44{
45 namespace control
46 {
59 class SST : public base::Planner
60 {
61 public:
63 SST(const 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
105 void setSelectionRadius(double selectionRadius)
106 {
107 selectionRadius_ = selectionRadius;
108 }
109
111 double getSelectionRadius() const
112 {
113 return selectionRadius_;
114 }
115
126 void setPruningRadius(double pruningRadius)
127 {
128 pruningRadius_ = pruningRadius;
129 }
130
132 double getPruningRadius() const
133 {
134 return pruningRadius_;
135 }
136
138 template <template <typename T> class NN>
140 {
141 if (nn_ && nn_->size() != 0)
142 OMPL_WARN("Calling setNearestNeighbors will clear all states.");
143 clear();
144 nn_ = std::make_shared<NN<Motion *>>();
145 witnesses_ = std::make_shared<NN<Motion *>>();
146 setup();
147 }
148
149 protected:
154 class Motion
155 {
156 public:
157 Motion() = default;
158
160 Motion(const SpaceInformation *si) : state_(si->allocState()), control_(si->allocControl())
161 {
162 }
163
164 virtual ~Motion() = default;
165
166 virtual base::State *getState() const
167 {
168 return state_;
169 }
170 virtual Motion *getParent() const
171 {
172 return parent_;
173 }
174
175 base::Cost accCost_{0};
176
179
181 Control *control_{nullptr};
182
184 unsigned int steps_{0};
185
187 Motion *parent_{nullptr};
188
190 unsigned numChildren_{0};
191
193 bool inactive_{false};
194 };
195
196 class Witness : public Motion
197 {
198 public:
199 Witness() = default;
200
201 Witness(const SpaceInformation *si) : Motion(si)
202 {
203 }
204 base::State *getState() const override
205 {
206 return rep_->state_;
207 }
208 Motion *getParent() const override
209 {
210 return rep_->parent_;
211 }
212
213 void linkRep(Motion *lRep)
214 {
215 rep_ = lRep;
216 }
217
219 Motion *rep_{nullptr};
220 };
221
223 Motion *selectNode(Motion *sample);
224
226 Witness *findClosestWitness(Motion *node);
227
229 void freeMemory();
230
232 double distanceFunction(const Motion *a, const Motion *b) const
233 {
234 return si_->distance(a->state_, b->state_);
235 }
236
238 base::StateSamplerPtr sampler_;
239
242
245
247 std::shared_ptr<NearestNeighbors<Motion *>> nn_;
248
250 std::shared_ptr<NearestNeighbors<Motion *>> witnesses_;
251
254 double goalBias_{0.05};
255
257 double selectionRadius_{0.2};
258
260 double pruningRadius_{0.1};
261
264
266 std::vector<base::State *> prevSolution_;
267 std::vector<Control *> prevSolutionControls_;
268 std::vector<unsigned> prevSolutionSteps_;
269
272
274 base::OptimizationObjectivePtr opt_;
275 };
276 } // namespace control
277} // namespace ompl
278
279#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
A shared pointer wrapper for ompl::base::SpaceInformation.
Definition of an abstract state.
Definition State.h:50
A shared pointer wrapper for ompl::control::ControlSampler.
Definition of an abstract control.
Definition Control.h:48
Representation of a motion.
Definition SST.h:155
base::State * state_
The state contained by the motion.
Definition SST.h:178
unsigned numChildren_
Number of children.
Definition SST.h:190
Motion(const SpaceInformation *si)
Constructor that allocates memory for the state and the control.
Definition SST.h:160
Control * control_
The control contained by the motion.
Definition SST.h:181
unsigned int steps_
The number of steps_ the control is applied for.
Definition SST.h:184
Motion * parent_
The parent motion in the exploration tree.
Definition SST.h:187
bool inactive_
If inactive, this node is not considered for selection.
Definition SST.h:193
Motion * rep_
The node in the tree that is within the pruning radius.
Definition SST.h:219
ControlSamplerPtr controlSampler_
Control sampler.
Definition SST.h:241
void setGoalBias(double goalBias)
Definition SST.h:86
RNG rng_
The random number generator.
Definition SST.h:263
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:410
void setSelectionRadius(double selectionRadius)
Set the radius for selecting nodes relative to random sample.
Definition SST.h:105
base::StateSamplerPtr sampler_
State sampler.
Definition SST.h:238
SST(const SpaceInformationPtr &si)
Constructor.
Definition SST.cpp:46
double getGoalBias() const
Get the goal bias the planner is using.
Definition SST.h:92
void freeMemory()
Free the memory allocated by this planner.
Definition SST.cpp:115
void setup() override
Perform extra configuration steps, if needed. This call will also issue a call to ompl::base::SpaceIn...
Definition SST.cpp:68
double selectionRadius_
The radius for determining the node selected for extension.
Definition SST.h:257
double pruningRadius_
The radius for determining the size of the pruning region.
Definition SST.h:260
base::PlannerStatus solve(const base::PlannerTerminationCondition &ptc) override
Continue solving for some amount of time. Return true if solution was found.
Definition SST.cpp:207
base::Cost prevSolutionCost_
The best solution cost we found so far.
Definition SST.h:271
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:254
const SpaceInformation * siC_
The base::SpaceInformation cast as control::SpaceInformation, for convenience.
Definition SST.h:244
double distanceFunction(const Motion *a, const Motion *b) const
Compute distance between motions (actually distance between contained states).
Definition SST.h:232
Motion * selectNode(Motion *sample)
Finds the best node in the tree withing the selection radius around a random sample.
Definition SST.cpp:154
double getSelectionRadius() const
Get the selection radius the planner is using.
Definition SST.h:111
std::shared_ptr< NearestNeighbors< Motion * > > nn_
A nearest-neighbors datastructure containing the tree of motions.
Definition SST.h:247
base::OptimizationObjectivePtr opt_
The optimization objective.
Definition SST.h:274
std::shared_ptr< NearestNeighbors< Motion * > > witnesses_
A nearest-neighbors datastructure containing the tree of witness motions.
Definition SST.h:250
double getPruningRadius() const
Get the pruning radius the planner is using.
Definition SST.h:132
void setNearestNeighbors()
Set a different nearest neighbors datastructure.
Definition SST.h:139
void setPruningRadius(double pruningRadius)
Set the radius for pruning nodes.
Definition SST.h:126
std::vector< base::State * > prevSolution_
The best solution we found so far.
Definition SST.h:266
void clear() override
Clear datastructures. Call this function if the input data to the planner has changed and you do not ...
Definition SST.cpp:101
Witness * findClosestWitness(Motion *node)
Find the closest witness node to a newly generated potential node.
Definition SST.cpp:183
Space information containing necessary information for planning with controls. setup() needs to be ca...
#define OMPL_WARN(fmt,...)
Log a formatted warning string.
Definition Console.h:66
This namespace contains sampling based planning routines used by planning under differential constrai...
Definition Control.h:45
Main namespace. Contains everything in this library.
A class to store the exit status of Planner::solve().