blob: 947771fe11b5a1bfc5d9821f15ed13e6e2673586 [file] [log] [blame]
James Kuszmaul04a343c2023-02-20 16:38:22 -08001#include "y2023/localizer/localizer.h"
2
3#include "aos/events/logging/log_writer.h"
4#include "aos/events/simulated_event_loop.h"
5#include "frc971/control_loops/drivetrain/drivetrain_test_lib.h"
6#include "frc971/control_loops/drivetrain/localizer_generated.h"
7#include "frc971/control_loops/pose.h"
8#include "frc971/vision/target_map_generated.h"
9#include "gtest/gtest.h"
10#include "y2023/constants/simulated_constants_sender.h"
11#include "y2023/control_loops/drivetrain/drivetrain_base.h"
12#include "y2023/localizer/status_generated.h"
James Kuszmaul18008f82023-02-23 20:52:50 -080013#include "y2023/localizer/utils.h"
James Kuszmaul04a343c2023-02-20 16:38:22 -080014
15DEFINE_string(output_folder, "",
16 "If set, logs all channels to the provided logfile.");
17DECLARE_bool(die_on_malloc);
18
19namespace y2023::localizer::testing {
20
21using frc971::control_loops::drivetrain::Output;
22
23class LocalizerTest : public ::testing::Test {
24 protected:
25 static constexpr uint64_t kTargetId = 1;
26 LocalizerTest()
27 : configuration_(aos::configuration::ReadConfig("y2023/aos_config.json")),
28 event_loop_factory_(&configuration_.message()),
29 roborio_node_([this]() {
30 // Get the constants sent before anything else happens.
31 // It has nothing to do with the roborio node.
32 SendSimulationConstants(&event_loop_factory_, 7971,
33 "y2023/constants/test_constants.json");
34 return aos::configuration::GetNode(&configuration_.message(),
35 "roborio");
36 }()),
37 imu_node_(
38 aos::configuration::GetNode(&configuration_.message(), "imu")),
39 camera_node_(
40 aos::configuration::GetNode(&configuration_.message(), "pi1")),
41 dt_config_(frc971::control_loops::drivetrain::testing::
42 GetTestDrivetrainConfig()),
43 localizer_event_loop_(
44 event_loop_factory_.MakeEventLoop("localizer", imu_node_)),
45 localizer_(localizer_event_loop_.get(), dt_config_),
46 drivetrain_plant_event_loop_(event_loop_factory_.MakeEventLoop(
47 "drivetrain_plant", roborio_node_)),
48 drivetrain_plant_imu_event_loop_(
49 event_loop_factory_.MakeEventLoop("drivetrain_plant", imu_node_)),
50 drivetrain_plant_(drivetrain_plant_event_loop_.get(),
51 drivetrain_plant_imu_event_loop_.get(), dt_config_,
52 std::chrono::microseconds(500)),
53 roborio_test_event_loop_(
54 event_loop_factory_.MakeEventLoop("test", roborio_node_)),
55 imu_test_event_loop_(
56 event_loop_factory_.MakeEventLoop("test", imu_node_)),
57 camera_test_event_loop_(
58 event_loop_factory_.MakeEventLoop("test", camera_node_)),
59 logger_test_event_loop_(
60 event_loop_factory_.GetNodeEventLoopFactory("logger")
61 ->MakeEventLoop("test")),
62 constants_fetcher_(imu_test_event_loop_.get()),
63 output_sender_(
64 roborio_test_event_loop_->MakeSender<Output>("/drivetrain")),
65 target_sender_(
66 camera_test_event_loop_->MakeSender<frc971::vision::TargetMap>(
67 "/camera")),
68 control_sender_(roborio_test_event_loop_->MakeSender<
69 frc971::control_loops::drivetrain::LocalizerControl>(
70 "/drivetrain")),
71 output_fetcher_(
72 roborio_test_event_loop_
73 ->MakeFetcher<frc971::controls::LocalizerOutput>("/localizer")),
74 status_fetcher_(
75 imu_test_event_loop_->MakeFetcher<Status>("/localizer")) {
76 FLAGS_die_on_malloc = true;
77 {
78 aos::TimerHandler *timer = roborio_test_event_loop_->AddTimer([this]() {
79 {
80 auto builder = output_sender_.MakeBuilder();
81 auto output_builder = builder.MakeBuilder<Output>();
82 output_builder.add_left_voltage(output_voltages_(0));
83 output_builder.add_right_voltage(output_voltages_(1));
84 builder.CheckOk(builder.Send(output_builder.Finish()));
85 }
86 });
87 roborio_test_event_loop_->OnRun([timer, this]() {
88 timer->Setup(roborio_test_event_loop_->monotonic_now(),
89 std::chrono::milliseconds(5));
90 });
91 }
92 {
93 // Sanity check that the test calibration files look like what we
94 // expect.
95 CHECK_EQ("pi1", constants_fetcher_.constants()
96 .cameras()
97 ->Get(0)
98 ->calibration()
99 ->node_name()
100 ->string_view());
101 const Eigen::Matrix<double, 4, 4> H_robot_camera =
102 frc971::control_loops::drivetrain::FlatbufferToTransformationMatrix(
103 *constants_fetcher_.constants()
104 .cameras()
105 ->Get(0)
106 ->calibration()
107 ->fixed_extrinsics());
108
109 CHECK_EQ(kTargetId, constants_fetcher_.constants()
110 .target_map()
111 ->target_poses()
112 ->Get(0)
113 ->id());
114 const Eigen::Matrix<double, 4, 4> H_field_target = PoseToTransform(
115 constants_fetcher_.constants().target_map()->target_poses()->Get(0));
116 // For reference, the camera should pointed straight forwards on the
117 // robot, offset by 1 meter.
118 aos::TimerHandler *timer = camera_test_event_loop_->AddTimer(
119 [this, H_robot_camera, H_field_target]() {
120 if (!send_targets_) {
121 return;
122 }
123 const frc971::control_loops::Pose robot_pose(
124 {drivetrain_plant_.GetPosition().x(),
125 drivetrain_plant_.GetPosition().y(), 0.0},
126 drivetrain_plant_.state()(2, 0));
127
128 const Eigen::Matrix<double, 4, 4> H_field_camera =
129 robot_pose.AsTransformationMatrix() * H_robot_camera;
130 const Eigen::Matrix<double, 4, 4> H_camera_target =
131 H_field_camera.inverse() * H_field_target;
132
133 const Eigen::Quaterniond quat(H_camera_target.block<3, 3>(0, 0));
134 const Eigen::Vector3d translation(
135 H_camera_target.block<3, 1>(0, 3));
136
137 auto builder = target_sender_.MakeBuilder();
138 frc971::vision::Quaternion::Builder quat_builder(*builder.fbb());
139 quat_builder.add_w(quat.w());
140 quat_builder.add_x(quat.x());
141 quat_builder.add_y(quat.y());
142 quat_builder.add_z(quat.z());
143 auto quat_offset = quat_builder.Finish();
144 frc971::vision::Position::Builder position_builder(*builder.fbb());
145 position_builder.add_x(translation.x());
146 position_builder.add_y(translation.y());
147 position_builder.add_z(translation.z());
148 auto position_offset = position_builder.Finish();
149
150 frc971::vision::TargetPoseFbs::Builder target_builder(
151 *builder.fbb());
152 target_builder.add_id(send_target_id_);
153 target_builder.add_position(position_offset);
154 target_builder.add_orientation(quat_offset);
milind-u7a7f6662023-02-26 16:41:29 -0800155 target_builder.add_pose_error(pose_error_);
James Kuszmaul04a343c2023-02-20 16:38:22 -0800156 auto target_offset = target_builder.Finish();
157
158 auto targets_offset = builder.fbb()->CreateVector({target_offset});
159 frc971::vision::TargetMap::Builder map_builder(*builder.fbb());
160 map_builder.add_target_poses(targets_offset);
161 map_builder.add_monotonic_timestamp_ns(
162 std::chrono::duration_cast<std::chrono::nanoseconds>(
163 camera_test_event_loop_->monotonic_now().time_since_epoch())
164 .count());
165
166 builder.CheckOk(builder.Send(map_builder.Finish()));
167 });
168 camera_test_event_loop_->OnRun([timer, this]() {
169 timer->Setup(camera_test_event_loop_->monotonic_now(),
170 std::chrono::milliseconds(50));
171 });
172 }
173
174 localizer_control_send_timer_ =
175 roborio_test_event_loop_->AddTimer([this]() {
176 auto builder = control_sender_.MakeBuilder();
177 auto control_builder = builder.MakeBuilder<
178 frc971::control_loops::drivetrain::LocalizerControl>();
179 control_builder.add_x(localizer_control_x_);
180 control_builder.add_y(localizer_control_y_);
181 control_builder.add_theta(localizer_control_theta_);
182 control_builder.add_theta_uncertainty(0.01);
183 control_builder.add_keep_current_theta(false);
184 builder.CheckOk(builder.Send(control_builder.Finish()));
185 });
186
187 // Get things zeroed.
188 event_loop_factory_.RunFor(std::chrono::seconds(10));
189 CHECK(status_fetcher_.Fetch());
190 CHECK(status_fetcher_->imu()->zeroed());
191
192 if (!FLAGS_output_folder.empty()) {
193 logger_event_loop_ =
194 event_loop_factory_.MakeEventLoop("logger", imu_node_);
195 logger_ = std::make_unique<aos::logger::Logger>(logger_event_loop_.get());
196 logger_->StartLoggingOnRun(FLAGS_output_folder);
197 }
198 }
199
200 void SendLocalizerControl(double x, double y, double theta) {
201 localizer_control_x_ = x;
202 localizer_control_y_ = y;
203 localizer_control_theta_ = theta;
204 localizer_control_send_timer_->Setup(
205 roborio_test_event_loop_->monotonic_now());
206 }
207 ::testing::AssertionResult IsNear(double expected, double actual,
208 double epsilon) {
209 if (std::abs(expected - actual) < epsilon) {
210 return ::testing::AssertionSuccess();
211 } else {
212 return ::testing::AssertionFailure()
213 << "Expected " << expected << " but got " << actual
214 << " with a max difference of " << epsilon
215 << " and an actual difference of " << std::abs(expected - actual);
216 }
217 }
218 ::testing::AssertionResult VerifyEstimatorAccurate(double eps) {
219 const Eigen::Matrix<double, 5, 1> true_state = drivetrain_plant_.state();
220 ::testing::AssertionResult result(true);
221 status_fetcher_.Fetch();
222 if (!(result = IsNear(status_fetcher_->state()->x(), true_state(0), eps))) {
223 return result;
224 }
225 if (!(result = IsNear(status_fetcher_->state()->y(), true_state(1), eps))) {
226 return result;
227 }
228 if (!(result =
229 IsNear(status_fetcher_->state()->theta(), true_state(2), eps))) {
230 return result;
231 }
232 return result;
233 }
234
235 aos::FlatbufferDetachedBuffer<aos::Configuration> configuration_;
236 aos::SimulatedEventLoopFactory event_loop_factory_;
237 const aos::Node *const roborio_node_;
238 const aos::Node *const imu_node_;
239 const aos::Node *const camera_node_;
240 const frc971::control_loops::drivetrain::DrivetrainConfig<double> dt_config_;
241 std::unique_ptr<aos::EventLoop> localizer_event_loop_;
242 Localizer localizer_;
243
244 std::unique_ptr<aos::EventLoop> drivetrain_plant_event_loop_;
245 std::unique_ptr<aos::EventLoop> drivetrain_plant_imu_event_loop_;
246 frc971::control_loops::drivetrain::testing::DrivetrainSimulation
247 drivetrain_plant_;
248
249 std::unique_ptr<aos::EventLoop> roborio_test_event_loop_;
250 std::unique_ptr<aos::EventLoop> imu_test_event_loop_;
251 std::unique_ptr<aos::EventLoop> camera_test_event_loop_;
252 std::unique_ptr<aos::EventLoop> logger_test_event_loop_;
253
254 frc971::constants::ConstantsFetcher<Constants> constants_fetcher_;
255
256 aos::Sender<Output> output_sender_;
257 aos::Sender<frc971::vision::TargetMap> target_sender_;
258 aos::Sender<frc971::control_loops::drivetrain::LocalizerControl>
259 control_sender_;
260 aos::Fetcher<frc971::controls::LocalizerOutput> output_fetcher_;
261 aos::Fetcher<Status> status_fetcher_;
262
263 Eigen::Vector2d output_voltages_ = Eigen::Vector2d::Zero();
264
265 aos::TimerHandler *localizer_control_send_timer_;
266
267 bool send_targets_ = false;
268
269 double localizer_control_x_ = 0.0;
270 double localizer_control_y_ = 0.0;
271 double localizer_control_theta_ = 0.0;
272
273 std::unique_ptr<aos::EventLoop> logger_event_loop_;
274 std::unique_ptr<aos::logger::Logger> logger_;
275
276 uint64_t send_target_id_ = kTargetId;
milind-u7a7f6662023-02-26 16:41:29 -0800277 double pose_error_ = 1e-7;
James Kuszmaul04a343c2023-02-20 16:38:22 -0800278
279 gflags::FlagSaver flag_saver_;
280};
281
282// Test a simple scenario with no errors where the robot should just drive
283// straight forwards.
284TEST_F(LocalizerTest, Nominal) {
285 output_voltages_ << 1.0, 1.0;
286 event_loop_factory_.RunFor(std::chrono::seconds(2));
287 CHECK(output_fetcher_.Fetch());
288 CHECK(status_fetcher_.Fetch());
289 // The two can be different because they may've been sent at different
290 // times.
291 EXPECT_NEAR(output_fetcher_->x(), status_fetcher_->state()->x(), 1e-2);
292 EXPECT_NEAR(output_fetcher_->y(), status_fetcher_->state()->y(), 1e-6);
293 EXPECT_NEAR(output_fetcher_->theta(), status_fetcher_->state()->theta(),
294 1e-6);
295 // Confirm that we did indeed drive forwards (and straight), as expected.
296 EXPECT_LT(0.1, output_fetcher_->x());
297 EXPECT_NEAR(0.0, output_fetcher_->y(), 1e-10);
298 EXPECT_NEAR(0.0, output_fetcher_->theta(), 1e-10);
299 EXPECT_NEAR(0.0, status_fetcher_->state()->left_voltage_error(), 1e-1);
300 EXPECT_NEAR(0.0, status_fetcher_->state()->right_voltage_error(), 1e-1);
301
302 // And check that we actually think that we are near where the simulator
303 // says we are.
304 EXPECT_TRUE(VerifyEstimatorAccurate(1e-2));
305}
306
307// Confirm that when the robot drives backwards that we localize correctly.
308TEST_F(LocalizerTest, NominalReverse) {
309 output_voltages_ << -1.0, -1.0;
310 event_loop_factory_.RunFor(std::chrono::seconds(2));
311 CHECK(output_fetcher_.Fetch());
312 CHECK(status_fetcher_.Fetch());
313 // The two can be different because they may've been sent at different
314 // times.
315 EXPECT_NEAR(output_fetcher_->x(), status_fetcher_->state()->x(), 1e-2);
316 EXPECT_NEAR(output_fetcher_->y(), status_fetcher_->state()->y(), 1e-6);
317 EXPECT_NEAR(output_fetcher_->theta(), status_fetcher_->state()->theta(),
318 1e-6);
319 // Confirm that we did indeed drive backwards (and straight), as expected.
320 EXPECT_GT(-0.1, output_fetcher_->x());
321 EXPECT_NEAR(0.0, output_fetcher_->y(), 1e-10);
322 EXPECT_NEAR(0.0, output_fetcher_->theta(), 1e-10);
323 EXPECT_NEAR(0.0, status_fetcher_->state()->left_voltage_error(), 1e-1);
324 EXPECT_NEAR(0.0, status_fetcher_->state()->right_voltage_error(), 1e-1);
325
326 // And check that we actually think that we are near where the simulator
327 // says we are.
328 EXPECT_TRUE(VerifyEstimatorAccurate(1e-2));
329}
330
331// Confirm that when the robot turns counter-clockwise that we localize
332// correctly.
333TEST_F(LocalizerTest, NominalSpinInPlace) {
334 output_voltages_ << -1.0, 1.0;
335 event_loop_factory_.RunFor(std::chrono::seconds(2));
336 CHECK(output_fetcher_.Fetch());
337 CHECK(status_fetcher_.Fetch());
338 // The two can be different because they may've been sent at different
339 // times.
340 EXPECT_NEAR(output_fetcher_->x(), status_fetcher_->state()->x(), 1e-6);
341 EXPECT_NEAR(output_fetcher_->y(), status_fetcher_->state()->y(), 1e-6);
342 EXPECT_NEAR(output_fetcher_->theta(), status_fetcher_->state()->theta(),
343 1e-2);
344 // Confirm that we did indeed turn counter-clockwise.
345 EXPECT_NEAR(0.0, output_fetcher_->x(), 1e-10);
346 EXPECT_NEAR(0.0, output_fetcher_->y(), 1e-10);
347 EXPECT_LT(0.1, output_fetcher_->theta());
348 EXPECT_NEAR(0.0, status_fetcher_->state()->left_voltage_error(), 1e-1);
349 EXPECT_NEAR(0.0, status_fetcher_->state()->right_voltage_error(), 1e-1);
350
351 // And check that we actually think that we are near where the simulator
352 // says we are.
353 EXPECT_TRUE(VerifyEstimatorAccurate(1e-2));
354}
355
356// Confirm that when the robot drives in a curve that we localize
357// successfully.
358TEST_F(LocalizerTest, NominalCurve) {
359 output_voltages_ << 2.0, 3.0;
360 event_loop_factory_.RunFor(std::chrono::seconds(4));
361 CHECK(output_fetcher_.Fetch());
362 CHECK(status_fetcher_.Fetch());
363 // The two can be different because they may've been sent at different
364 // times.
365 EXPECT_NEAR(output_fetcher_->x(), status_fetcher_->state()->x(), 1e-2);
366 EXPECT_NEAR(output_fetcher_->y(), status_fetcher_->state()->y(), 1e-2);
367 EXPECT_NEAR(output_fetcher_->theta(), status_fetcher_->state()->theta(),
368 1e-2);
369 // Confirm that we did indeed drive in a rough, counter-clockwise, curve.
370 EXPECT_LT(0.1, output_fetcher_->x());
371 EXPECT_LT(0.1, output_fetcher_->y());
372 EXPECT_LT(0.1, output_fetcher_->theta());
373
374 // And check that we actually think that we are near where the simulator
375 // says we are.
376 EXPECT_TRUE(VerifyEstimatorAccurate(1e-2));
377}
378
379// Tests that, in the presence of a non-zero voltage error, that we correct
380// for it.
381TEST_F(LocalizerTest, VoltageErrorDisabled) {
382 output_voltages_ << 0.0, 0.0;
383 drivetrain_plant_.set_left_voltage_offset(2.0);
384 drivetrain_plant_.set_right_voltage_offset(2.0);
385
386 event_loop_factory_.RunFor(std::chrono::seconds(2));
387 CHECK(output_fetcher_.Fetch());
388 CHECK(status_fetcher_.Fetch());
389 // We should've just ended up driving straight forwards.
390 EXPECT_LT(0.1, output_fetcher_->x());
391 EXPECT_NEAR(0.0, output_fetcher_->y(), 1e-10);
392 EXPECT_NEAR(0.0, output_fetcher_->theta(), 1e-10);
393 EXPECT_NEAR(2.0, status_fetcher_->state()->left_voltage_error(), 1.0);
394 EXPECT_NEAR(2.0, status_fetcher_->state()->right_voltage_error(), 1.0);
395
396 // And check that we actually think that we are near where the simulator
397 // says we are.
398 EXPECT_TRUE(VerifyEstimatorAccurate(0.05));
399}
400
401// Tests that image corrections in the nominal case (no errors) causes no
402// issues.
403TEST_F(LocalizerTest, NominalImageCorrections) {
404 output_voltages_ << 3.0, 2.0;
405 send_targets_ = true;
406
407 event_loop_factory_.RunFor(std::chrono::seconds(4));
408 CHECK(status_fetcher_.Fetch());
409 EXPECT_TRUE(VerifyEstimatorAccurate(1e-2));
410 ASSERT_TRUE(status_fetcher_->has_statistics());
411 ASSERT_EQ(4u /* number of cameras */, status_fetcher_->statistics()->size());
412 ASSERT_EQ(status_fetcher_->statistics()->Get(0)->total_candidates(),
413 status_fetcher_->statistics()->Get(0)->total_accepted());
414 ASSERT_LT(10, status_fetcher_->statistics()->Get(0)->total_candidates());
415}
416
417// Tests that image corrections when there is an error at the start results
418// in us actually getting corrected over time.
419TEST_F(LocalizerTest, ImageCorrections) {
420 output_voltages_ << 0.0, 0.0;
421 drivetrain_plant_.mutable_state()->x() = 2.0;
422 drivetrain_plant_.mutable_state()->y() = 2.0;
423 SendLocalizerControl(5.0, 3.0, 0.0);
424 event_loop_factory_.RunFor(std::chrono::seconds(4));
425 CHECK(output_fetcher_.Fetch());
426 ASSERT_NEAR(5.0, output_fetcher_->x(), 1e-5);
427 ASSERT_NEAR(3.0, output_fetcher_->y(), 1e-5);
428 ASSERT_NEAR(0.0, output_fetcher_->theta(), 1e-5);
429
430 send_targets_ = true;
431
432 event_loop_factory_.RunFor(std::chrono::seconds(4));
433 CHECK(status_fetcher_.Fetch());
434 EXPECT_TRUE(VerifyEstimatorAccurate(0.1));
435 ASSERT_TRUE(status_fetcher_->has_statistics());
436 ASSERT_EQ(4u /* number of cameras */, status_fetcher_->statistics()->size());
437 ASSERT_EQ(status_fetcher_->statistics()->Get(0)->total_candidates(),
438 status_fetcher_->statistics()->Get(0)->total_accepted());
439 ASSERT_LT(10, status_fetcher_->statistics()->Get(0)->total_candidates());
440}
441
442// Tests that we correctly reject an invalid target.
443TEST_F(LocalizerTest, InvalidTargetId) {
444 output_voltages_ << 0.0, 0.0;
445 send_targets_ = true;
446 send_target_id_ = 100;
447
448 event_loop_factory_.RunFor(std::chrono::seconds(4));
449 CHECK(status_fetcher_.Fetch());
450 ASSERT_TRUE(status_fetcher_->has_statistics());
451 ASSERT_EQ(4u /* number of cameras */, status_fetcher_->statistics()->size());
452 ASSERT_EQ(0, status_fetcher_->statistics()->Get(0)->total_accepted());
453 ASSERT_LT(10, status_fetcher_->statistics()->Get(0)->total_candidates());
454 ASSERT_EQ(status_fetcher_->statistics()
455 ->Get(0)
456 ->rejection_reasons()
457 ->Get(static_cast<size_t>(RejectionReason::NO_SUCH_TARGET))
458 ->count(),
459 status_fetcher_->statistics()->Get(0)->total_candidates());
460}
461
milind-u7a7f6662023-02-26 16:41:29 -0800462// Tests that we correctly reject a detection with a high pose error.
463TEST_F(LocalizerTest, HighPoseError) {
464 output_voltages_ << 0.0, 0.0;
465 send_targets_ = true;
466 // Send the minimum pose error to be rejected
467 constexpr double kEps = 1e-9;
468 pose_error_ = 1e-6 + kEps;
469
470 event_loop_factory_.RunFor(std::chrono::seconds(4));
471 CHECK(status_fetcher_.Fetch());
472 ASSERT_TRUE(status_fetcher_->has_statistics());
473 ASSERT_EQ(4u /* number of cameras */, status_fetcher_->statistics()->size());
474 ASSERT_EQ(0, status_fetcher_->statistics()->Get(0)->total_accepted());
475 ASSERT_LT(10, status_fetcher_->statistics()->Get(0)->total_candidates());
476 ASSERT_EQ(status_fetcher_->statistics()
477 ->Get(0)
478 ->rejection_reasons()
479 ->Get(static_cast<size_t>(RejectionReason::HIGH_POSE_ERROR))
480 ->count(),
481 status_fetcher_->statistics()->Get(0)->total_candidates());
482}
483
James Kuszmaul04a343c2023-02-20 16:38:22 -0800484} // namespace y2023::localizer::testing