blob: a1f19cdd4e7894982d3a7a6dc1c2f3a5120d6fd2 [file] [log] [blame]
Austin Schuh941b46d2018-12-19 18:06:05 +11001#include "frc971/control_loops/drivetrain/distance_spline.h"
2
Austin Schuha6e7b212019-01-20 13:53:01 -08003#include "aos/logging/logging.h"
Austin Schuh941b46d2018-12-19 18:06:05 +11004#include "frc971/control_loops/drivetrain/spline.h"
James Kuszmaul75a18c52021-03-10 22:02:07 -08005#include "glog/logging.h"
Austin Schuh941b46d2018-12-19 18:06:05 +11006
7namespace frc971 {
8namespace control_loops {
9namespace drivetrain {
10
James Kuszmaul75a18c52021-03-10 22:02:07 -080011::std::vector<float> DistanceSpline::BuildDistances(size_t num_alpha) {
Austin Schuhf7c65202022-11-04 21:28:20 -070012 num_alpha = num_alpha == 0 ? 100 * splines().size() : num_alpha;
James Kuszmaul75a18c52021-03-10 22:02:07 -080013 ::std::vector<float> distances;
Austin Schuh280996e2019-01-19 17:43:37 -080014 distances.push_back(0.0);
Austin Schuh941b46d2018-12-19 18:06:05 +110015
Austin Schuhf7c65202022-11-04 21:28:20 -070016 if (splines().size() > 1) {
Austin Schuha6e7b212019-01-20 13:53:01 -080017 // We've got a multispline to follow!
Ethan Wing20da69a2021-10-13 20:37:36 -070018 // Confirm that the ends line up to the correct number of derivatives.
Austin Schuhf7c65202022-11-04 21:28:20 -070019 for (size_t i = 1; i < splines().size(); ++i) {
20 const Spline &spline0 = splines()[i - 1];
21 const Spline &spline1 = splines()[i];
Austin Schuha6e7b212019-01-20 13:53:01 -080022
23 const ::Eigen::Matrix<double, 2, 1> end0 = spline0.Point(1.0);
24 const ::Eigen::Matrix<double, 2, 1> start1 = spline1.Point(0.0);
25
26 if (!end0.isApprox(start1, 1e-6)) {
Austin Schuhf257f3c2019-10-27 21:00:43 -070027 AOS_LOG(ERROR,
28 "Splines %d and %d don't line up. [%f, %f] != [%f, %f]\n",
29 static_cast<int>(i - 1), static_cast<int>(i), end0(0, 0),
30 end0(1, 0), start1(0, 0), start1(1, 0));
Austin Schuha6e7b212019-01-20 13:53:01 -080031 }
32
33 const ::Eigen::Matrix<double, 2, 1> dend0 = spline0.DPoint(1.0);
34 const ::Eigen::Matrix<double, 2, 1> dstart1 = spline1.DPoint(0.0);
35
36 if (!dend0.isApprox(dstart1, 1e-6)) {
Austin Schuhf257f3c2019-10-27 21:00:43 -070037 AOS_LOG(
38 ERROR,
Ethan Wing20da69a2021-10-13 20:37:36 -070039 "Splines %d and %d don't line up in the first derivative. [%f, "
Austin Schuha6e7b212019-01-20 13:53:01 -080040 "%f] != [%f, %f]\n",
41 static_cast<int>(i - 1), static_cast<int>(i), dend0(0, 0),
42 dend0(1, 0), dstart1(0, 0), dstart1(1, 0));
43 }
44
45 const ::Eigen::Matrix<double, 2, 1> ddend0 = spline0.DDPoint(1.0);
46 const ::Eigen::Matrix<double, 2, 1> ddstart1 = spline1.DDPoint(0.0);
47
48 if (!ddend0.isApprox(ddstart1, 1e-6)) {
Austin Schuhf257f3c2019-10-27 21:00:43 -070049 AOS_LOG(
50 ERROR,
Ethan Wing20da69a2021-10-13 20:37:36 -070051 "Splines %d and %d don't line up in the second derivative. [%f, "
Austin Schuha6e7b212019-01-20 13:53:01 -080052 "%f] != [%f, %f]\n",
53 static_cast<int>(i - 1), static_cast<int>(i), ddend0(0, 0),
54 ddend0(1, 0), ddstart1(0, 0), ddstart1(1, 0));
55 }
56 }
57 }
58
Austin Schuh280996e2019-01-19 17:43:37 -080059 const double dalpha =
Austin Schuhf7c65202022-11-04 21:28:20 -070060 static_cast<double>(splines().size()) / static_cast<double>(num_alpha - 1);
Austin Schuh941b46d2018-12-19 18:06:05 +110061 double last_alpha = 0.0;
Austin Schuh280996e2019-01-19 17:43:37 -080062 for (size_t i = 1; i < num_alpha; ++i) {
Austin Schuh941b46d2018-12-19 18:06:05 +110063 const double alpha = dalpha * i;
Austin Schuh280996e2019-01-19 17:43:37 -080064 distances.push_back(distances.back() +
65 GaussianQuadrature5(
66 [this](double alpha) {
67 const size_t spline_index = ::std::min(
68 static_cast<size_t>(::std::floor(alpha)),
Austin Schuhf7c65202022-11-04 21:28:20 -070069 splines().size() - 1);
70 return this->splines()[spline_index]
Austin Schuh280996e2019-01-19 17:43:37 -080071 .DPoint(alpha - spline_index)
72 .norm();
73 },
74 last_alpha, alpha));
Austin Schuh941b46d2018-12-19 18:06:05 +110075 last_alpha = alpha;
76 }
Austin Schuh280996e2019-01-19 17:43:37 -080077 return distances;
Austin Schuh941b46d2018-12-19 18:06:05 +110078}
79
James Kuszmaul75a18c52021-03-10 22:02:07 -080080std::vector<Spline> FlatbufferToSplines(const MultiSpline *fb) {
81 CHECK_NOTNULL(fb);
82 const size_t spline_count = fb->spline_count();
83 CHECK_EQ(fb->spline_x()->size(), static_cast<size_t>(spline_count * 5 + 1));
84 CHECK_EQ(fb->spline_y()->size(), static_cast<size_t>(spline_count * 5 + 1));
85 std::vector<Spline> splines;
86 for (size_t ii = 0; ii < spline_count; ++ii) {
87 Eigen::Matrix<double, 2, 6> points;
88 for (int jj = 0; jj < 6; ++jj) {
89 points(0, jj) = fb->spline_x()->Get(ii * 5 + jj);
90 points(1, jj) = fb->spline_y()->Get(ii * 5 + jj);
91 }
92 splines.emplace_back(Spline(points));
93 }
94 return splines;
95}
96
Austin Schuhf7c65202022-11-04 21:28:20 -070097aos::SizedArray<Spline, FinishedDistanceSpline::kMaxSplines>
98SizedFlatbufferToSplines(const MultiSpline *fb) {
99 CHECK_NOTNULL(fb);
100 const size_t spline_count = fb->spline_count();
101 CHECK_EQ(fb->spline_x()->size(), static_cast<size_t>(spline_count * 5 + 1));
102 CHECK_EQ(fb->spline_y()->size(), static_cast<size_t>(spline_count * 5 + 1));
103 aos::SizedArray<Spline, FinishedDistanceSpline::kMaxSplines> splines;
104 for (size_t ii = 0; ii < spline_count; ++ii) {
105 Eigen::Matrix<double, 2, 6> points;
106 for (int jj = 0; jj < 6; ++jj) {
107 points(0, jj) = fb->spline_x()->Get(ii * 5 + jj);
108 points(1, jj) = fb->spline_y()->Get(ii * 5 + jj);
109 }
110 splines.emplace_back(Spline(points));
111 }
112 return splines;
113}
114
Austin Schuh280996e2019-01-19 17:43:37 -0800115DistanceSpline::DistanceSpline(::std::vector<Spline> &&splines, int num_alpha)
116 : splines_(::std::move(splines)), distances_(BuildDistances(num_alpha)) {}
117
118DistanceSpline::DistanceSpline(const Spline &spline, int num_alpha)
119 : splines_({spline}), distances_(BuildDistances(num_alpha)) {}
120
James Kuszmaul75a18c52021-03-10 22:02:07 -0800121DistanceSpline::DistanceSpline(const MultiSpline *fb, int num_alpha)
122 : splines_(FlatbufferToSplines(fb)),
123 distances_(BuildDistances(num_alpha)) {}
124
125// TODO(james): Directly use the flatbuffer vector for accessing distances,
126// rather than doing this redundant copy.
Austin Schuhf7c65202022-11-04 21:28:20 -0700127FinishedDistanceSpline::FinishedDistanceSpline(const fb::DistanceSpline &fb)
128 : splines_(SizedFlatbufferToSplines(fb.spline())),
129 distances_(fb.distances()->data(), fb.distances()->size()) {}
James Kuszmaul75a18c52021-03-10 22:02:07 -0800130
Austin Schuhf7c65202022-11-04 21:28:20 -0700131flatbuffers::Offset<fb::DistanceSpline> DistanceSplineBase::Serialize(
James Kuszmaul75a18c52021-03-10 22:02:07 -0800132 flatbuffers::FlatBufferBuilder *fbb,
133 flatbuffers::Offset<flatbuffers::Vector<flatbuffers::Offset<Constraint>>>
134 constraints) const {
Austin Schuhf7c65202022-11-04 21:28:20 -0700135 if (splines().empty()) {
James Kuszmaul75a18c52021-03-10 22:02:07 -0800136 return {};
137 }
Austin Schuhf7c65202022-11-04 21:28:20 -0700138 const size_t num_points = splines().size() * 5 + 1;
James Kuszmaul75a18c52021-03-10 22:02:07 -0800139 float *spline_x_vector = nullptr;
140 float *spline_y_vector = nullptr;
141 const flatbuffers::Offset<flatbuffers::Vector<float>> spline_x_offset =
142 fbb->CreateUninitializedVector(num_points, &spline_x_vector);
143 const flatbuffers::Offset<flatbuffers::Vector<float>> spline_y_offset =
144 fbb->CreateUninitializedVector(num_points, &spline_y_vector);
145 CHECK_NOTNULL(spline_x_vector);
146 CHECK_NOTNULL(spline_y_vector);
Austin Schuhf7c65202022-11-04 21:28:20 -0700147 spline_x_vector[0] = splines()[0].control_points()(0, 0);
148 spline_y_vector[0] = splines()[0].control_points()(1, 0);
149 for (size_t spline_index = 0; spline_index < splines().size();
James Kuszmaul75a18c52021-03-10 22:02:07 -0800150 ++spline_index) {
151 for (size_t point = 1; point < 6u; ++point) {
152 spline_x_vector[spline_index * 5 + point] =
Austin Schuhf7c65202022-11-04 21:28:20 -0700153 splines()[spline_index].control_points()(0, point);
James Kuszmaul75a18c52021-03-10 22:02:07 -0800154 spline_y_vector[spline_index * 5 + point] =
Austin Schuhf7c65202022-11-04 21:28:20 -0700155 splines()[spline_index].control_points()(1, point);
James Kuszmaul75a18c52021-03-10 22:02:07 -0800156 }
157 }
158 MultiSpline::Builder multi_spline_builder(*fbb);
Austin Schuhf7c65202022-11-04 21:28:20 -0700159 multi_spline_builder.add_spline_count(splines().size());
James Kuszmaul75a18c52021-03-10 22:02:07 -0800160 multi_spline_builder.add_spline_x(spline_x_offset);
161 multi_spline_builder.add_spline_y(spline_y_offset);
162 multi_spline_builder.add_constraints(constraints);
163 const flatbuffers::Offset<MultiSpline> multi_spline_offset =
164 multi_spline_builder.Finish();
165 const flatbuffers::Offset<flatbuffers::Vector<float>> distances_offset =
Austin Schuhf7c65202022-11-04 21:28:20 -0700166 fbb->CreateVector(distances().data(), distances().size());
James Kuszmaul75a18c52021-03-10 22:02:07 -0800167 fb::DistanceSpline::Builder spline_builder(*fbb);
168 spline_builder.add_spline(multi_spline_offset);
169 spline_builder.add_distances(distances_offset);
170 return spline_builder.Finish();
171}
172
Austin Schuhf7c65202022-11-04 21:28:20 -0700173::Eigen::Matrix<double, 2, 1> DistanceSplineBase::DDXY(double distance) const {
Austin Schuh280996e2019-01-19 17:43:37 -0800174 const AlphaAndIndex a = DistanceToAlpha(distance);
175 const ::Eigen::Matrix<double, 2, 1> dspline_point =
Austin Schuhf7c65202022-11-04 21:28:20 -0700176 splines()[a.index].DPoint(a.alpha);
Austin Schuh280996e2019-01-19 17:43:37 -0800177 const ::Eigen::Matrix<double, 2, 1> ddspline_point =
Austin Schuhf7c65202022-11-04 21:28:20 -0700178 splines()[a.index].DDPoint(a.alpha);
Austin Schuh941b46d2018-12-19 18:06:05 +1100179
180 const double squared_norm = dspline_point.squaredNorm();
181
182 return ddspline_point / squared_norm -
Austin Schuhd749d932020-12-30 21:38:40 -0800183 dspline_point *
184 (dspline_point(0) * ddspline_point(0) +
185 dspline_point(1) * ddspline_point(1)) /
Austin Schuh941b46d2018-12-19 18:06:05 +1100186 ::std::pow(squared_norm, 2);
187}
188
Austin Schuhf7c65202022-11-04 21:28:20 -0700189double DistanceSplineBase::DDTheta(double distance) const {
Austin Schuh280996e2019-01-19 17:43:37 -0800190 const AlphaAndIndex a = DistanceToAlpha(distance);
Austin Schuh941b46d2018-12-19 18:06:05 +1100191
192 // TODO(austin): We are re-computing DPoint here even worse
Austin Schuh280996e2019-01-19 17:43:37 -0800193 const ::Eigen::Matrix<double, 2, 1> dspline_point =
Austin Schuhf7c65202022-11-04 21:28:20 -0700194 splines()[a.index].DPoint(a.alpha);
Austin Schuh280996e2019-01-19 17:43:37 -0800195 const ::Eigen::Matrix<double, 2, 1> ddspline_point =
Austin Schuhf7c65202022-11-04 21:28:20 -0700196 splines()[a.index].DDPoint(a.alpha);
Austin Schuh941b46d2018-12-19 18:06:05 +1100197
Austin Schuhf7c65202022-11-04 21:28:20 -0700198 const double dtheta = splines()[a.index].DTheta(a.alpha);
199 const double ddtheta = splines()[a.index].DDTheta(a.alpha);
Austin Schuh941b46d2018-12-19 18:06:05 +1100200
201 const double squared_norm = dspline_point.squaredNorm();
202
Austin Schuhd749d932020-12-30 21:38:40 -0800203 return ddtheta / squared_norm - dtheta *
204 (dspline_point(0) * ddspline_point(0) +
205 dspline_point(1) * ddspline_point(1)) /
206 ::std::pow(squared_norm, 2);
Austin Schuh941b46d2018-12-19 18:06:05 +1100207}
208
Austin Schuhf7c65202022-11-04 21:28:20 -0700209DistanceSplineBase::AlphaAndIndex DistanceSplineBase::DistanceToAlpha(
Austin Schuh280996e2019-01-19 17:43:37 -0800210 double distance) const {
Austin Schuh941b46d2018-12-19 18:06:05 +1100211 if (distance <= 0.0) {
Austin Schuh280996e2019-01-19 17:43:37 -0800212 return {0, 0.0};
Austin Schuh941b46d2018-12-19 18:06:05 +1100213 }
214 if (distance >= length()) {
Austin Schuhf7c65202022-11-04 21:28:20 -0700215 return {splines().size() - 1, 1.0};
Austin Schuh941b46d2018-12-19 18:06:05 +1100216 }
217
218 // Find the distance right below our number using a binary search.
219 size_t after = ::std::distance(
Austin Schuhf7c65202022-11-04 21:28:20 -0700220 distances().begin(),
221 ::std::lower_bound(distances().begin(), distances().end(), distance));
Austin Schuh941b46d2018-12-19 18:06:05 +1100222 size_t before = after - 1;
223 const double distance_step_size =
Austin Schuhf7c65202022-11-04 21:28:20 -0700224 (splines().size() / static_cast<double>(distances().size() - 1));
Austin Schuh941b46d2018-12-19 18:06:05 +1100225
Austin Schuhf7c65202022-11-04 21:28:20 -0700226 const double alpha = (distance - distances()[before]) /
227 (distances()[after] - distances()[before]) *
Austin Schuh280996e2019-01-19 17:43:37 -0800228 distance_step_size +
229 static_cast<double>(before) * distance_step_size;
230 const size_t index = static_cast<size_t>(::std::floor(alpha));
231
232 return {index, alpha - index};
Austin Schuh941b46d2018-12-19 18:06:05 +1100233}
234
235} // namespace drivetrain
236} // namespace control_loops
237} // namespace frc971