blob: 04a1add3b2888e5139d71473eb3f2e95dfa8936b [file] [log] [blame]
Austin Schuh941b46d2018-12-19 18:06:05 +11001#include "frc971/control_loops/drivetrain/distance_spline.h"
2
Philipp Schrader790cb542023-07-05 21:06:52 -07003#include "glog/logging.h"
4
Austin Schuha6e7b212019-01-20 13:53:01 -08005#include "aos/logging/logging.h"
Austin Schuh941b46d2018-12-19 18:06:05 +11006#include "frc971/control_loops/drivetrain/spline.h"
7
8namespace frc971 {
9namespace control_loops {
10namespace drivetrain {
11
James Kuszmaul75a18c52021-03-10 22:02:07 -080012::std::vector<float> DistanceSpline::BuildDistances(size_t num_alpha) {
Austin Schuhf7c65202022-11-04 21:28:20 -070013 num_alpha = num_alpha == 0 ? 100 * splines().size() : num_alpha;
James Kuszmaul75a18c52021-03-10 22:02:07 -080014 ::std::vector<float> distances;
Austin Schuh280996e2019-01-19 17:43:37 -080015 distances.push_back(0.0);
Austin Schuh941b46d2018-12-19 18:06:05 +110016
Austin Schuhf7c65202022-11-04 21:28:20 -070017 if (splines().size() > 1) {
Austin Schuha6e7b212019-01-20 13:53:01 -080018 // We've got a multispline to follow!
Ethan Wing20da69a2021-10-13 20:37:36 -070019 // Confirm that the ends line up to the correct number of derivatives.
Austin Schuhf7c65202022-11-04 21:28:20 -070020 for (size_t i = 1; i < splines().size(); ++i) {
21 const Spline &spline0 = splines()[i - 1];
22 const Spline &spline1 = splines()[i];
Austin Schuha6e7b212019-01-20 13:53:01 -080023
24 const ::Eigen::Matrix<double, 2, 1> end0 = spline0.Point(1.0);
25 const ::Eigen::Matrix<double, 2, 1> start1 = spline1.Point(0.0);
26
27 if (!end0.isApprox(start1, 1e-6)) {
Austin Schuhf257f3c2019-10-27 21:00:43 -070028 AOS_LOG(ERROR,
29 "Splines %d and %d don't line up. [%f, %f] != [%f, %f]\n",
30 static_cast<int>(i - 1), static_cast<int>(i), end0(0, 0),
31 end0(1, 0), start1(0, 0), start1(1, 0));
Austin Schuha6e7b212019-01-20 13:53:01 -080032 }
33
34 const ::Eigen::Matrix<double, 2, 1> dend0 = spline0.DPoint(1.0);
35 const ::Eigen::Matrix<double, 2, 1> dstart1 = spline1.DPoint(0.0);
36
37 if (!dend0.isApprox(dstart1, 1e-6)) {
Austin Schuhf257f3c2019-10-27 21:00:43 -070038 AOS_LOG(
39 ERROR,
Ethan Wing20da69a2021-10-13 20:37:36 -070040 "Splines %d and %d don't line up in the first derivative. [%f, "
Austin Schuha6e7b212019-01-20 13:53:01 -080041 "%f] != [%f, %f]\n",
42 static_cast<int>(i - 1), static_cast<int>(i), dend0(0, 0),
43 dend0(1, 0), dstart1(0, 0), dstart1(1, 0));
44 }
45
46 const ::Eigen::Matrix<double, 2, 1> ddend0 = spline0.DDPoint(1.0);
47 const ::Eigen::Matrix<double, 2, 1> ddstart1 = spline1.DDPoint(0.0);
48
49 if (!ddend0.isApprox(ddstart1, 1e-6)) {
Austin Schuhf257f3c2019-10-27 21:00:43 -070050 AOS_LOG(
51 ERROR,
Austin Schuh7a105de2023-04-09 20:04:53 -070052 "Splines %d and %d don't line up in the second derivative. [%.7f, "
53 "%.7f] != [%.7f, %.7f]\n",
Austin Schuha6e7b212019-01-20 13:53:01 -080054 static_cast<int>(i - 1), static_cast<int>(i), ddend0(0, 0),
55 ddend0(1, 0), ddstart1(0, 0), ddstart1(1, 0));
56 }
57 }
58 }
59
Philipp Schrader790cb542023-07-05 21:06:52 -070060 const double dalpha = static_cast<double>(splines().size()) /
61 static_cast<double>(num_alpha - 1);
Austin Schuh941b46d2018-12-19 18:06:05 +110062 double last_alpha = 0.0;
Austin Schuh280996e2019-01-19 17:43:37 -080063 for (size_t i = 1; i < num_alpha; ++i) {
Austin Schuh941b46d2018-12-19 18:06:05 +110064 const double alpha = dalpha * i;
Austin Schuh280996e2019-01-19 17:43:37 -080065 distances.push_back(distances.back() +
66 GaussianQuadrature5(
67 [this](double alpha) {
68 const size_t spline_index = ::std::min(
69 static_cast<size_t>(::std::floor(alpha)),
Austin Schuhf7c65202022-11-04 21:28:20 -070070 splines().size() - 1);
71 return this->splines()[spline_index]
Austin Schuh280996e2019-01-19 17:43:37 -080072 .DPoint(alpha - spline_index)
73 .norm();
74 },
75 last_alpha, alpha));
Austin Schuh941b46d2018-12-19 18:06:05 +110076 last_alpha = alpha;
77 }
Austin Schuh280996e2019-01-19 17:43:37 -080078 return distances;
Austin Schuh941b46d2018-12-19 18:06:05 +110079}
80
James Kuszmaul75a18c52021-03-10 22:02:07 -080081std::vector<Spline> FlatbufferToSplines(const MultiSpline *fb) {
82 CHECK_NOTNULL(fb);
83 const size_t spline_count = fb->spline_count();
84 CHECK_EQ(fb->spline_x()->size(), static_cast<size_t>(spline_count * 5 + 1));
85 CHECK_EQ(fb->spline_y()->size(), static_cast<size_t>(spline_count * 5 + 1));
86 std::vector<Spline> splines;
87 for (size_t ii = 0; ii < spline_count; ++ii) {
88 Eigen::Matrix<double, 2, 6> points;
89 for (int jj = 0; jj < 6; ++jj) {
90 points(0, jj) = fb->spline_x()->Get(ii * 5 + jj);
91 points(1, jj) = fb->spline_y()->Get(ii * 5 + jj);
92 }
93 splines.emplace_back(Spline(points));
94 }
95 return splines;
96}
97
Austin Schuhf7c65202022-11-04 21:28:20 -070098aos::SizedArray<Spline, FinishedDistanceSpline::kMaxSplines>
99SizedFlatbufferToSplines(const MultiSpline *fb) {
100 CHECK_NOTNULL(fb);
101 const size_t spline_count = fb->spline_count();
102 CHECK_EQ(fb->spline_x()->size(), static_cast<size_t>(spline_count * 5 + 1));
103 CHECK_EQ(fb->spline_y()->size(), static_cast<size_t>(spline_count * 5 + 1));
104 aos::SizedArray<Spline, FinishedDistanceSpline::kMaxSplines> splines;
105 for (size_t ii = 0; ii < spline_count; ++ii) {
106 Eigen::Matrix<double, 2, 6> points;
107 for (int jj = 0; jj < 6; ++jj) {
108 points(0, jj) = fb->spline_x()->Get(ii * 5 + jj);
109 points(1, jj) = fb->spline_y()->Get(ii * 5 + jj);
110 }
111 splines.emplace_back(Spline(points));
112 }
113 return splines;
114}
115
Austin Schuh280996e2019-01-19 17:43:37 -0800116DistanceSpline::DistanceSpline(::std::vector<Spline> &&splines, int num_alpha)
117 : splines_(::std::move(splines)), distances_(BuildDistances(num_alpha)) {}
118
119DistanceSpline::DistanceSpline(const Spline &spline, int num_alpha)
120 : splines_({spline}), distances_(BuildDistances(num_alpha)) {}
121
James Kuszmaul75a18c52021-03-10 22:02:07 -0800122DistanceSpline::DistanceSpline(const MultiSpline *fb, int num_alpha)
123 : splines_(FlatbufferToSplines(fb)),
124 distances_(BuildDistances(num_alpha)) {}
125
126// TODO(james): Directly use the flatbuffer vector for accessing distances,
127// rather than doing this redundant copy.
Austin Schuhf7c65202022-11-04 21:28:20 -0700128FinishedDistanceSpline::FinishedDistanceSpline(const fb::DistanceSpline &fb)
129 : splines_(SizedFlatbufferToSplines(fb.spline())),
130 distances_(fb.distances()->data(), fb.distances()->size()) {}
James Kuszmaul75a18c52021-03-10 22:02:07 -0800131
Austin Schuhf7c65202022-11-04 21:28:20 -0700132flatbuffers::Offset<fb::DistanceSpline> DistanceSplineBase::Serialize(
James Kuszmaul75a18c52021-03-10 22:02:07 -0800133 flatbuffers::FlatBufferBuilder *fbb,
134 flatbuffers::Offset<flatbuffers::Vector<flatbuffers::Offset<Constraint>>>
135 constraints) const {
Austin Schuhf7c65202022-11-04 21:28:20 -0700136 if (splines().empty()) {
James Kuszmaul75a18c52021-03-10 22:02:07 -0800137 return {};
138 }
Austin Schuhf7c65202022-11-04 21:28:20 -0700139 const size_t num_points = splines().size() * 5 + 1;
James Kuszmaul75a18c52021-03-10 22:02:07 -0800140 float *spline_x_vector = nullptr;
141 float *spline_y_vector = nullptr;
142 const flatbuffers::Offset<flatbuffers::Vector<float>> spline_x_offset =
143 fbb->CreateUninitializedVector(num_points, &spline_x_vector);
144 const flatbuffers::Offset<flatbuffers::Vector<float>> spline_y_offset =
145 fbb->CreateUninitializedVector(num_points, &spline_y_vector);
146 CHECK_NOTNULL(spline_x_vector);
147 CHECK_NOTNULL(spline_y_vector);
Austin Schuhf7c65202022-11-04 21:28:20 -0700148 spline_x_vector[0] = splines()[0].control_points()(0, 0);
149 spline_y_vector[0] = splines()[0].control_points()(1, 0);
150 for (size_t spline_index = 0; spline_index < splines().size();
James Kuszmaul75a18c52021-03-10 22:02:07 -0800151 ++spline_index) {
152 for (size_t point = 1; point < 6u; ++point) {
153 spline_x_vector[spline_index * 5 + point] =
Austin Schuhf7c65202022-11-04 21:28:20 -0700154 splines()[spline_index].control_points()(0, point);
James Kuszmaul75a18c52021-03-10 22:02:07 -0800155 spline_y_vector[spline_index * 5 + point] =
Austin Schuhf7c65202022-11-04 21:28:20 -0700156 splines()[spline_index].control_points()(1, point);
James Kuszmaul75a18c52021-03-10 22:02:07 -0800157 }
158 }
159 MultiSpline::Builder multi_spline_builder(*fbb);
Austin Schuhf7c65202022-11-04 21:28:20 -0700160 multi_spline_builder.add_spline_count(splines().size());
James Kuszmaul75a18c52021-03-10 22:02:07 -0800161 multi_spline_builder.add_spline_x(spline_x_offset);
162 multi_spline_builder.add_spline_y(spline_y_offset);
163 multi_spline_builder.add_constraints(constraints);
164 const flatbuffers::Offset<MultiSpline> multi_spline_offset =
165 multi_spline_builder.Finish();
166 const flatbuffers::Offset<flatbuffers::Vector<float>> distances_offset =
Austin Schuhf7c65202022-11-04 21:28:20 -0700167 fbb->CreateVector(distances().data(), distances().size());
James Kuszmaul75a18c52021-03-10 22:02:07 -0800168 fb::DistanceSpline::Builder spline_builder(*fbb);
169 spline_builder.add_spline(multi_spline_offset);
170 spline_builder.add_distances(distances_offset);
171 return spline_builder.Finish();
172}
173
Austin Schuhf7c65202022-11-04 21:28:20 -0700174::Eigen::Matrix<double, 2, 1> DistanceSplineBase::DDXY(double distance) const {
Austin Schuh280996e2019-01-19 17:43:37 -0800175 const AlphaAndIndex a = DistanceToAlpha(distance);
176 const ::Eigen::Matrix<double, 2, 1> dspline_point =
Austin Schuhf7c65202022-11-04 21:28:20 -0700177 splines()[a.index].DPoint(a.alpha);
Austin Schuh280996e2019-01-19 17:43:37 -0800178 const ::Eigen::Matrix<double, 2, 1> ddspline_point =
Austin Schuhf7c65202022-11-04 21:28:20 -0700179 splines()[a.index].DDPoint(a.alpha);
Austin Schuh941b46d2018-12-19 18:06:05 +1100180
181 const double squared_norm = dspline_point.squaredNorm();
182
183 return ddspline_point / squared_norm -
Austin Schuhd749d932020-12-30 21:38:40 -0800184 dspline_point *
185 (dspline_point(0) * ddspline_point(0) +
186 dspline_point(1) * ddspline_point(1)) /
Austin Schuh941b46d2018-12-19 18:06:05 +1100187 ::std::pow(squared_norm, 2);
188}
189
Austin Schuhf7c65202022-11-04 21:28:20 -0700190double DistanceSplineBase::DDTheta(double distance) const {
Austin Schuh280996e2019-01-19 17:43:37 -0800191 const AlphaAndIndex a = DistanceToAlpha(distance);
Austin Schuh941b46d2018-12-19 18:06:05 +1100192
193 // TODO(austin): We are re-computing DPoint here even worse
Austin Schuh280996e2019-01-19 17:43:37 -0800194 const ::Eigen::Matrix<double, 2, 1> dspline_point =
Austin Schuhf7c65202022-11-04 21:28:20 -0700195 splines()[a.index].DPoint(a.alpha);
Austin Schuh280996e2019-01-19 17:43:37 -0800196 const ::Eigen::Matrix<double, 2, 1> ddspline_point =
Austin Schuhf7c65202022-11-04 21:28:20 -0700197 splines()[a.index].DDPoint(a.alpha);
Austin Schuh941b46d2018-12-19 18:06:05 +1100198
Austin Schuhf7c65202022-11-04 21:28:20 -0700199 const double dtheta = splines()[a.index].DTheta(a.alpha);
200 const double ddtheta = splines()[a.index].DDTheta(a.alpha);
Austin Schuh941b46d2018-12-19 18:06:05 +1100201
202 const double squared_norm = dspline_point.squaredNorm();
203
Austin Schuhd749d932020-12-30 21:38:40 -0800204 return ddtheta / squared_norm - dtheta *
205 (dspline_point(0) * ddspline_point(0) +
206 dspline_point(1) * ddspline_point(1)) /
207 ::std::pow(squared_norm, 2);
Austin Schuh941b46d2018-12-19 18:06:05 +1100208}
209
Austin Schuhf7c65202022-11-04 21:28:20 -0700210DistanceSplineBase::AlphaAndIndex DistanceSplineBase::DistanceToAlpha(
Austin Schuh280996e2019-01-19 17:43:37 -0800211 double distance) const {
Austin Schuh941b46d2018-12-19 18:06:05 +1100212 if (distance <= 0.0) {
Austin Schuh280996e2019-01-19 17:43:37 -0800213 return {0, 0.0};
Austin Schuh941b46d2018-12-19 18:06:05 +1100214 }
215 if (distance >= length()) {
Austin Schuhf7c65202022-11-04 21:28:20 -0700216 return {splines().size() - 1, 1.0};
Austin Schuh941b46d2018-12-19 18:06:05 +1100217 }
218
219 // Find the distance right below our number using a binary search.
220 size_t after = ::std::distance(
Austin Schuhf7c65202022-11-04 21:28:20 -0700221 distances().begin(),
222 ::std::lower_bound(distances().begin(), distances().end(), distance));
Austin Schuh941b46d2018-12-19 18:06:05 +1100223 size_t before = after - 1;
224 const double distance_step_size =
Austin Schuhf7c65202022-11-04 21:28:20 -0700225 (splines().size() / static_cast<double>(distances().size() - 1));
Austin Schuh941b46d2018-12-19 18:06:05 +1100226
Austin Schuhf7c65202022-11-04 21:28:20 -0700227 const double alpha = (distance - distances()[before]) /
228 (distances()[after] - distances()[before]) *
Austin Schuh280996e2019-01-19 17:43:37 -0800229 distance_step_size +
230 static_cast<double>(before) * distance_step_size;
231 const size_t index = static_cast<size_t>(::std::floor(alpha));
232
233 return {index, alpha - index};
Austin Schuh941b46d2018-12-19 18:06:05 +1100234}
235
236} // namespace drivetrain
237} // namespace control_loops
238} // namespace frc971