blob: 2bf5621c83211a637ce1d8346ab4b2bdc6abbc40 [file] [log] [blame]
James Kuszmaulf254c1a2013-03-10 16:31:26 -07001#include "frc971/control_loops/drivetrain/drivetrain.h"
brians343bc112013-02-10 01:53:46 +00002
3#include <stdio.h>
4#include <sched.h>
5#include <cmath>
Austin Schuh4352ac62013-03-19 06:23:16 +00006#include <memory>
Austin Schuh2054f5f2013-10-27 14:54:10 -07007#include "Eigen/Dense"
brians343bc112013-02-10 01:53:46 +00008
brians343bc112013-02-10 01:53:46 +00009#include "aos/common/logging/logging.h"
Briana6553ed2014-04-02 21:26:46 -070010#include "aos/common/controls/polytope.h"
Austin Schuh2054f5f2013-10-27 14:54:10 -070011#include "aos/common/commonmath.h"
Brian Silverman61e41fd2014-02-16 19:08:50 -080012#include "aos/common/logging/queue_logging.h"
Brian Silvermanfd5e2a32014-02-22 20:02:39 -080013#include "aos/common/logging/matrix_logging.h"
Brian Silverman61e41fd2014-02-16 19:08:50 -080014
James Kuszmaulf254c1a2013-03-10 16:31:26 -070015#include "frc971/control_loops/state_feedback_loop.h"
James Kuszmaulfb0e0ae2014-03-25 07:04:47 -070016#include "frc971/control_loops/coerce_goal.h"
Austin Schuh427b3702013-11-02 13:44:09 -070017#include "frc971/control_loops/drivetrain/polydrivetrain_cim_plant.h"
James Kuszmaulf254c1a2013-03-10 16:31:26 -070018#include "frc971/control_loops/drivetrain/drivetrain.q.h"
Brian Silverman6bf0d3c2014-03-08 12:52:54 -080019#include "frc971/queues/other_sensors.q.h"
Brian Silverman1a6590d2013-11-04 14:46:46 -080020#include "frc971/constants.h"
brians343bc112013-02-10 01:53:46 +000021
Brian Silverman6bf0d3c2014-03-08 12:52:54 -080022using frc971::sensors::gyro_reading;
brians343bc112013-02-10 01:53:46 +000023
24namespace frc971 {
25namespace control_loops {
26
Austin Schuh4352ac62013-03-19 06:23:16 +000027class DrivetrainMotorsSS {
brians343bc112013-02-10 01:53:46 +000028 public:
Brian Silvermanad9e0002014-04-13 14:55:57 -070029 class LimitedDrivetrainLoop : public StateFeedbackLoop<4, 2, 2> {
30 public:
Brian Silverman0a151c92014-05-02 15:28:44 -070031 LimitedDrivetrainLoop(StateFeedbackLoop<4, 2, 2> &&loop)
32 : StateFeedbackLoop<4, 2, 2>(::std::move(loop)),
Brian Silvermanad9e0002014-04-13 14:55:57 -070033 U_Poly_((Eigen::Matrix<double, 4, 2>() << 1, 0,
34 -1, 0,
35 0, 1,
36 0, -1).finished(),
37 (Eigen::Matrix<double, 4, 1>() << 12.0, 12.0,
38 12.0, 12.0).finished()) {
39 ::aos::controls::HPolytope<0>::Init();
40 T << 1, -1, 1, 1;
41 T_inverse = T.inverse();
42 }
43
Brian Silvermanb94069c2014-04-17 14:34:24 -070044 bool output_was_capped() const {
45 return output_was_capped_;
46 }
47
Brian Silvermanad9e0002014-04-13 14:55:57 -070048 private:
49 virtual void CapU() {
Brian Silverman273d8a32014-05-10 22:19:09 -070050 const Eigen::Matrix<double, 4, 1> error = R() - X_hat();
Brian Silvermanad9e0002014-04-13 14:55:57 -070051
Brian Silverman273d8a32014-05-10 22:19:09 -070052 if (::std::abs(U(0)) > 12.0 || ::std::abs(U(1)) > 12.0) {
Brian Silvermanb94069c2014-04-17 14:34:24 -070053 output_was_capped_ = true;
Brian Silverman273d8a32014-05-10 22:19:09 -070054 LOG_MATRIX(DEBUG, "U at start", U());
Brian Silvermanad9e0002014-04-13 14:55:57 -070055
56 Eigen::Matrix<double, 2, 2> position_K;
57 position_K << K(0, 0), K(0, 2),
58 K(1, 0), K(1, 2);
59 Eigen::Matrix<double, 2, 2> velocity_K;
60 velocity_K << K(0, 1), K(0, 3),
61 K(1, 1), K(1, 3);
62
63 Eigen::Matrix<double, 2, 1> position_error;
64 position_error << error(0, 0), error(2, 0);
65 const auto drive_error = T_inverse * position_error;
66 Eigen::Matrix<double, 2, 1> velocity_error;
67 velocity_error << error(1, 0), error(3, 0);
68 LOG_MATRIX(DEBUG, "error", error);
69
70 const auto &poly = U_Poly_;
Brian Silverman273d8a32014-05-10 22:19:09 -070071 const Eigen::Matrix<double, 4, 2> pos_poly_H =
72 poly.H() * position_K * T;
Brian Silvermanad9e0002014-04-13 14:55:57 -070073 const Eigen::Matrix<double, 4, 1> pos_poly_k =
74 poly.k() - poly.H() * velocity_K * velocity_error;
75 const ::aos::controls::HPolytope<2> pos_poly(pos_poly_H, pos_poly_k);
76
77 Eigen::Matrix<double, 2, 1> adjusted_pos_error;
78 {
79 const auto &P = drive_error;
80
81 Eigen::Matrix<double, 1, 2> L45;
82 L45 << ::aos::sign(P(1, 0)), -::aos::sign(P(0, 0));
83 const double w45 = 0;
84
85 Eigen::Matrix<double, 1, 2> LH;
86 if (::std::abs(P(0, 0)) > ::std::abs(P(1, 0))) {
87 LH << 0, 1;
88 } else {
89 LH << 1, 0;
90 }
91 const double wh = LH.dot(P);
92
93 Eigen::Matrix<double, 2, 2> standard;
94 standard << L45, LH;
95 Eigen::Matrix<double, 2, 1> W;
96 W << w45, wh;
Brian Silverman273d8a32014-05-10 22:19:09 -070097 const Eigen::Matrix<double, 2, 1> intersection =
98 standard.inverse() * W;
Brian Silvermanad9e0002014-04-13 14:55:57 -070099
100 bool is_inside_h;
101 const auto adjusted_pos_error_h =
102 DoCoerceGoal(pos_poly, LH, wh, drive_error, &is_inside_h);
103 const auto adjusted_pos_error_45 =
104 DoCoerceGoal(pos_poly, L45, w45, intersection, nullptr);
105 if (pos_poly.IsInside(intersection)) {
106 adjusted_pos_error = adjusted_pos_error_h;
107 } else {
108 if (is_inside_h) {
109 if (adjusted_pos_error_h.norm() > adjusted_pos_error_45.norm()) {
110 adjusted_pos_error = adjusted_pos_error_h;
111 } else {
112 adjusted_pos_error = adjusted_pos_error_45;
113 }
114 } else {
115 adjusted_pos_error = adjusted_pos_error_45;
116 }
117 }
118 }
119
120 LOG_MATRIX(DEBUG, "adjusted_pos_error", adjusted_pos_error);
Brian Silverman273d8a32014-05-10 22:19:09 -0700121 change_U() =
122 velocity_K * velocity_error + position_K * T * adjusted_pos_error;
123 LOG_MATRIX(DEBUG, "U is now", U());
Brian Silvermanb94069c2014-04-17 14:34:24 -0700124 } else {
125 output_was_capped_ = false;
Brian Silvermanad9e0002014-04-13 14:55:57 -0700126 }
127 }
128
129 const ::aos::controls::HPolytope<2> U_Poly_;
130 Eigen::Matrix<double, 2, 2> T, T_inverse;
Brian Silverman94738b62014-05-02 17:43:11 -0700131 bool output_was_capped_ = false;;
Brian Silvermanad9e0002014-04-13 14:55:57 -0700132 };
133
Brian Silverman2c590c32013-11-04 18:08:54 -0800134 DrivetrainMotorsSS()
Brian Silvermanad9e0002014-04-13 14:55:57 -0700135 : loop_(new LimitedDrivetrainLoop(
Brian Silverman176303a2014-04-10 10:54:55 -0700136 constants::GetValues().make_drivetrain_loop())),
137 filtered_offset_(0.0),
138 gyro_(0.0),
139 left_goal_(0.0),
140 right_goal_(0.0),
141 raw_left_(0.0),
Brian Silvermanfaac3a22014-04-30 17:54:30 -0700142 raw_right_(0.0) {
Brian Silvermanb94069c2014-04-17 14:34:24 -0700143 // Low gear on both.
144 loop_->set_controller_index(0);
brians343bc112013-02-10 01:53:46 +0000145 }
Brian Silverman176303a2014-04-10 10:54:55 -0700146
147 void SetGoal(double left, double left_velocity, double right,
148 double right_velocity) {
149 left_goal_ = left;
150 right_goal_ = right;
Brian Silverman273d8a32014-05-10 22:19:09 -0700151 loop_->change_R() << left, left_velocity, right, right_velocity;
brians343bc112013-02-10 01:53:46 +0000152 }
153 void SetRawPosition(double left, double right) {
Brian Silverman176303a2014-04-10 10:54:55 -0700154 raw_right_ = right;
155 raw_left_ = left;
Austin Schuhf9286cd2014-02-11 00:51:09 -0800156 Eigen::Matrix<double, 2, 1> Y;
Brian Silverman176303a2014-04-10 10:54:55 -0700157 Y << left + filtered_offset_, right - filtered_offset_;
Austin Schuhf9286cd2014-02-11 00:51:09 -0800158 loop_->Correct(Y);
brians343bc112013-02-10 01:53:46 +0000159 }
Brian Silvermanfaac3a22014-04-30 17:54:30 -0700160 void SetPosition(double left, double right, double gyro) {
brians343bc112013-02-10 01:53:46 +0000161 // Decay the offset quickly because this gyro is great.
Brian Silvermanad9e0002014-04-13 14:55:57 -0700162 const double offset =
163 (right - left - gyro * constants::GetValues().turn_width) / 2.0;
Brian Silverman176303a2014-04-10 10:54:55 -0700164 filtered_offset_ = 0.25 * offset + 0.75 * filtered_offset_;
165 gyro_ = gyro;
brians343bc112013-02-10 01:53:46 +0000166 SetRawPosition(left, right);
brians343bc112013-02-10 01:53:46 +0000167 }
Austin Schuh4352ac62013-03-19 06:23:16 +0000168
Ben Fredrickson890c3fe2014-03-02 00:15:16 +0000169 void SetExternalMotors(double left_voltage, double right_voltage) {
Brian Silverman273d8a32014-05-10 22:19:09 -0700170 loop_->change_U() << left_voltage, right_voltage;
Ben Fredrickson890c3fe2014-03-02 00:15:16 +0000171 }
172
Brian Silvermanfaac3a22014-04-30 17:54:30 -0700173 void Update(bool stop_motors, bool enable_control_loop) {
174 if (enable_control_loop) {
Ben Fredrickson890c3fe2014-03-02 00:15:16 +0000175 loop_->Update(stop_motors);
176 } else {
177 if (stop_motors) {
Brian Silverman273d8a32014-05-10 22:19:09 -0700178 loop_->change_U().setZero();
179 loop_->change_U_uncapped().setZero();
Ben Fredrickson890c3fe2014-03-02 00:15:16 +0000180 }
181 loop_->UpdateObserver();
182 }
Brian Silverman273d8a32014-05-10 22:19:09 -0700183 ::Eigen::Matrix<double, 4, 1> E = loop_->R() - loop_->X_hat();
Brian Silverman3146b642014-03-20 14:52:46 -0700184 LOG_MATRIX(DEBUG, "E", E);
Ben Fredrickson890c3fe2014-03-02 00:15:16 +0000185 }
186
Brian Silvermanb94069c2014-04-17 14:34:24 -0700187 double GetEstimatedRobotSpeed() const {
Ben Fredrickson890c3fe2014-03-02 00:15:16 +0000188 // lets just call the average of left and right velocities close enough
Brian Silverman273d8a32014-05-10 22:19:09 -0700189 return (loop_->X_hat(1) + loop_->X_hat(3)) / 2;
Ben Fredrickson890c3fe2014-03-02 00:15:16 +0000190 }
191
Brian Silvermanb94069c2014-04-17 14:34:24 -0700192 double GetEstimatedLeftEncoder() const {
Brian Silverman273d8a32014-05-10 22:19:09 -0700193 return loop_->X_hat(0);
Ben Fredrickson890c3fe2014-03-02 00:15:16 +0000194 }
195
Brian Silvermanb94069c2014-04-17 14:34:24 -0700196 double GetEstimatedRightEncoder() const {
Brian Silverman273d8a32014-05-10 22:19:09 -0700197 return loop_->X_hat(2);
brians343bc112013-02-10 01:53:46 +0000198 }
199
Brian Silvermanb94069c2014-04-17 14:34:24 -0700200 bool OutputWasCapped() const {
201 return loop_->output_was_capped();
202 }
203
204 void SendMotors(Drivetrain::Output *output) const {
Austin Schuh4352ac62013-03-19 06:23:16 +0000205 if (output) {
Brian Silverman273d8a32014-05-10 22:19:09 -0700206 output->left_voltage = loop_->U(0);
207 output->right_voltage = loop_->U(1);
Brian Silvermane3a277a2014-04-13 14:56:57 -0700208 output->left_high = false;
209 output->right_high = false;
brians8ad74052013-03-16 21:04:51 +0000210 }
brians343bc112013-02-10 01:53:46 +0000211 }
brians343bc112013-02-10 01:53:46 +0000212
Brian Silvermanb94069c2014-04-17 14:34:24 -0700213 const LimitedDrivetrainLoop &loop() const { return *loop_; }
214
brians343bc112013-02-10 01:53:46 +0000215 private:
Brian Silvermanad9e0002014-04-13 14:55:57 -0700216 ::std::unique_ptr<LimitedDrivetrainLoop> loop_;
Austin Schuh4352ac62013-03-19 06:23:16 +0000217
Brian Silverman176303a2014-04-10 10:54:55 -0700218 double filtered_offset_;
219 double gyro_;
220 double left_goal_;
221 double right_goal_;
222 double raw_left_;
223 double raw_right_;
brians343bc112013-02-10 01:53:46 +0000224};
225
Austin Schuh2054f5f2013-10-27 14:54:10 -0700226class PolyDrivetrain {
227 public:
Austin Schuh427b3702013-11-02 13:44:09 -0700228
229 enum Gear {
230 HIGH,
231 LOW,
232 SHIFTING_UP,
233 SHIFTING_DOWN
234 };
235 // Stall Torque in N m
236 static constexpr double kStallTorque = 2.42;
237 // Stall Current in Amps
238 static constexpr double kStallCurrent = 133;
239 // Free Speed in RPM. Used number from last year.
240 static constexpr double kFreeSpeed = 4650.0;
241 // Free Current in Amps
242 static constexpr double kFreeCurrent = 2.7;
243 // Moment of inertia of the drivetrain in kg m^2
244 // Just borrowed from last year.
245 static constexpr double J = 6.4;
246 // Mass of the robot, in kg.
247 static constexpr double m = 68;
248 // Radius of the robot, in meters (from last year).
249 static constexpr double rb = 0.617998644 / 2.0;
Brian Silverman1a6590d2013-11-04 14:46:46 -0800250 static constexpr double kWheelRadius = 0.04445;
Austin Schuh427b3702013-11-02 13:44:09 -0700251 // Resistance of the motor, divided by the number of motors.
252 static constexpr double kR = (12.0 / kStallCurrent / 4 + 0.03) / (0.93 * 0.93);
253 // Motor velocity constant
254 static constexpr double Kv =
255 ((kFreeSpeed / 60.0 * 2.0 * M_PI) / (12.0 - kR * kFreeCurrent));
256 // Torque constant
257 static constexpr double Kt = kStallTorque / kStallCurrent;
Austin Schuh427b3702013-11-02 13:44:09 -0700258
Austin Schuh2054f5f2013-10-27 14:54:10 -0700259 PolyDrivetrain()
260 : U_Poly_((Eigen::Matrix<double, 4, 2>() << /*[[*/ 1, 0 /*]*/,
261 /*[*/ -1, 0 /*]*/,
262 /*[*/ 0, 1 /*]*/,
263 /*[*/ 0, -1 /*]]*/).finished(),
264 (Eigen::Matrix<double, 4, 1>() << /*[[*/ 12 /*]*/,
265 /*[*/ 12 /*]*/,
266 /*[*/ 12 /*]*/,
267 /*[*/ 12 /*]]*/).finished()),
Brian Silverman2c590c32013-11-04 18:08:54 -0800268 loop_(new StateFeedbackLoop<2, 2, 2>(
269 constants::GetValues().make_v_drivetrain_loop())),
Austin Schuh427b3702013-11-02 13:44:09 -0700270 ttrust_(1.1),
271 wheel_(0.0),
272 throttle_(0.0),
273 quickturn_(false),
274 stale_count_(0),
275 position_time_delta_(0.01),
276 left_gear_(LOW),
Brian Silvermande8fd552013-11-03 15:53:42 -0800277 right_gear_(LOW),
278 counter_(0) {
Austin Schuh2054f5f2013-10-27 14:54:10 -0700279
Austin Schuh427b3702013-11-02 13:44:09 -0700280 last_position_.Zero();
281 position_.Zero();
Austin Schuh2054f5f2013-10-27 14:54:10 -0700282 }
Austin Schuh427b3702013-11-02 13:44:09 -0700283 static bool IsInGear(Gear gear) { return gear == LOW || gear == HIGH; }
284
Austin Schuh78d55462014-02-23 01:39:30 -0800285 static double MotorSpeed(const constants::ShifterHallEffect &hall_effect,
286 double shifter_position, double velocity) {
Austin Schuh427b3702013-11-02 13:44:09 -0700287 // TODO(austin): G_high, G_low and kWheelRadius
Austin Schuh78d55462014-02-23 01:39:30 -0800288 const double avg_hall_effect =
289 (hall_effect.clear_high + hall_effect.clear_low) / 2.0;
290
291 if (shifter_position > avg_hall_effect) {
Brian Silverman1a6590d2013-11-04 14:46:46 -0800292 return velocity / constants::GetValues().high_gear_ratio / kWheelRadius;
Austin Schuh427b3702013-11-02 13:44:09 -0700293 } else {
Brian Silverman1a6590d2013-11-04 14:46:46 -0800294 return velocity / constants::GetValues().low_gear_ratio / kWheelRadius;
295 }
296 }
297
Austin Schuh78d55462014-02-23 01:39:30 -0800298 Gear ComputeGear(const constants::ShifterHallEffect &hall_effect,
299 double velocity, Gear current) {
300 const double low_omega = MotorSpeed(hall_effect, 0.0, ::std::abs(velocity));
301 const double high_omega =
302 MotorSpeed(hall_effect, 1.0, ::std::abs(velocity));
Brian Silverman1a6590d2013-11-04 14:46:46 -0800303
Brian Silverman1a6590d2013-11-04 14:46:46 -0800304 double high_torque = ((12.0 - high_omega / Kv) * Kt / kR);
305 double low_torque = ((12.0 - low_omega / Kv) * Kt / kR);
306 double high_power = high_torque * high_omega;
307 double low_power = low_torque * low_omega;
Brian Silverman55a930b2013-11-04 20:59:00 -0800308
309 // TODO(aschuh): Do this right!
310 if ((current == HIGH || high_power > low_power + 160) &&
311 ::std::abs(velocity) > 0.14) {
Brian Silverman1a6590d2013-11-04 14:46:46 -0800312 return HIGH;
313 } else {
314 return LOW;
Austin Schuh427b3702013-11-02 13:44:09 -0700315 }
316 }
317
Austin Schuh2054f5f2013-10-27 14:54:10 -0700318 void SetGoal(double wheel, double throttle, bool quickturn, bool highgear) {
Brian Silvermande8fd552013-11-03 15:53:42 -0800319 const double kWheelNonLinearity = 0.3;
Austin Schuh2054f5f2013-10-27 14:54:10 -0700320 // Apply a sin function that's scaled to make it feel better.
321 const double angular_range = M_PI_2 * kWheelNonLinearity;
322 wheel_ = sin(angular_range * wheel) / sin(angular_range);
323 wheel_ = sin(angular_range * wheel_) / sin(angular_range);
Austin Schuh2054f5f2013-10-27 14:54:10 -0700324 quickturn_ = quickturn;
Austin Schuh427b3702013-11-02 13:44:09 -0700325
Brian Silverman1a6590d2013-11-04 14:46:46 -0800326 static const double kThrottleDeadband = 0.05;
327 if (::std::abs(throttle) < kThrottleDeadband) {
328 throttle_ = 0;
329 } else {
330 throttle_ = copysign((::std::abs(throttle) - kThrottleDeadband) /
331 (1.0 - kThrottleDeadband), throttle);
332 }
333
Austin Schuh427b3702013-11-02 13:44:09 -0700334 // TODO(austin): Fix the upshift logic to include states.
Brian Silverman1a6590d2013-11-04 14:46:46 -0800335 Gear requested_gear;
Brian Silverman55a930b2013-11-04 20:59:00 -0800336 if (false) {
Austin Schuh78d55462014-02-23 01:39:30 -0800337 const auto &values = constants::GetValues();
Brian Silverman1a6590d2013-11-04 14:46:46 -0800338 const double current_left_velocity =
339 (position_.left_encoder - last_position_.left_encoder) /
340 position_time_delta_;
341 const double current_right_velocity =
342 (position_.right_encoder - last_position_.right_encoder) /
343 position_time_delta_;
344
Austin Schuh78d55462014-02-23 01:39:30 -0800345 Gear left_requested =
346 ComputeGear(values.left_drive, current_left_velocity, left_gear_);
347 Gear right_requested =
348 ComputeGear(values.right_drive, current_right_velocity, right_gear_);
Brian Silverman1a6590d2013-11-04 14:46:46 -0800349 requested_gear =
350 (left_requested == HIGH || right_requested == HIGH) ? HIGH : LOW;
351 } else {
352 requested_gear = highgear ? HIGH : LOW;
353 }
354
355 const Gear shift_up =
356 constants::GetValues().clutch_transmission ? HIGH : SHIFTING_UP;
357 const Gear shift_down =
358 constants::GetValues().clutch_transmission ? LOW : SHIFTING_DOWN;
Austin Schuh427b3702013-11-02 13:44:09 -0700359
360 if (left_gear_ != requested_gear) {
361 if (IsInGear(left_gear_)) {
362 if (requested_gear == HIGH) {
Brian Silverman1a6590d2013-11-04 14:46:46 -0800363 left_gear_ = shift_up;
Austin Schuh427b3702013-11-02 13:44:09 -0700364 } else {
Brian Silverman1a6590d2013-11-04 14:46:46 -0800365 left_gear_ = shift_down;
Austin Schuh427b3702013-11-02 13:44:09 -0700366 }
Brian Silverman55a930b2013-11-04 20:59:00 -0800367 } else {
368 if (requested_gear == HIGH && left_gear_ == SHIFTING_DOWN) {
369 left_gear_ = SHIFTING_UP;
370 } else if (requested_gear == LOW && left_gear_ == SHIFTING_UP) {
371 left_gear_ = SHIFTING_DOWN;
372 }
Austin Schuh427b3702013-11-02 13:44:09 -0700373 }
374 }
375 if (right_gear_ != requested_gear) {
376 if (IsInGear(right_gear_)) {
377 if (requested_gear == HIGH) {
Brian Silverman1a6590d2013-11-04 14:46:46 -0800378 right_gear_ = shift_up;
Austin Schuh427b3702013-11-02 13:44:09 -0700379 } else {
Brian Silverman1a6590d2013-11-04 14:46:46 -0800380 right_gear_ = shift_down;
Austin Schuh427b3702013-11-02 13:44:09 -0700381 }
Brian Silverman55a930b2013-11-04 20:59:00 -0800382 } else {
383 if (requested_gear == HIGH && right_gear_ == SHIFTING_DOWN) {
384 right_gear_ = SHIFTING_UP;
385 } else if (requested_gear == LOW && right_gear_ == SHIFTING_UP) {
386 right_gear_ = SHIFTING_DOWN;
387 }
Austin Schuh427b3702013-11-02 13:44:09 -0700388 }
Austin Schuh2054f5f2013-10-27 14:54:10 -0700389 }
390 }
Austin Schuh427b3702013-11-02 13:44:09 -0700391 void SetPosition(const Drivetrain::Position *position) {
Austin Schuh78d55462014-02-23 01:39:30 -0800392 const auto &values = constants::GetValues();
Austin Schuh427b3702013-11-02 13:44:09 -0700393 if (position == NULL) {
394 ++stale_count_;
395 } else {
396 last_position_ = position_;
397 position_ = *position;
398 position_time_delta_ = (stale_count_ + 1) * 0.01;
399 stale_count_ = 0;
400 }
401
402 if (position) {
Brian Silverman61e41fd2014-02-16 19:08:50 -0800403 GearLogging gear_logging;
Austin Schuh427b3702013-11-02 13:44:09 -0700404 // Switch to the correct controller.
Austin Schuh78d55462014-02-23 01:39:30 -0800405 const double left_middle_shifter_position =
406 (values.left_drive.clear_high + values.left_drive.clear_low) / 2.0;
407 const double right_middle_shifter_position =
408 (values.right_drive.clear_high + values.right_drive.clear_low) / 2.0;
409
410 if (position->left_shifter_position < left_middle_shifter_position) {
411 if (position->right_shifter_position < right_middle_shifter_position ||
412 right_gear_ == LOW) {
Brian Silverman61e41fd2014-02-16 19:08:50 -0800413 gear_logging.left_loop_high = false;
414 gear_logging.right_loop_high = false;
415 loop_->set_controller_index(gear_logging.controller_index = 0);
Austin Schuh427b3702013-11-02 13:44:09 -0700416 } else {
Brian Silverman61e41fd2014-02-16 19:08:50 -0800417 gear_logging.left_loop_high = false;
418 gear_logging.right_loop_high = true;
419 loop_->set_controller_index(gear_logging.controller_index = 1);
Austin Schuh427b3702013-11-02 13:44:09 -0700420 }
421 } else {
Austin Schuh78d55462014-02-23 01:39:30 -0800422 if (position->right_shifter_position < right_middle_shifter_position ||
423 left_gear_ == LOW) {
Brian Silverman61e41fd2014-02-16 19:08:50 -0800424 gear_logging.left_loop_high = true;
425 gear_logging.right_loop_high = false;
426 loop_->set_controller_index(gear_logging.controller_index = 2);
Austin Schuh427b3702013-11-02 13:44:09 -0700427 } else {
Brian Silverman61e41fd2014-02-16 19:08:50 -0800428 gear_logging.left_loop_high = true;
429 gear_logging.right_loop_high = true;
430 loop_->set_controller_index(gear_logging.controller_index = 3);
Austin Schuh427b3702013-11-02 13:44:09 -0700431 }
432 }
Brian Silverman61e41fd2014-02-16 19:08:50 -0800433
Austin Schuh427b3702013-11-02 13:44:09 -0700434 // TODO(austin): Constants.
Austin Schuh78d55462014-02-23 01:39:30 -0800435 if (position->left_shifter_position > values.left_drive.clear_high && left_gear_ == SHIFTING_UP) {
Austin Schuh427b3702013-11-02 13:44:09 -0700436 left_gear_ = HIGH;
437 }
Austin Schuh78d55462014-02-23 01:39:30 -0800438 if (position->left_shifter_position < values.left_drive.clear_low && left_gear_ == SHIFTING_DOWN) {
Austin Schuh427b3702013-11-02 13:44:09 -0700439 left_gear_ = LOW;
440 }
Austin Schuh78d55462014-02-23 01:39:30 -0800441 if (position->right_shifter_position > values.right_drive.clear_high && right_gear_ == SHIFTING_UP) {
Austin Schuh427b3702013-11-02 13:44:09 -0700442 right_gear_ = HIGH;
443 }
Austin Schuh78d55462014-02-23 01:39:30 -0800444 if (position->right_shifter_position < values.right_drive.clear_low && right_gear_ == SHIFTING_DOWN) {
Austin Schuh427b3702013-11-02 13:44:09 -0700445 right_gear_ = LOW;
446 }
Brian Silverman61e41fd2014-02-16 19:08:50 -0800447
448 gear_logging.left_state = left_gear_;
449 gear_logging.right_state = right_gear_;
450 LOG_STRUCT(DEBUG, "state", gear_logging);
Austin Schuh427b3702013-11-02 13:44:09 -0700451 }
452 }
453
Austin Schuh2054f5f2013-10-27 14:54:10 -0700454 double FilterVelocity(double throttle) {
455 const Eigen::Matrix<double, 2, 2> FF =
456 loop_->B().inverse() *
457 (Eigen::Matrix<double, 2, 2>::Identity() - loop_->A());
458
459 constexpr int kHighGearController = 3;
460 const Eigen::Matrix<double, 2, 2> FF_high =
Brian Silverman273d8a32014-05-10 22:19:09 -0700461 loop_->controller(kHighGearController).plant.B().inverse() *
Austin Schuh2054f5f2013-10-27 14:54:10 -0700462 (Eigen::Matrix<double, 2, 2>::Identity() -
Brian Silverman273d8a32014-05-10 22:19:09 -0700463 loop_->controller(kHighGearController).plant.A());
Austin Schuh2054f5f2013-10-27 14:54:10 -0700464
465 ::Eigen::Matrix<double, 1, 2> FF_sum = FF.colwise().sum();
466 int min_FF_sum_index;
467 const double min_FF_sum = FF_sum.minCoeff(&min_FF_sum_index);
468 const double min_K_sum = loop_->K().col(min_FF_sum_index).sum();
469 const double high_min_FF_sum = FF_high.col(0).sum();
470
471 const double adjusted_ff_voltage = ::aos::Clip(
472 throttle * 12.0 * min_FF_sum / high_min_FF_sum, -12.0, 12.0);
473 return ((adjusted_ff_voltage +
Brian Silverman273d8a32014-05-10 22:19:09 -0700474 ttrust_ * min_K_sum * (loop_->X_hat(0) + loop_->X_hat(1)) / 2.0) /
Austin Schuh2054f5f2013-10-27 14:54:10 -0700475 (ttrust_ * min_K_sum + min_FF_sum));
476 }
477
Brian Silverman718b1d72013-10-28 16:22:45 -0700478 double MaxVelocity() {
479 const Eigen::Matrix<double, 2, 2> FF =
480 loop_->B().inverse() *
481 (Eigen::Matrix<double, 2, 2>::Identity() - loop_->A());
482
483 constexpr int kHighGearController = 3;
484 const Eigen::Matrix<double, 2, 2> FF_high =
Brian Silverman273d8a32014-05-10 22:19:09 -0700485 loop_->controller(kHighGearController).plant.B().inverse() *
Brian Silverman718b1d72013-10-28 16:22:45 -0700486 (Eigen::Matrix<double, 2, 2>::Identity() -
Brian Silverman273d8a32014-05-10 22:19:09 -0700487 loop_->controller(kHighGearController).plant.A());
Brian Silverman718b1d72013-10-28 16:22:45 -0700488
489 ::Eigen::Matrix<double, 1, 2> FF_sum = FF.colwise().sum();
490 int min_FF_sum_index;
491 const double min_FF_sum = FF_sum.minCoeff(&min_FF_sum_index);
492 //const double min_K_sum = loop_->K().col(min_FF_sum_index).sum();
493 const double high_min_FF_sum = FF_high.col(0).sum();
494
495 const double adjusted_ff_voltage = ::aos::Clip(
496 12.0 * min_FF_sum / high_min_FF_sum, -12.0, 12.0);
497 return adjusted_ff_voltage / min_FF_sum;
498 }
499
Austin Schuh2054f5f2013-10-27 14:54:10 -0700500 void Update() {
Austin Schuh78d55462014-02-23 01:39:30 -0800501 const auto &values = constants::GetValues();
Austin Schuh427b3702013-11-02 13:44:09 -0700502 // TODO(austin): Observer for the current velocity instead of difference
503 // calculations.
Brian Silvermande8fd552013-11-03 15:53:42 -0800504 ++counter_;
Austin Schuh427b3702013-11-02 13:44:09 -0700505 const double current_left_velocity =
Brian Silvermande8fd552013-11-03 15:53:42 -0800506 (position_.left_encoder - last_position_.left_encoder) /
Austin Schuh427b3702013-11-02 13:44:09 -0700507 position_time_delta_;
508 const double current_right_velocity =
Brian Silvermande8fd552013-11-03 15:53:42 -0800509 (position_.right_encoder - last_position_.right_encoder) /
Austin Schuh427b3702013-11-02 13:44:09 -0700510 position_time_delta_;
511 const double left_motor_speed =
Austin Schuh78d55462014-02-23 01:39:30 -0800512 MotorSpeed(values.left_drive, position_.left_shifter_position,
513 current_left_velocity);
Austin Schuh427b3702013-11-02 13:44:09 -0700514 const double right_motor_speed =
Austin Schuh78d55462014-02-23 01:39:30 -0800515 MotorSpeed(values.right_drive, position_.right_shifter_position,
516 current_right_velocity);
Austin Schuh2054f5f2013-10-27 14:54:10 -0700517
Brian Silverman61e41fd2014-02-16 19:08:50 -0800518 {
519 CIMLogging logging;
520
521 // Reset the CIM model to the current conditions to be ready for when we
522 // shift.
523 if (IsInGear(left_gear_)) {
524 logging.left_in_gear = true;
Brian Silverman61e41fd2014-02-16 19:08:50 -0800525 } else {
526 logging.left_in_gear = false;
527 }
528 logging.left_motor_speed = left_motor_speed;
529 logging.left_velocity = current_left_velocity;
530 if (IsInGear(right_gear_)) {
531 logging.right_in_gear = true;
Brian Silverman61e41fd2014-02-16 19:08:50 -0800532 } else {
533 logging.right_in_gear = false;
534 }
535 logging.right_motor_speed = right_motor_speed;
536 logging.right_velocity = current_right_velocity;
537
538 LOG_STRUCT(DEBUG, "currently", logging);
Austin Schuh427b3702013-11-02 13:44:09 -0700539 }
Austin Schuh2054f5f2013-10-27 14:54:10 -0700540
Austin Schuh427b3702013-11-02 13:44:09 -0700541 if (IsInGear(left_gear_) && IsInGear(right_gear_)) {
542 // FF * X = U (steady state)
543 const Eigen::Matrix<double, 2, 2> FF =
544 loop_->B().inverse() *
545 (Eigen::Matrix<double, 2, 2>::Identity() - loop_->A());
546
547 // Invert the plant to figure out how the velocity filter would have to
548 // work
549 // out in order to filter out the forwards negative inertia.
550 // This math assumes that the left and right power and velocity are
551 // equals,
552 // and that the plant is the same on the left and right.
553 const double fvel = FilterVelocity(throttle_);
554
555 const double sign_svel = wheel_ * ((fvel > 0.0) ? 1.0 : -1.0);
556 double steering_velocity;
557 if (quickturn_) {
558 steering_velocity = wheel_ * MaxVelocity();
559 } else {
560 steering_velocity = ::std::abs(fvel) * wheel_;
561 }
562 const double left_velocity = fvel - steering_velocity;
563 const double right_velocity = fvel + steering_velocity;
564
565 // Integrate velocity to get the position.
566 // This position is used to get integral control.
Brian Silverman273d8a32014-05-10 22:19:09 -0700567 loop_->change_R() << left_velocity, right_velocity;
Austin Schuh427b3702013-11-02 13:44:09 -0700568
569 if (!quickturn_) {
570 // K * R = w
571 Eigen::Matrix<double, 1, 2> equality_k;
572 equality_k << 1 + sign_svel, -(1 - sign_svel);
573 const double equality_w = 0.0;
574
575 // Construct a constraint on R by manipulating the constraint on U
576 ::aos::controls::HPolytope<2> R_poly = ::aos::controls::HPolytope<2>(
577 U_Poly_.H() * (loop_->K() + FF),
Brian Silverman273d8a32014-05-10 22:19:09 -0700578 U_Poly_.k() + U_Poly_.H() * loop_->K() * loop_->X_hat());
Austin Schuh427b3702013-11-02 13:44:09 -0700579
580 // Limit R back inside the box.
Brian Silverman273d8a32014-05-10 22:19:09 -0700581 loop_->change_R() =
582 CoerceGoal(R_poly, equality_k, equality_w, loop_->R());
Austin Schuh427b3702013-11-02 13:44:09 -0700583 }
584
Brian Silverman273d8a32014-05-10 22:19:09 -0700585 const Eigen::Matrix<double, 2, 1> FF_volts = FF * loop_->R();
Austin Schuh427b3702013-11-02 13:44:09 -0700586 const Eigen::Matrix<double, 2, 1> U_ideal =
Brian Silverman273d8a32014-05-10 22:19:09 -0700587 loop_->K() * (loop_->R() - loop_->X_hat()) + FF_volts;
Austin Schuh427b3702013-11-02 13:44:09 -0700588
589 for (int i = 0; i < 2; i++) {
Brian Silverman273d8a32014-05-10 22:19:09 -0700590 loop_->change_U()[i] = ::aos::Clip(U_ideal[i], -12, 12);
Austin Schuh427b3702013-11-02 13:44:09 -0700591 }
Brian Silvermande8fd552013-11-03 15:53:42 -0800592
593 // TODO(austin): Model this better.
594 // TODO(austin): Feed back?
Brian Silverman273d8a32014-05-10 22:19:09 -0700595 loop_->change_X_hat() =
596 loop_->A() * loop_->X_hat() + loop_->B() * loop_->U();
Brian Silverman718b1d72013-10-28 16:22:45 -0700597 } else {
Austin Schuh427b3702013-11-02 13:44:09 -0700598 // Any motor is not in gear. Speed match.
599 ::Eigen::Matrix<double, 1, 1> R_left;
Austin Schuh427b3702013-11-02 13:44:09 -0700600 ::Eigen::Matrix<double, 1, 1> R_right;
Austin Schuhb5afb692014-03-02 11:54:11 -0800601 R_left(0, 0) = left_motor_speed;
Austin Schuh427b3702013-11-02 13:44:09 -0700602 R_right(0, 0) = right_motor_speed;
Austin Schuhb5afb692014-03-02 11:54:11 -0800603
604 const double wiggle =
Brian Silvermanf970f2c2014-03-22 19:34:30 -0700605 (static_cast<double>((counter_ % 20) / 10) - 0.5) * 5.0;
Austin Schuhb5afb692014-03-02 11:54:11 -0800606
Brian Silverman273d8a32014-05-10 22:19:09 -0700607 loop_->change_U(0) = ::aos::Clip(
Brian Silverman56658322014-03-22 16:57:22 -0700608 (R_left / Kv)(0, 0) + (IsInGear(left_gear_) ? 0 : wiggle),
609 -12.0, 12.0);
Brian Silverman273d8a32014-05-10 22:19:09 -0700610 loop_->change_U(1) = ::aos::Clip(
Brian Silverman56658322014-03-22 16:57:22 -0700611 (R_right / Kv)(0, 0) + (IsInGear(right_gear_) ? 0 : wiggle),
612 -12.0, 12.0);
Brian Silverman273d8a32014-05-10 22:19:09 -0700613 loop_->change_U() *= 12.0 / position_.battery_voltage;
Austin Schuh2054f5f2013-10-27 14:54:10 -0700614 }
Austin Schuh2054f5f2013-10-27 14:54:10 -0700615 }
616
617 void SendMotors(Drivetrain::Output *output) {
Brian Silvermande8fd552013-11-03 15:53:42 -0800618 if (output != NULL) {
Brian Silverman273d8a32014-05-10 22:19:09 -0700619 output->left_voltage = loop_->U(0);
620 output->right_voltage = loop_->U(1);
Brian Silverman61e41fd2014-02-16 19:08:50 -0800621 output->left_high = left_gear_ == HIGH || left_gear_ == SHIFTING_UP;
622 output->right_high = right_gear_ == HIGH || right_gear_ == SHIFTING_UP;
Austin Schuh2054f5f2013-10-27 14:54:10 -0700623 }
624 }
625
626 private:
627 const ::aos::controls::HPolytope<2> U_Poly_;
628
629 ::std::unique_ptr<StateFeedbackLoop<2, 2, 2>> loop_;
630
Austin Schuh427b3702013-11-02 13:44:09 -0700631 const double ttrust_;
Austin Schuh2054f5f2013-10-27 14:54:10 -0700632 double wheel_;
633 double throttle_;
634 bool quickturn_;
Austin Schuh427b3702013-11-02 13:44:09 -0700635 int stale_count_;
636 double position_time_delta_;
637 Gear left_gear_;
638 Gear right_gear_;
639 Drivetrain::Position last_position_;
640 Drivetrain::Position position_;
Brian Silvermande8fd552013-11-03 15:53:42 -0800641 int counter_;
Austin Schuh2054f5f2013-10-27 14:54:10 -0700642};
Brian Silvermancec3c8d2013-12-20 21:04:55 -0800643constexpr double PolyDrivetrain::kStallTorque;
644constexpr double PolyDrivetrain::kStallCurrent;
645constexpr double PolyDrivetrain::kFreeSpeed;
646constexpr double PolyDrivetrain::kFreeCurrent;
647constexpr double PolyDrivetrain::J;
648constexpr double PolyDrivetrain::m;
649constexpr double PolyDrivetrain::rb;
650constexpr double PolyDrivetrain::kWheelRadius;
651constexpr double PolyDrivetrain::kR;
652constexpr double PolyDrivetrain::Kv;
653constexpr double PolyDrivetrain::Kt;
654
Austin Schuh2054f5f2013-10-27 14:54:10 -0700655
brians343bc112013-02-10 01:53:46 +0000656void DrivetrainLoop::RunIteration(const Drivetrain::Goal *goal,
657 const Drivetrain::Position *position,
658 Drivetrain::Output *output,
Ben Fredrickson890c3fe2014-03-02 00:15:16 +0000659 Drivetrain::Status * status) {
brians343bc112013-02-10 01:53:46 +0000660 // TODO(aschuh): These should be members of the class.
661 static DrivetrainMotorsSS dt_closedloop;
Austin Schuh2054f5f2013-10-27 14:54:10 -0700662 static PolyDrivetrain dt_openloop;
brians343bc112013-02-10 01:53:46 +0000663
664 bool bad_pos = false;
Austin Schuh427b3702013-11-02 13:44:09 -0700665 if (position == nullptr) {
Brian Silverman50a9d032014-02-16 17:20:57 -0800666 LOG_INTERVAL(no_position_);
brians343bc112013-02-10 01:53:46 +0000667 bad_pos = true;
668 }
Brian Silverman9c9ab422014-02-25 13:42:53 -0800669 no_position_.Print();
brians343bc112013-02-10 01:53:46 +0000670
671 double wheel = goal->steering;
672 double throttle = goal->throttle;
673 bool quickturn = goal->quickturn;
674 bool highgear = goal->highgear;
675
676 bool control_loop_driving = goal->control_loop_driving;
677 double left_goal = goal->left_goal;
678 double right_goal = goal->right_goal;
679
Austin Schuh2054f5f2013-10-27 14:54:10 -0700680 dt_closedloop.SetGoal(left_goal, goal->left_velocity_goal, right_goal,
681 goal->right_velocity_goal);
brians343bc112013-02-10 01:53:46 +0000682 if (!bad_pos) {
683 const double left_encoder = position->left_encoder;
684 const double right_encoder = position->right_encoder;
Brian Silverman6bf0d3c2014-03-08 12:52:54 -0800685 if (gyro_reading.FetchLatest()) {
Brian Silverman74e5b4e2014-03-09 16:58:58 -0700686 LOG_STRUCT(DEBUG, "using", *gyro_reading.get());
687 dt_closedloop.SetPosition(left_encoder, right_encoder,
Brian Silvermanfaac3a22014-04-30 17:54:30 -0700688 gyro_reading->angle);
brians343bc112013-02-10 01:53:46 +0000689 } else {
690 dt_closedloop.SetRawPosition(left_encoder, right_encoder);
691 }
692 }
Austin Schuh427b3702013-11-02 13:44:09 -0700693 dt_openloop.SetPosition(position);
brians343bc112013-02-10 01:53:46 +0000694 dt_openloop.SetGoal(wheel, throttle, quickturn, highgear);
695 dt_openloop.Update();
Ben Fredrickson890c3fe2014-03-02 00:15:16 +0000696
Brian Silverman2845c4c2013-03-16 19:54:08 -0700697 if (control_loop_driving) {
Brian Silvermanfaac3a22014-04-30 17:54:30 -0700698 dt_closedloop.Update(output == NULL, true);
Brian Silverman2845c4c2013-03-16 19:54:08 -0700699 dt_closedloop.SendMotors(output);
700 } else {
701 dt_openloop.SendMotors(output);
Austin Schuhb5afb692014-03-02 11:54:11 -0800702 if (output) {
703 dt_closedloop.SetExternalMotors(output->left_voltage,
704 output->right_voltage);
705 }
Brian Silvermanfaac3a22014-04-30 17:54:30 -0700706 dt_closedloop.Update(output == NULL, false);
brians343bc112013-02-10 01:53:46 +0000707 }
Ben Fredrickson890c3fe2014-03-02 00:15:16 +0000708
Brian Silvermanfaac3a22014-04-30 17:54:30 -0700709 // set the output status of the control loop state
Ben Fredrickson890c3fe2014-03-02 00:15:16 +0000710 if (status) {
711 bool done = false;
712 if (goal) {
713 done = ((::std::abs(goal->left_goal -
714 dt_closedloop.GetEstimatedLeftEncoder()) <
715 constants::GetValues().drivetrain_done_distance) &&
716 (::std::abs(goal->right_goal -
717 dt_closedloop.GetEstimatedRightEncoder()) <
718 constants::GetValues().drivetrain_done_distance));
719 }
720 status->is_done = done;
721 status->robot_speed = dt_closedloop.GetEstimatedRobotSpeed();
Austin Schuh577edf62014-04-13 10:33:05 -0700722 status->filtered_left_position = dt_closedloop.GetEstimatedLeftEncoder();
723 status->filtered_right_position = dt_closedloop.GetEstimatedRightEncoder();
Brian Silvermanb94069c2014-04-17 14:34:24 -0700724 status->output_was_capped = dt_closedloop.OutputWasCapped();
Brian Silverman273d8a32014-05-10 22:19:09 -0700725 status->uncapped_left_voltage = dt_closedloop.loop().U_uncapped(0);
726 status->uncapped_right_voltage = dt_closedloop.loop().U_uncapped(1);
brians343bc112013-02-10 01:53:46 +0000727 }
728}
729
730} // namespace control_loops
731} // namespace frc971