Loading...
Searching...
No Matches
HybridTimeStateSpace.h
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#ifndef OMPL_BASE_SPACES_HYBRID_TIME_STATE_SPACE_
38#define OMPL_BASE_SPACES_HYBRID_TIME_STATE_SPACE_
39
40#include "ompl/base/StateSpace.h"
41
42namespace ompl
43{
44 namespace base
45 {
47 class HybridTimeStateSampler : public StateSampler
48 {
49 public:
51 HybridTimeStateSampler(const StateSpace *space) : StateSampler(space)
52 {
53 }
54
55 void sampleUniform(State *state) override;
56 void sampleUniformNear(State *state, const State *near, double distance) override;
57 void sampleGaussian(State *state, const State *mean, double stdDev) override;
58 };
59
69 class HybridTimeStateSpace : public StateSpace
70 {
71 public:
73 class StateType : public State
74 {
75 public:
77 double position;
78
80 unsigned int jumps;
81 };
82
83 HybridTimeStateSpace()
84 {
85 setName("Hybrid Time" + getName());
86 type_ = STATE_SPACE_TIME; // TODO: add STATE_SPACE_HYBRID_TIME to ompl::base::StateSpaceType
87 }
88
89 ~HybridTimeStateSpace() override = default;
90
91 unsigned int getDimension() const override;
92
93 double getMaximumExtent() const override;
94
95 double getMeasure() const override;
96
103 void setTimeBounds(double minTime, double maxTime);
104
111 void setJumpBounds(unsigned int minJumps, unsigned int maxJumps);
112
115 double getMinTimeBound() const
116 {
117 return minTime_;
118 }
119
122 double getMaxTimeBound() const
123 {
124 return maxTime_;
125 }
126
129 double getMinJumpsBound() const
130 {
131 return minJumps_;
132 }
133
136 double getMaxJumpBound() const
137 {
138 return maxJumps_;
139 }
140
142 bool isTimeBounded() const
143 {
144 return timeBounded_;
145 }
146
148 bool areJumpsBounded() const
149 {
150 return jumpsBounded_;
151 }
152
153 void enforceBounds(State *state) const override;
154
155 bool satisfiesBounds(const State *state) const override;
156
157 void copyState(State *destination, const State *source) const override;
158
159 unsigned int getSerializationLength() const override;
160
161 void serialize(void *serialization, const State *state) const override;
162
163 void deserialize(State *state, const void *serialization) const override;
164
165 double distance(const State *state1, const State *state2) const override;
166
167 bool equalStates(const State *state1, const State *state2) const override;
168
169 void interpolate(const State *from, const State *to, double t, State *state) const override;
170
172
173 State *allocState() const override;
174
175 void freeState(State *state) const override;
176
177 double *getValueAddressAtIndex(State *state, unsigned int index) const override;
178
179 void printState(const State *state, std::ostream &out) const override;
180
181 void printSettings(std::ostream &out) const override;
182
183 // void registerProjections() override;
184
185 protected:
187 bool timeBounded_{false};
188
190 double minTime_{0.0};
191
193 double maxTime_{0.0};
194
196 bool jumpsBounded_{false};
197
199 unsigned int minJumps_{0};
200
202 unsigned int maxJumps_{0};
203 };
204 } // namespace base
205} // namespace ompl
206
207#endif
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.
HybridTimeStateSampler(const StateSpace *space)
Constructor.
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.
bool areJumpsBounded() 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.
A shared pointer wrapper for ompl::base::StateSampler.
Representation of a space in which planning can be performed. Topology specific sampling,...
Definition StateSpace.h:71
int type_
A type assigned for this state space.
Definition StateSpace.h:531
void setName(const std::string &name)
Set the name of the state space.
const std::string & getName() const
Get the name of the state space.
Definition of an abstract state.
Definition State.h:50
This namespace contains sampling based planning routines shared by both planning under geometric cons...
@ STATE_SPACE_TIME
ompl::base::TimeStateSpace
Main namespace. Contains everything in this library.