effector_spline_rotation.h
Go to the documentation of this file.
1 
19 #ifndef _CLASS_EFFECTOR_SPLINE_ROTATION
20 #define _CLASS_EFFECTOR_SPLINE_ROTATION
21 
22 #include <Eigen/Geometry>
23 
24 #include "spline/curve_abc.h"
25 #include "spline/helpers/effector_spline.h"
26 
27 namespace spline {
28 namespace helpers {
29 
30 typedef Eigen::Matrix<Numeric, 4, 1> quat_t;
31 typedef Eigen::Ref<quat_t> quat_ref_t;
32 typedef const Eigen::Ref<const quat_t> quat_ref_const_t;
33 typedef Eigen::Matrix<Numeric, 7, 1> config_t;
34 typedef curve_abc<Time, Numeric, 4, false, quat_t> curve_abc_quat_t;
35 typedef std::pair<Numeric, quat_t> waypoint_quat_t;
36 typedef std::vector<waypoint_quat_t> t_waypoint_quat_t;
37 typedef Eigen::Matrix<Numeric, 1, 1> point_one_dim_t;
38 typedef spline_deriv_constraint<Numeric, Numeric, 1, false, point_one_dim_t>
40 typedef std::pair<Numeric, point_one_dim_t> waypoint_one_dim_t;
41 typedef std::vector<waypoint_one_dim_t> t_waypoint_one_dim_t;
42 
44  public:
45  rotation_spline(quat_ref_const_t quat_from = quat_t(0, 0, 0, 1),
46  quat_ref_const_t quat_to = quat_t(0, 0, 0, 1),
47  const double min = 0., const double max = 1.)
48  : curve_abc_quat_t(),
49  quat_from_(quat_from.data()),
50  quat_to_(quat_to.data()),
51  min_(min),
52  max_(max),
54 
56 
57  /* Copy Constructors / operator=*/
59  quat_from_ = from.quat_from_;
60  quat_to_ = from.quat_to_;
61  min_ = from.min_;
62  max_ = from.max_;
64  }
65  /* Copy Constructors / operator=*/
66 
67  quat_t operator()(const Numeric t) const {
68  if (t <= min()) return quat_from_.coeffs();
69  if (t >= max()) return quat_to_.coeffs();
70  // normalize u
71  Numeric u = (t - min()) / (max() - min());
72  // reparametrize u
73  return quat_from_.slerp(time_reparam_(u)[0], quat_to_).coeffs();
74  }
75 
76  virtual quat_t derivate(time_t /*t*/, std::size_t /*order*/) const {
77  throw std::runtime_error(
78  "TODO quaternion spline does not implement derivate");
79  }
80 
82  // initializing time reparametrization for spline
83  t_waypoint_one_dim_t waypoints;
84  waypoints.push_back(std::make_pair(0, point_one_dim_t::Zero()));
85  waypoints.push_back(std::make_pair(1, point_one_dim_t::Ones()));
86  return spline_deriv_constraint_one_dim(waypoints.begin(), waypoints.end());
87  }
88 
89  virtual time_t min() const { return min_; }
90  virtual time_t max() const { return max_; }
91 
92  public:
93  Eigen::Quaterniond quat_from_; // const
94  Eigen::Quaterniond quat_to_; // const
95  double min_; // const
96  double max_; // const
98 };
99 
100 typedef exact_cubic<Time, Numeric, 4, false, quat_t,
101  std::vector<quat_t, Eigen::aligned_allocator<quat_t> >,
104 
113  /* Constructors - destructors */
114  public:
133  template <typename In>
134  effector_spline_rotation(In wayPointsBegin, In wayPointsEnd,
135  quat_ref_const_t& to_quat = quat_t(0, 0, 0, 1),
136  quat_ref_const_t& land_quat = quat_t(0, 0, 0, 1),
137  const Point& lift_normal = Eigen::Vector3d::UnitZ(),
138  const Point& land_normal = Eigen::Vector3d::UnitZ(),
139  const Numeric lift_offset = 0.02,
140  const Numeric land_offset = 0.02,
141  const Time lift_offset_duration = 0.02,
142  const Time land_offset_duration = 0.02)
143  : spline_(effector_spline(wayPointsBegin, wayPointsEnd, lift_normal,
144  land_normal, lift_offset, land_offset,
145  lift_offset_duration, land_offset_duration)),
146  to_quat_(to_quat.data()),
147  land_quat_(land_quat.data()),
148  time_lift_offset_(spline_->min() + lift_offset_duration),
149  time_land_offset_(spline_->max() - land_offset_duration),
150  quat_spline_(simple_quat_spline()) {
151  // NOTHING
152  }
153 
176  template <typename In, typename InQuat>
177  effector_spline_rotation(In wayPointsBegin, In wayPointsEnd,
178  InQuat quatWayPointsBegin, InQuat quatWayPointsEnd,
179  const Point& lift_normal = Eigen::Vector3d::UnitZ(),
180  const Point& land_normal = Eigen::Vector3d::UnitZ(),
181  const Numeric lift_offset = 0.02,
182  const Numeric land_offset = 0.02,
183  const Time lift_offset_duration = 0.02,
184  const Time land_offset_duration = 0.02)
185  : spline_(effector_spline(wayPointsBegin, wayPointsEnd, lift_normal,
186  land_normal, lift_offset, land_offset,
187  lift_offset_duration, land_offset_duration)),
188  to_quat_((quatWayPointsBegin->second).data()),
189  land_quat_(((quatWayPointsEnd - 1)->second).data()),
190  time_lift_offset_(spline_->min() + lift_offset_duration),
191  time_land_offset_(spline_->max() - land_offset_duration),
192  quat_spline_(quat_spline(quatWayPointsBegin, quatWayPointsEnd)) {
193  // NOTHING
194  }
195 
197  /* Constructors - destructors */
198 
199  /*Helpers*/
200  public:
201  Numeric min() const { return spline_->min(); }
202  Numeric max() const { return spline_->max(); }
203  /*Helpers*/
204 
205  /*Operations*/
206  public:
212  config_t operator()(const Numeric t) const {
213  config_t res;
214  res.head<3>() = (*spline_)(t);
215  res.tail<4>() = interpolate_quat(t);
216  return res;
217  }
218 
219  public:
220  quat_t interpolate_quat(const Numeric t) const {
221  if (t <= time_lift_offset_) return to_quat_.coeffs();
222  if (t >= time_land_offset_) return land_quat_.coeffs();
223  return quat_spline_(t);
224  }
225 
226  private:
227  exact_cubic_quat_t simple_quat_spline() const {
228  std::vector<rotation_spline> splines;
229  splines.push_back(rotation_spline(to_quat_.coeffs(), land_quat_.coeffs(),
231  return exact_cubic_quat_t(splines);
232  }
233 
234  template <typename InQuat>
235  exact_cubic_quat_t quat_spline(InQuat quatWayPointsBegin,
236  InQuat quatWayPointsEnd) const {
237  if (std::distance(quatWayPointsBegin, quatWayPointsEnd) < 1)
238  return simple_quat_spline();
240  InQuat it(quatWayPointsBegin);
241  Time init = time_lift_offset_;
242  Eigen::Quaterniond current_quat = to_quat_;
243  for (; it != quatWayPointsEnd; ++it) {
244  splines.push_back(
245  rotation_spline(current_quat.coeffs(), it->second, init, it->first));
246  current_quat = it->second;
247  init = it->first;
248  }
249  splines.push_back(rotation_spline(
250  current_quat.coeffs(), land_quat_.coeffs(), init, time_land_offset_));
251  return exact_cubic_quat_t(splines);
252  }
253 
254  /*Operations*/
255 
256  /*Attributes*/
257  public:
259  const Eigen::Quaterniond to_quat_;
260  const Eigen::Quaterniond land_quat_;
261  const double time_lift_offset_;
262  const double time_land_offset_;
264  /*Attributes*/
265 };
266 
267 } // namespace helpers
268 } // namespace spline
269 #endif //_CLASS_EFFECTOR_SPLINE_ROTATION
Represents a trajectory for and end effector uses the method effector_spline to create a spline traje...
Definition: effector_spline_rotation.h:112
const double time_lift_offset_
Definition: effector_spline_rotation.h:261
const double time_land_offset_
Definition: effector_spline_rotation.h:262
const exact_cubic_quat_t quat_spline_
Definition: effector_spline_rotation.h:263
Numeric min() const
Definition: effector_spline_rotation.h:201
~effector_spline_rotation()
Definition: effector_spline_rotation.h:196
Numeric max() const
Definition: effector_spline_rotation.h:202
const exact_cubic_t * spline_
Definition: effector_spline_rotation.h:258
effector_spline_rotation(In wayPointsBegin, In wayPointsEnd, InQuat quatWayPointsBegin, InQuat quatWayPointsEnd, const Point &lift_normal=Eigen::Vector3d::UnitZ(), const Point &land_normal=Eigen::Vector3d::UnitZ(), const Numeric lift_offset=0.02, const Numeric land_offset=0.02, const Time lift_offset_duration=0.02, const Time land_offset_duration=0.02)
Constructor. Given a set of waypoints, and the normal vector of the start and ending positions,...
Definition: effector_spline_rotation.h:177
const Eigen::Quaterniond land_quat_
Definition: effector_spline_rotation.h:260
quat_t interpolate_quat(const Numeric t) const
Definition: effector_spline_rotation.h:220
const Eigen::Quaterniond to_quat_
Definition: effector_spline_rotation.h:259
config_t operator()(const Numeric t) const
Evaluation of the effector position and rotation at time t.
Definition: effector_spline_rotation.h:212
effector_spline_rotation(In wayPointsBegin, In wayPointsEnd, quat_ref_const_t &to_quat=quat_t(0, 0, 0, 1), quat_ref_const_t &land_quat=quat_t(0, 0, 0, 1), const Point &lift_normal=Eigen::Vector3d::UnitZ(), const Point &land_normal=Eigen::Vector3d::UnitZ(), const Numeric lift_offset=0.02, const Numeric land_offset=0.02, const Time lift_offset_duration=0.02, const Time land_offset_duration=0.02)
Constructor. Given a set of waypoints, and the normal vector of the start and ending positions,...
Definition: effector_spline_rotation.h:134
Definition: effector_spline_rotation.h:43
Eigen::Quaterniond quat_to_
Definition: effector_spline_rotation.h:94
quat_t operator()(const Numeric t) const
Definition: effector_spline_rotation.h:67
rotation_spline & operator=(const rotation_spline &from)
Definition: effector_spline_rotation.h:58
double max_
Definition: effector_spline_rotation.h:96
~rotation_spline()
Definition: effector_spline_rotation.h:55
virtual time_t min() const
Definition: effector_spline_rotation.h:89
rotation_spline(quat_ref_const_t quat_from=quat_t(0, 0, 0, 1), quat_ref_const_t quat_to=quat_t(0, 0, 0, 1), const double min=0., const double max=1.)
Definition: effector_spline_rotation.h:45
virtual time_t max() const
Definition: effector_spline_rotation.h:90
spline_deriv_constraint_one_dim time_reparam_
Definition: effector_spline_rotation.h:97
virtual quat_t derivate(time_t, std::size_t) const
Definition: effector_spline_rotation.h:76
double min_
Definition: effector_spline_rotation.h:95
spline_deriv_constraint_one_dim computeWayPoints() const
Definition: effector_spline_rotation.h:81
Eigen::Quaterniond quat_from_
Definition: effector_spline_rotation.h:93
Eigen::Matrix< Numeric, 4, 1 > quat_t
Definition: effector_spline_rotation.h:30
exact_cubic< Time, Numeric, 4, false, quat_t, std::vector< quat_t, Eigen::aligned_allocator< quat_t > >, rotation_spline > exact_cubic_quat_t
Definition: effector_spline_rotation.h:103
const Eigen::Ref< const quat_t > quat_ref_const_t
Definition: effector_spline_rotation.h:32
spline_deriv_constraint< Numeric, Numeric, 1, false, point_one_dim_t > spline_deriv_constraint_one_dim
Definition: effector_spline_rotation.h:39
curve_abc< Time, Numeric, 4, false, quat_t > curve_abc_quat_t
Definition: effector_spline_rotation.h:34
double Time
Definition: effector_spline.h:27
Eigen::Ref< quat_t > quat_ref_t
Definition: effector_spline_rotation.h:31
std::vector< waypoint_one_dim_t > t_waypoint_one_dim_t
Definition: effector_spline_rotation.h:41
spline_deriv_constraint_t::t_spline_t t_spline_t
Definition: effector_spline.h:36
exact_cubic_t * effector_spline(In wayPointsBegin, In wayPointsEnd, const Point &lift_normal=Eigen::Vector3d::UnitZ(), const Point &land_normal=Eigen::Vector3d::UnitZ(), const Numeric lift_offset=0.02, const Numeric land_offset=0.02, const Time lift_offset_duration=0.02, const Time land_offset_duration=0.02)
Helper method to create a spline typically used to guide the 3d trajectory of a robot end effector....
Definition: effector_spline.h:97
std::pair< Numeric, point_one_dim_t > waypoint_one_dim_t
Definition: effector_spline_rotation.h:40
Eigen::Matrix< Numeric, 3, 1 > Point
Definition: effector_spline.h:28
double Numeric
Definition: effector_spline.h:26
Eigen::Matrix< Numeric, 1, 1 > point_one_dim_t
Definition: effector_spline_rotation.h:37
std::vector< waypoint_quat_t > t_waypoint_quat_t
Definition: effector_spline_rotation.h:36
std::pair< Numeric, quat_t > waypoint_quat_t
Definition: effector_spline_rotation.h:35
Eigen::Matrix< Numeric, 7, 1 > config_t
Definition: effector_spline_rotation.h:33
spline_deriv_constraint_t::exact_cubic_t exact_cubic_t
Definition: effector_spline.h:35
Definition: bernstein.h:20