Loading...
Searching...
No Matches
HybridTimeStateSpace.cpp
1/*********************************************************************
2 * Software License Agreement (BSD License)
3 *
4 * Copyright (c) 2025, University of Santa Cruz Hybrid Systems Laboratory
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 the University of Santa Cruz nor the names of
18 * its 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/* Author: Beverly Xu */
36
37#include "ompl/base/spaces/HybridTimeStateSpace.h"
38#include "ompl/util/Exception.h"
39#include <limits>
40
55
56void ompl::base::HybridTimeStateSampler::sampleUniformNear(State *state, const State *near, const double distance)
57{
58 state->as<HybridTimeStateSpace::StateType>()->position =
59 rng_.uniformReal(near->as<HybridTimeStateSpace::StateType>()->position - distance,
60 near->as<HybridTimeStateSpace::StateType>()->position + distance);
61 space_->enforceBounds(state);
62}
63
64void ompl::base::HybridTimeStateSampler::sampleGaussian(State *state, const State *mean, const double stdDev)
65{
66 state->as<HybridTimeStateSpace::StateType>()->position =
67 rng_.gaussian(mean->as<HybridTimeStateSpace::StateType>()->position, stdDev);
68 space_->enforceBounds(state);
69}
70
71void ompl::base::HybridTimeStateSpace::interpolate(const State *from, const State *to, double t, State *state) const
72{
73 (void)from, (void)to, (void)t, (void)state;
74}
75
77{
78 return 2;
79}
80
81void ompl::base::HybridTimeStateSpace::setTimeBounds(double minTime, double maxTime)
82{
83 if (minTime > maxTime)
84 throw Exception("The maximum position in time cannot be before the minimum position in time");
85
86 minTime_ = minTime;
87 maxTime_ = maxTime;
88 timeBounded_ = true;
89}
90
91void ompl::base::HybridTimeStateSpace::setJumpBounds(unsigned int minJumps, unsigned int maxJumps)
92{
93 if (minJumps > maxJumps)
94 throw Exception("The maximum jumps cannot be before the minimum jumps");
95
96 minJumps_ = minJumps;
97 maxJumps_ = maxJumps;
98 jumpsBounded_ = true;
99}
100
105
110
112{
113 if (timeBounded_)
114 {
115 if (state->as<StateType>()->position > maxTime_)
116 state->as<StateType>()->position = maxTime_;
117 else if (state->as<StateType>()->position < minTime_)
118 state->as<StateType>()->position = minTime_;
119 }
120 if (jumpsBounded_)
121 {
122 if (state->as<StateType>()->jumps > maxJumps_)
123 state->as<StateType>()->jumps = maxJumps_;
124 else if (state->as<StateType>()->jumps < minJumps_)
125 state->as<StateType>()->jumps = minJumps_;
126 }
127}
128
130{
131 return (!timeBounded_ || (state->as<StateType>()->position >= minTime_ - std::numeric_limits<double>::epsilon() &&
132 state->as<StateType>()->position <= maxTime_ + std::numeric_limits<double>::epsilon())) &&
133 (!jumpsBounded_ || (state->as<StateType>()->jumps >= minJumps_ - std::numeric_limits<double>::epsilon() &&
134 state->as<StateType>()->jumps <= maxJumps_ + std::numeric_limits<double>::epsilon()));
135}
136
137void ompl::base::HybridTimeStateSpace::copyState(State *destination, const State *source) const
138{
139 destination->as<StateType>()->position = source->as<StateType>()->position;
140 destination->as<StateType>()->jumps = source->as<StateType>()->jumps;
141}
142
144{
145 return sizeof(double);
146}
147
148void ompl::base::HybridTimeStateSpace::serialize(void *serialization, const State *state) const
149{
150 memcpy(serialization, &state->as<StateType>()->position, sizeof(double));
151}
152
153void ompl::base::HybridTimeStateSpace::deserialize(State *state, const void *serialization) const
154{
155 memcpy(&state->as<StateType>()->position, serialization, sizeof(double));
156}
157
158double ompl::base::HybridTimeStateSpace::distance(const State *state1, const State *state2) const
159{
160 return fabs(state1->as<StateType>()->position - state2->as<StateType>()->position);
161}
162
163bool ompl::base::HybridTimeStateSpace::equalStates(const State *state1, const State *state2) const
164{
165 return fabs(state1->as<StateType>()->position - state2->as<StateType>()->position) <
166 std::numeric_limits<double>::epsilon() * 2.0;
167}
168
170{
171 return std::make_shared<HybridTimeStateSampler>(this);
172}
173
178
180{
181 delete static_cast<StateType *>(state);
182}
183
184double *ompl::base::HybridTimeStateSpace::getValueAddressAtIndex(State *state, const unsigned int index) const
185{
186 if (index == 0)
187 return &(state->as<StateType>()->position);
188 else if (index == 1)
189 {
190 return std::make_shared<double>(state->as<StateType>()->jumps).get();
191 }
192 return nullptr;
193}
194
195void ompl::base::HybridTimeStateSpace::printState(const State *state, std::ostream &out) const
196{
197 out << "TimeState [";
198 if (state != nullptr)
199 out << state->as<StateType>()->position << ", " << state->as<StateType>()->jumps;
200 else
201 out << "nullptr";
202 out << ']' << std::endl;
203}
204
206{
207 out << "Time state space '" << getName() << "'" << std::endl;
208}
The exception type for ompl.
Definition Exception.h:47
void sampleUniform(State *state) override
Sample a state.
void sampleGaussian(State *state, const State *mean, double stdDev) override
Sample a state using a Gaussian distribution with given mean and standard deviation (stdDev).
void sampleUniformNear(State *state, const State *near, double distance) override
Sample a state near another, within a neighborhood controlled by a distance parameter.
A state space representing time. The time can be unbounded, in which case enforceBounds() is a no-op,...
void interpolate(const State *from, const State *to, double t, State *state) const override
Computes the state that lies at time t in [0, 1] on the segment that connects from state to to state....
bool satisfiesBounds(const State *state) const override
Check if a state is inside the bounding box. For unbounded spaces this function can always return tru...
bool jumpsBounded_
Flag indicating whether the state space is considering bounds or not.
void setJumpBounds(unsigned int minJumps, unsigned int maxJumps)
Set the minimum and maximum jump bounds. This will make the state space switch into bounded time mode...
double * getValueAddressAtIndex(State *state, unsigned int index) const override
Many states contain a number of double values. This function provides a means to get the memory addre...
void freeState(State *state) const override
Free the memory of the allocated state.
double getMinTimeBound() const
Get the minimum allowed value of position in a state. The function returns 0 if time is not bounded.
double getMinJumpsBound() const
Get the minimum allowed value of jumps in a state. The function returns 0 if jumps is not bounded.
double getMaxJumpBound() const
Get the maximum allowed value of jumps in a state. The function returns 0 if jumps is not bounded.
void printState(const State *state, std::ostream &out) const override
Print a state to a stream.
double maxTime_
The maximum point in time considered by the state space (if bounds are used).
State * allocState() const override
Allocate a state that can store a point in the described space.
double getMeasure() const override
Get a measure of the space (this can be thought of as a generalization of volume).
unsigned int maxJumps_
The maximum point in time considered by the state space (if bounds are used).
double getMaxTimeBound() const
Get the maximum allowed value of position in a state. The function returns 0 if time is not bounded.
void setTimeBounds(double minTime, double maxTime)
Set the minimum and maximum time bounds. This will make the state space switch into bounded time mode...
unsigned int getSerializationLength() const override
Get the number of chars in the serialization of a state in this space.
StateSamplerPtr allocDefaultStateSampler() const override
Allocate an instance of the default uniform state sampler for this space.
double minTime_
The minimum point in time considered by the state space (if bounds are used).
bool timeBounded_
Flag indicating whether the state space is considering bounds or not.
void deserialize(State *state, const void *serialization) const override
Read the binary representation of a state from serialization and write it to state.
void enforceBounds(State *state) const override
Bring the state within the bounds of the state space. For unbounded spaces this function can be a no-...
bool equalStates(const State *state1, const State *state2) const override
Checks whether two states are equal.
unsigned int minJumps_
The minimum point in time considered by the state space (if bounds are used).
bool isTimeBounded() const
Check if the time is bounded or not.
double distance(const State *state1, const State *state2) const override
Computes distance between two states. This function satisfies the properties of a metric if isMetricS...
double getMaximumExtent() const override
Get the maximum value a call to distance() can return (or an upper bound). For unbounded state spaces...
unsigned int getDimension() const override
Get the dimension of the space (not the dimension of the surrounding ambient space).
void serialize(void *serialization, const State *state) const override
Write the binary representation of state to serialization.
void printSettings(std::ostream &out) const override
Print the settings for this state space to a stream.
void copyState(State *destination, const State *source) const override
Copy a state to another. The memory of source and destination should NOT overlap.
RNG rng_
An instance of a random number generator.
const StateSpace * space_
The state space this sampler samples.
const std::string & getName() const
Get the name of the state space.
Definition of an abstract state.
Definition State.h:50
const T * as() const
Cast this instance to a desired type.
Definition State.h:66