James Kuszmaul | 51fa1ae | 2022-02-26 00:49:57 -0800 | [diff] [blame^] | 1 | #include "y2022/localizer/localizer.h" |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 2 | |
| 3 | #include "frc971/control_loops/c2d.h" |
| 4 | #include "frc971/wpilib/imu_batch_generated.h" |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 5 | #include "y2022/constants.h" |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 6 | |
| 7 | namespace frc971::controls { |
| 8 | |
| 9 | namespace { |
| 10 | constexpr double kG = 9.80665; |
| 11 | constexpr std::chrono::microseconds kNominalDt(500); |
| 12 | |
| 13 | template <int N> |
| 14 | Eigen::Matrix<double, N, 1> MakeState(std::vector<double> values) { |
| 15 | CHECK_EQ(static_cast<size_t>(N), values.size()); |
| 16 | Eigen::Matrix<double, N, 1> vector; |
| 17 | for (int ii = 0; ii < N; ++ii) { |
| 18 | vector(ii, 0) = values[ii]; |
| 19 | } |
| 20 | return vector; |
| 21 | } |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 22 | } // namespace |
| 23 | |
| 24 | ModelBasedLocalizer::ModelBasedLocalizer( |
| 25 | const control_loops::drivetrain::DrivetrainConfig<double> &dt_config) |
| 26 | : dt_config_(dt_config), |
| 27 | velocity_drivetrain_coefficients_( |
| 28 | dt_config.make_hybrid_drivetrain_velocity_loop() |
| 29 | .plant() |
| 30 | .coefficients()), |
| 31 | down_estimator_(dt_config) { |
James Kuszmaul | 93825a0 | 2022-02-13 16:50:33 -0800 | [diff] [blame] | 32 | CHECK_EQ(branches_.capacity(), static_cast<size_t>(std::chrono::seconds(1) / |
| 33 | kNominalDt / kBranchPeriod)); |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 34 | if (dt_config_.is_simulated) { |
| 35 | down_estimator_.assume_perfect_gravity(); |
| 36 | } |
| 37 | A_continuous_accel_.setZero(); |
| 38 | A_continuous_model_.setZero(); |
| 39 | B_continuous_accel_.setZero(); |
| 40 | B_continuous_model_.setZero(); |
| 41 | |
| 42 | A_continuous_accel_(kX, kVelocityX) = 1.0; |
| 43 | A_continuous_accel_(kY, kVelocityY) = 1.0; |
| 44 | |
| 45 | const double diameter = 2.0 * dt_config_.robot_radius; |
| 46 | |
| 47 | A_continuous_model_(kTheta, kLeftVelocity) = -1.0 / diameter; |
| 48 | A_continuous_model_(kTheta, kRightVelocity) = 1.0 / diameter; |
| 49 | A_continuous_model_(kLeftEncoder, kLeftVelocity) = 1.0; |
| 50 | A_continuous_model_(kRightEncoder, kRightVelocity) = 1.0; |
| 51 | const auto &vel_coefs = velocity_drivetrain_coefficients_; |
| 52 | A_continuous_model_(kLeftVelocity, kLeftVelocity) = |
| 53 | vel_coefs.A_continuous(0, 0); |
| 54 | A_continuous_model_(kLeftVelocity, kRightVelocity) = |
| 55 | vel_coefs.A_continuous(0, 1); |
| 56 | A_continuous_model_(kRightVelocity, kLeftVelocity) = |
| 57 | vel_coefs.A_continuous(1, 0); |
| 58 | A_continuous_model_(kRightVelocity, kRightVelocity) = |
| 59 | vel_coefs.A_continuous(1, 1); |
| 60 | |
| 61 | A_continuous_model_(kLeftVelocity, kLeftVoltageError) = |
| 62 | 1 * vel_coefs.B_continuous(0, 0); |
| 63 | A_continuous_model_(kLeftVelocity, kRightVoltageError) = |
| 64 | 1 * vel_coefs.B_continuous(0, 1); |
| 65 | A_continuous_model_(kRightVelocity, kLeftVoltageError) = |
| 66 | 1 * vel_coefs.B_continuous(1, 0); |
| 67 | A_continuous_model_(kRightVelocity, kRightVoltageError) = |
| 68 | 1 * vel_coefs.B_continuous(1, 1); |
| 69 | |
| 70 | B_continuous_model_.block<1, 2>(kLeftVelocity, kLeftVoltage) = |
| 71 | vel_coefs.B_continuous.row(0); |
| 72 | B_continuous_model_.block<1, 2>(kRightVelocity, kLeftVoltage) = |
| 73 | vel_coefs.B_continuous.row(1); |
| 74 | |
| 75 | B_continuous_accel_(kVelocityX, kAccelX) = 1.0; |
| 76 | B_continuous_accel_(kVelocityY, kAccelY) = 1.0; |
| 77 | B_continuous_accel_(kTheta, kThetaRate) = 1.0; |
| 78 | |
| 79 | Q_continuous_model_.setZero(); |
| 80 | Q_continuous_model_.diagonal() << 1e-4, 1e-4, 1e-4, 1e-2, 1e-0, 1e-0, 1e-2, |
| 81 | 1e-0, 1e-0; |
| 82 | |
| 83 | P_model_ = Q_continuous_model_ * aos::time::DurationInSeconds(kNominalDt); |
| 84 | } |
| 85 | |
| 86 | Eigen::Matrix<double, ModelBasedLocalizer::kNModelStates, |
| 87 | ModelBasedLocalizer::kNModelStates> |
| 88 | ModelBasedLocalizer::AModel( |
| 89 | const ModelBasedLocalizer::ModelState &state) const { |
| 90 | Eigen::Matrix<double, kNModelStates, kNModelStates> A = A_continuous_model_; |
| 91 | const double theta = state(kTheta); |
| 92 | const double stheta = std::sin(theta); |
| 93 | const double ctheta = std::cos(theta); |
| 94 | const double velocity = (state(kLeftVelocity) + state(kRightVelocity)) / 2.0; |
| 95 | A(kX, kTheta) = -stheta * velocity; |
| 96 | A(kX, kLeftVelocity) = ctheta / 2.0; |
| 97 | A(kX, kRightVelocity) = ctheta / 2.0; |
| 98 | A(kY, kTheta) = ctheta * velocity; |
| 99 | A(kY, kLeftVelocity) = stheta / 2.0; |
| 100 | A(kY, kRightVelocity) = stheta / 2.0; |
| 101 | return A; |
| 102 | } |
| 103 | |
| 104 | Eigen::Matrix<double, ModelBasedLocalizer::kNAccelStates, |
| 105 | ModelBasedLocalizer::kNAccelStates> |
| 106 | ModelBasedLocalizer::AAccel() const { |
| 107 | return A_continuous_accel_; |
| 108 | } |
| 109 | |
| 110 | ModelBasedLocalizer::ModelState ModelBasedLocalizer::DiffModel( |
| 111 | const ModelBasedLocalizer::ModelState &state, |
| 112 | const ModelBasedLocalizer::ModelInput &U) const { |
| 113 | ModelState x_dot = AModel(state) * state + B_continuous_model_ * U; |
| 114 | const double theta = state(kTheta); |
| 115 | const double stheta = std::sin(theta); |
| 116 | const double ctheta = std::cos(theta); |
| 117 | const double velocity = (state(kLeftVelocity) + state(kRightVelocity)) / 2.0; |
| 118 | x_dot(kX) = ctheta * velocity; |
| 119 | x_dot(kY) = stheta * velocity; |
| 120 | return x_dot; |
| 121 | } |
| 122 | |
| 123 | ModelBasedLocalizer::AccelState ModelBasedLocalizer::DiffAccel( |
| 124 | const ModelBasedLocalizer::AccelState &state, |
| 125 | const ModelBasedLocalizer::AccelInput &U) const { |
| 126 | return AAccel() * state + B_continuous_accel_ * U; |
| 127 | } |
| 128 | |
| 129 | ModelBasedLocalizer::ModelState ModelBasedLocalizer::UpdateModel( |
| 130 | const ModelBasedLocalizer::ModelState &model, |
| 131 | const ModelBasedLocalizer::ModelInput &input, |
| 132 | const aos::monotonic_clock::duration dt) const { |
| 133 | return control_loops::RungeKutta( |
| 134 | std::bind(&ModelBasedLocalizer::DiffModel, this, std::placeholders::_1, |
| 135 | input), |
| 136 | model, aos::time::DurationInSeconds(dt)); |
| 137 | } |
| 138 | |
| 139 | ModelBasedLocalizer::AccelState ModelBasedLocalizer::UpdateAccel( |
| 140 | const ModelBasedLocalizer::AccelState &accel, |
| 141 | const ModelBasedLocalizer::AccelInput &input, |
| 142 | const aos::monotonic_clock::duration dt) const { |
| 143 | return control_loops::RungeKutta( |
| 144 | std::bind(&ModelBasedLocalizer::DiffAccel, this, std::placeholders::_1, |
| 145 | input), |
| 146 | accel, aos::time::DurationInSeconds(dt)); |
| 147 | } |
| 148 | |
| 149 | ModelBasedLocalizer::AccelState ModelBasedLocalizer::AccelStateForModelState( |
| 150 | const ModelBasedLocalizer::ModelState &state) const { |
| 151 | const double robot_speed = |
| 152 | (state(kLeftVelocity) + state(kRightVelocity)) / 2.0; |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 153 | const double lat_speed = (AModel(state) * state)(kTheta) * long_offset_; |
| 154 | const double velocity_x = std::cos(state(kTheta)) * robot_speed - |
| 155 | std::sin(state(kTheta)) * lat_speed; |
| 156 | const double velocity_y = std::sin(state(kTheta)) * robot_speed + |
| 157 | std::cos(state(kTheta)) * lat_speed; |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 158 | return (AccelState() << state(0), state(1), state(2), velocity_x, velocity_y) |
| 159 | .finished(); |
| 160 | } |
| 161 | |
| 162 | ModelBasedLocalizer::ModelState ModelBasedLocalizer::ModelStateForAccelState( |
| 163 | const ModelBasedLocalizer::AccelState &state, |
| 164 | const Eigen::Vector2d &encoders, const double yaw_rate) const { |
| 165 | const double robot_speed = state(kVelocityX) * std::cos(state(kTheta)) + |
| 166 | state(kVelocityY) * std::sin(state(kTheta)); |
| 167 | const double radius = dt_config_.robot_radius; |
| 168 | const double left_velocity = robot_speed - yaw_rate * radius; |
| 169 | const double right_velocity = robot_speed + yaw_rate * radius; |
| 170 | return (ModelState() << state(0), state(1), state(2), encoders(0), |
| 171 | left_velocity, 0.0, encoders(1), right_velocity, 0.0) |
| 172 | .finished(); |
| 173 | } |
| 174 | |
| 175 | double ModelBasedLocalizer::ModelDivergence( |
| 176 | const ModelBasedLocalizer::CombinedState &state, |
| 177 | const ModelBasedLocalizer::AccelInput &accel_inputs, |
| 178 | const Eigen::Vector2d &filtered_accel, |
| 179 | const ModelBasedLocalizer::ModelInput &model_inputs) { |
| 180 | // Convert the model state into the acceleration-based state-space and check |
| 181 | // the distance between the two (should really be a weighted norm, but all the |
| 182 | // numbers are on ~the same scale). |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 183 | // TODO(james): Maybe weight lateral velocity divergence different than |
| 184 | // longitudinal? Seems like we tend to get false-positives currently when in |
| 185 | // sharp turns. |
| 186 | // TODO(james): For off-center gyros, maybe reduce noise when turning? |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 187 | VLOG(2) << "divergence: " |
| 188 | << (state.accel_state - AccelStateForModelState(state.model_state)) |
| 189 | .transpose(); |
| 190 | const AccelState diff_accel = DiffAccel(state.accel_state, accel_inputs); |
| 191 | const ModelState diff_model = DiffModel(state.model_state, model_inputs); |
| 192 | const double model_lng_velocity = |
| 193 | (state.model_state(kLeftVelocity) + state.model_state(kRightVelocity)) / |
| 194 | 2.0; |
| 195 | const double model_lng_accel = |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 196 | (diff_model(kLeftVelocity) + diff_model(kRightVelocity)) / 2.0 - |
| 197 | diff_model(kTheta) * diff_model(kTheta) * long_offset_; |
| 198 | const double model_lat_accel = diff_model(kTheta) * model_lng_velocity; |
| 199 | const Eigen::Vector2d robot_frame_accel(model_lng_accel, model_lat_accel); |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 200 | const Eigen::Vector2d model_accel = |
| 201 | Eigen::AngleAxisd(state.model_state(kTheta), Eigen::Vector3d::UnitZ()) |
| 202 | .toRotationMatrix() |
| 203 | .block<2, 2>(0, 0) * |
| 204 | robot_frame_accel; |
| 205 | const double accel_diff = (model_accel - filtered_accel).norm(); |
| 206 | const double theta_rate_diff = |
| 207 | std::abs(diff_accel(kTheta) - diff_model(kTheta)); |
| 208 | |
| 209 | const Eigen::Vector2d accel_vel = state.accel_state.bottomRows<2>(); |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 210 | Eigen::Vector2d model_vel = |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 211 | AccelStateForModelState(state.model_state).bottomRows<2>(); |
| 212 | velocity_residual_ = (accel_vel - model_vel).norm() / |
| 213 | (1.0 + accel_vel.norm() + model_vel.norm()); |
| 214 | theta_rate_residual_ = theta_rate_diff; |
| 215 | accel_residual_ = accel_diff / 4.0; |
| 216 | return velocity_residual_ + theta_rate_residual_ + accel_residual_; |
| 217 | } |
| 218 | |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 219 | void ModelBasedLocalizer::UpdateState( |
| 220 | CombinedState *state, |
| 221 | const Eigen::Matrix<double, kNModelStates, kNModelOutputs> &K, |
| 222 | const Eigen::Matrix<double, kNModelOutputs, 1> &Z, |
| 223 | const Eigen::Matrix<double, kNModelOutputs, kNModelStates> &H, |
| 224 | const AccelInput &accel_input, const ModelInput &model_input, |
| 225 | aos::monotonic_clock::duration dt) { |
| 226 | state->accel_state = UpdateAccel(state->accel_state, accel_input, dt); |
| 227 | if (down_estimator_.consecutive_still() > 500.0) { |
| 228 | state->accel_state(kVelocityX) *= 0.9; |
| 229 | state->accel_state(kVelocityY) *= 0.9; |
| 230 | } |
| 231 | state->model_state = UpdateModel(state->model_state, model_input, dt); |
| 232 | state->model_state += K * (Z - H * state->model_state); |
| 233 | } |
| 234 | |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 235 | void ModelBasedLocalizer::HandleImu(aos::monotonic_clock::time_point t, |
| 236 | const Eigen::Vector3d &gyro, |
| 237 | const Eigen::Vector3d &accel, |
| 238 | const Eigen::Vector2d encoders, |
| 239 | const Eigen::Vector2d voltage) { |
| 240 | VLOG(2) << t; |
| 241 | if (t_ == aos::monotonic_clock::min_time) { |
| 242 | t_ = t; |
| 243 | } |
| 244 | if (t_ + 2 * kNominalDt < t) { |
| 245 | t_ = t; |
| 246 | ++clock_resets_; |
| 247 | } |
| 248 | const aos::monotonic_clock::duration dt = t - t_; |
| 249 | t_ = t; |
| 250 | down_estimator_.Predict(gyro, accel, dt); |
| 251 | // TODO(james): Should we prefer this or use the down-estimator corrected |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 252 | // version? Using the down estimator is more principled, but does create more |
| 253 | // opportunities for subtle biases. |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 254 | const double yaw_rate = (dt_config_.imu_transform * gyro)(2); |
| 255 | const double diameter = 2.0 * dt_config_.robot_radius; |
| 256 | |
| 257 | const Eigen::AngleAxis<double> orientation( |
| 258 | Eigen::AngleAxis<double>(xytheta()(kTheta), Eigen::Vector3d::UnitZ()) * |
| 259 | down_estimator_.X_hat()); |
James Kuszmaul | 10d3fd4 | 2022-02-25 21:57:36 -0800 | [diff] [blame] | 260 | last_orientation_ = orientation; |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 261 | |
| 262 | const Eigen::Vector3d absolute_accel = |
| 263 | orientation * dt_config_.imu_transform * kG * accel; |
| 264 | abs_accel_ = absolute_accel; |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 265 | |
| 266 | VLOG(2) << "abs accel " << absolute_accel.transpose(); |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 267 | VLOG(2) << "dt " << aos::time::DurationInSeconds(dt); |
| 268 | |
| 269 | // Update all the branched states. |
| 270 | const AccelInput accel_input(absolute_accel.x(), absolute_accel.y(), |
| 271 | yaw_rate); |
| 272 | const ModelInput model_input(voltage); |
| 273 | |
| 274 | const Eigen::Matrix<double, kNModelStates, kNModelStates> A_continuous = |
| 275 | AModel(current_state_.model_state); |
| 276 | |
| 277 | Eigen::Matrix<double, kNModelStates, kNModelStates> A_discrete; |
| 278 | Eigen::Matrix<double, kNModelStates, kNModelStates> Q_discrete; |
| 279 | |
| 280 | DiscretizeQAFast(Q_continuous_model_, A_continuous, dt, &Q_discrete, |
| 281 | &A_discrete); |
| 282 | |
| 283 | P_model_ = A_discrete * P_model_ * A_discrete.transpose() + Q_discrete; |
| 284 | |
| 285 | Eigen::Matrix<double, kNModelOutputs, kNModelStates> H; |
| 286 | Eigen::Matrix<double, kNModelOutputs, kNModelOutputs> R; |
| 287 | { |
| 288 | H.setZero(); |
| 289 | R.setZero(); |
| 290 | H(0, kLeftEncoder) = 1.0; |
| 291 | H(1, kRightEncoder) = 1.0; |
| 292 | H(2, kRightVelocity) = 1.0 / diameter; |
| 293 | H(2, kLeftVelocity) = -1.0 / diameter; |
| 294 | |
| 295 | R.diagonal() << 1e-9, 1e-9, 1e-13; |
| 296 | } |
| 297 | |
| 298 | const Eigen::Matrix<double, kNModelOutputs, 1> Z(encoders(0), encoders(1), |
| 299 | yaw_rate); |
| 300 | |
| 301 | if (branches_.empty()) { |
| 302 | VLOG(2) << "Initializing"; |
| 303 | current_state_.model_state.setZero(); |
| 304 | current_state_.accel_state.setZero(); |
| 305 | current_state_.model_state(kLeftEncoder) = encoders(0); |
| 306 | current_state_.model_state(kRightEncoder) = encoders(1); |
| 307 | current_state_.branch_time = t; |
| 308 | branches_.Push(current_state_); |
| 309 | } |
| 310 | |
| 311 | const Eigen::Matrix<double, kNModelStates, kNModelOutputs> K = |
| 312 | P_model_ * H.transpose() * (H * P_model_ * H.transpose() + R).inverse(); |
| 313 | P_model_ = (Eigen::Matrix<double, kNModelStates, kNModelStates>::Identity() - |
| 314 | K * H) * |
| 315 | P_model_; |
| 316 | VLOG(2) << "K\n" << K; |
| 317 | VLOG(2) << "Z\n" << Z.transpose(); |
| 318 | |
| 319 | for (CombinedState &state : branches_) { |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 320 | UpdateState(&state, K, Z, H, accel_input, model_input, dt); |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 321 | } |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 322 | UpdateState(¤t_state_, K, Z, H, accel_input, model_input, dt); |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 323 | |
| 324 | VLOG(2) << "oildest accel " << branches_[0].accel_state.transpose(); |
| 325 | VLOG(2) << "oildest accel diff " |
| 326 | << DiffAccel(branches_[0].accel_state, accel_input).transpose(); |
| 327 | VLOG(2) << "oildest model " << branches_[0].model_state.transpose(); |
| 328 | |
| 329 | // Determine whether to switch modes--if we are currently in model-based mode, |
| 330 | // swap to accel-based if the two states have divergeed meaningfully in the |
| 331 | // oldest branch. If we are currently in accel-based, then swap back to model |
| 332 | // if the oldest model branch matches has matched the |
| 333 | filtered_residual_accel_ += |
| 334 | 0.01 * (accel_input.topRows<2>() - filtered_residual_accel_); |
| 335 | const double model_divergence = |
| 336 | branches_.full() ? ModelDivergence(branches_[0], accel_input, |
| 337 | filtered_residual_accel_, model_input) |
| 338 | : 0.0; |
| 339 | filtered_residual_ += |
| 340 | (1.0 - std::exp(-aos::time::DurationInSeconds(kNominalDt) / 0.0095)) * |
| 341 | (model_divergence - filtered_residual_); |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 342 | // TODO(james): Tune this more. Currently set to generally trust the model, |
| 343 | // perhaps a bit too much. |
| 344 | // When the residual exceeds the accel threshold, we start using the inertials |
| 345 | // alone; when it drops back below the model threshold, we go back to being |
| 346 | // model-based. |
| 347 | constexpr double kUseAccelThreshold = 2.0; |
| 348 | constexpr double kUseModelThreshold = 0.5; |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 349 | constexpr size_t kShareStates = kNModelStates; |
| 350 | static_assert(kUseModelThreshold < kUseAccelThreshold); |
| 351 | if (using_model_) { |
| 352 | if (filtered_residual_ > kUseAccelThreshold) { |
| 353 | hysteresis_count_++; |
| 354 | } else { |
| 355 | hysteresis_count_ = 0; |
| 356 | } |
| 357 | if (hysteresis_count_ > 0) { |
| 358 | using_model_ = false; |
| 359 | // Grab the accel-based state from back when we started diverging. |
| 360 | // TODO(james): This creates a problematic selection bias, because |
| 361 | // we will tend to bias towards deliberately out-of-tune measurements. |
| 362 | current_state_.accel_state = branches_[0].accel_state; |
| 363 | current_state_.model_state = branches_[0].model_state; |
| 364 | current_state_.model_state = ModelStateForAccelState( |
| 365 | current_state_.accel_state, encoders, yaw_rate); |
| 366 | } else { |
| 367 | VLOG(2) << "Normal branching"; |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 368 | current_state_.accel_state = |
| 369 | AccelStateForModelState(current_state_.model_state); |
| 370 | current_state_.branch_time = t; |
| 371 | } |
| 372 | hysteresis_count_ = 0; |
| 373 | } else { |
| 374 | if (filtered_residual_ < kUseModelThreshold) { |
| 375 | hysteresis_count_++; |
| 376 | } else { |
| 377 | hysteresis_count_ = 0; |
| 378 | } |
| 379 | if (hysteresis_count_ > 100) { |
| 380 | using_model_ = true; |
| 381 | // Grab the model-based state from back when we stopped diverging. |
| 382 | current_state_.model_state.topRows<kShareStates>() = |
| 383 | ModelStateForAccelState(branches_[0].accel_state, encoders, yaw_rate) |
| 384 | .topRows<kShareStates>(); |
| 385 | current_state_.accel_state = |
| 386 | AccelStateForModelState(current_state_.model_state); |
| 387 | } else { |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 388 | // TODO(james): Why was I leaving the encoders/wheel velocities in place? |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 389 | current_state_.model_state = ModelStateForAccelState( |
| 390 | current_state_.accel_state, encoders, yaw_rate); |
| 391 | current_state_.branch_time = t; |
| 392 | } |
| 393 | } |
| 394 | |
| 395 | // Generate a new branch, with the accel state reset based on the model-based |
| 396 | // state (really, just getting rid of the lateral velocity). |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 397 | // By resetting the accel state in the new branch, this tries to minimize the |
| 398 | // odds of runaway lateral velocities. This doesn't help with runaway |
| 399 | // longitudinal velocities, however. |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 400 | CombinedState new_branch = current_state_; |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 401 | new_branch.accel_state = AccelStateForModelState(new_branch.model_state); |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 402 | new_branch.accumulated_divergence = 0.0; |
| 403 | |
James Kuszmaul | 93825a0 | 2022-02-13 16:50:33 -0800 | [diff] [blame] | 404 | ++branch_counter_; |
| 405 | if (branch_counter_ % kBranchPeriod == 0) { |
| 406 | branches_.Push(new_branch); |
| 407 | branch_counter_ = 0; |
| 408 | } |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 409 | |
| 410 | last_residual_ = model_divergence; |
| 411 | |
| 412 | VLOG(2) << "Using " << (using_model_ ? "model" : "accel"); |
| 413 | VLOG(2) << "Residual " << last_residual_; |
| 414 | VLOG(2) << "Filtered Residual " << filtered_residual_; |
| 415 | VLOG(2) << "buffer size " << branches_.size(); |
| 416 | VLOG(2) << "Model state " << current_state_.model_state.transpose(); |
| 417 | VLOG(2) << "Accel state " << current_state_.accel_state.transpose(); |
| 418 | VLOG(2) << "Accel state for model " |
| 419 | << AccelStateForModelState(current_state_.model_state).transpose(); |
| 420 | VLOG(2) << "Input acce " << accel.transpose(); |
| 421 | VLOG(2) << "Input gyro " << gyro.transpose(); |
| 422 | VLOG(2) << "Input voltage " << voltage.transpose(); |
| 423 | VLOG(2) << "Input encoder " << encoders.transpose(); |
| 424 | VLOG(2) << "yaw rate " << yaw_rate; |
| 425 | |
| 426 | CHECK(std::isfinite(last_residual_)); |
| 427 | } |
| 428 | |
| 429 | void ModelBasedLocalizer::HandleReset(aos::monotonic_clock::time_point now, |
| 430 | const Eigen::Vector3d &xytheta) { |
| 431 | branches_.Reset(); |
| 432 | t_ = now; |
| 433 | using_model_ = true; |
| 434 | current_state_.model_state << xytheta(0), xytheta(1), xytheta(2), |
| 435 | current_state_.model_state(kLeftEncoder), 0.0, 0.0, |
| 436 | current_state_.model_state(kRightEncoder), 0.0, 0.0; |
| 437 | current_state_.accel_state = |
| 438 | AccelStateForModelState(current_state_.model_state); |
| 439 | last_residual_ = 0.0; |
| 440 | filtered_residual_ = 0.0; |
| 441 | filtered_residual_accel_.setZero(); |
| 442 | abs_accel_.setZero(); |
| 443 | } |
| 444 | |
| 445 | flatbuffers::Offset<AccelBasedState> ModelBasedLocalizer::BuildAccelState( |
| 446 | flatbuffers::FlatBufferBuilder *fbb, const AccelState &state) { |
| 447 | AccelBasedState::Builder accel_state_builder(*fbb); |
| 448 | accel_state_builder.add_x(state(kX)); |
| 449 | accel_state_builder.add_y(state(kY)); |
| 450 | accel_state_builder.add_theta(state(kTheta)); |
| 451 | accel_state_builder.add_velocity_x(state(kVelocityX)); |
| 452 | accel_state_builder.add_velocity_y(state(kVelocityY)); |
| 453 | return accel_state_builder.Finish(); |
| 454 | } |
| 455 | |
| 456 | flatbuffers::Offset<ModelBasedState> ModelBasedLocalizer::BuildModelState( |
| 457 | flatbuffers::FlatBufferBuilder *fbb, const ModelState &state) { |
| 458 | ModelBasedState::Builder model_state_builder(*fbb); |
| 459 | model_state_builder.add_x(state(kX)); |
| 460 | model_state_builder.add_y(state(kY)); |
| 461 | model_state_builder.add_theta(state(kTheta)); |
| 462 | model_state_builder.add_left_encoder(state(kLeftEncoder)); |
| 463 | model_state_builder.add_left_velocity(state(kLeftVelocity)); |
| 464 | model_state_builder.add_left_voltage_error(state(kLeftVoltageError)); |
| 465 | model_state_builder.add_right_encoder(state(kRightEncoder)); |
| 466 | model_state_builder.add_right_velocity(state(kRightVelocity)); |
| 467 | model_state_builder.add_right_voltage_error(state(kRightVoltageError)); |
| 468 | return model_state_builder.Finish(); |
| 469 | } |
| 470 | |
| 471 | flatbuffers::Offset<ModelBasedStatus> ModelBasedLocalizer::PopulateStatus( |
| 472 | flatbuffers::FlatBufferBuilder *fbb) { |
| 473 | const flatbuffers::Offset<control_loops::drivetrain::DownEstimatorState> |
| 474 | down_estimator_offset = down_estimator_.PopulateStatus(fbb, t_); |
| 475 | |
| 476 | const CombinedState &state = current_state_; |
| 477 | |
| 478 | const flatbuffers::Offset<ModelBasedState> model_state_offset = |
| 479 | BuildModelState(fbb, state.model_state); |
| 480 | |
| 481 | const flatbuffers::Offset<AccelBasedState> accel_state_offset = |
| 482 | BuildAccelState(fbb, state.accel_state); |
| 483 | |
| 484 | const flatbuffers::Offset<AccelBasedState> oldest_accel_state_offset = |
| 485 | branches_.empty() ? flatbuffers::Offset<AccelBasedState>() |
| 486 | : BuildAccelState(fbb, branches_[0].accel_state); |
| 487 | |
| 488 | const flatbuffers::Offset<ModelBasedState> oldest_model_state_offset = |
| 489 | branches_.empty() ? flatbuffers::Offset<ModelBasedState>() |
| 490 | : BuildModelState(fbb, branches_[0].model_state); |
| 491 | |
| 492 | ModelBasedStatus::Builder builder(*fbb); |
| 493 | builder.add_accel_state(accel_state_offset); |
| 494 | builder.add_oldest_accel_state(oldest_accel_state_offset); |
| 495 | builder.add_oldest_model_state(oldest_model_state_offset); |
| 496 | builder.add_model_state(model_state_offset); |
| 497 | builder.add_using_model(using_model_); |
| 498 | builder.add_residual(last_residual_); |
| 499 | builder.add_filtered_residual(filtered_residual_); |
| 500 | builder.add_velocity_residual(velocity_residual_); |
| 501 | builder.add_accel_residual(accel_residual_); |
| 502 | builder.add_theta_rate_residual(theta_rate_residual_); |
| 503 | builder.add_down_estimator(down_estimator_offset); |
| 504 | builder.add_x(xytheta()(0)); |
| 505 | builder.add_y(xytheta()(1)); |
| 506 | builder.add_theta(xytheta()(2)); |
| 507 | builder.add_implied_accel_x(abs_accel_(0)); |
| 508 | builder.add_implied_accel_y(abs_accel_(1)); |
| 509 | builder.add_implied_accel_z(abs_accel_(2)); |
| 510 | builder.add_clock_resets(clock_resets_); |
| 511 | return builder.Finish(); |
| 512 | } |
| 513 | |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 514 | namespace { |
| 515 | // Period at which the encoder readings from the IMU board wrap. |
| 516 | static double DrivetrainWrapPeriod() { |
| 517 | return y2022::constants::Values::DrivetrainEncoderToMeters(1 << 16); |
| 518 | } |
| 519 | } |
| 520 | |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 521 | EventLoopLocalizer::EventLoopLocalizer( |
| 522 | aos::EventLoop *event_loop, |
| 523 | const control_loops::drivetrain::DrivetrainConfig<double> &dt_config) |
| 524 | : event_loop_(event_loop), |
| 525 | model_based_(dt_config), |
| 526 | status_sender_(event_loop_->MakeSender<LocalizerStatus>("/localizer")), |
| 527 | output_sender_(event_loop_->MakeSender<LocalizerOutput>("/localizer")), |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 528 | output_fetcher_( |
| 529 | event_loop_->MakeFetcher<frc971::control_loops::drivetrain::Output>( |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 530 | "/drivetrain")), |
| 531 | left_encoder_(-DrivetrainWrapPeriod() / 2.0, DrivetrainWrapPeriod()), |
| 532 | right_encoder_(-DrivetrainWrapPeriod() / 2.0, DrivetrainWrapPeriod()) { |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 533 | event_loop_->MakeWatcher( |
| 534 | "/drivetrain", |
| 535 | [this]( |
| 536 | const frc971::control_loops::drivetrain::LocalizerControl &control) { |
| 537 | const double theta = control.keep_current_theta() |
| 538 | ? model_based_.xytheta()(2) |
| 539 | : control.theta(); |
| 540 | model_based_.HandleReset(event_loop_->monotonic_now(), |
| 541 | {control.x(), control.y(), theta}); |
| 542 | }); |
| 543 | event_loop_->MakeWatcher( |
| 544 | "/localizer", [this](const frc971::IMUValuesBatch &values) { |
| 545 | CHECK(values.has_readings()); |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 546 | output_fetcher_.Fetch(); |
| 547 | for (const IMUValues *value : *values.readings()) { |
| 548 | zeroer_.InsertAndProcessMeasurement(*value); |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 549 | const Eigen::Vector2d encoders{ |
| 550 | left_encoder_.Unwrap(value->left_encoder()), |
| 551 | right_encoder_.Unwrap(value->right_encoder())}; |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 552 | if (zeroer_.Zeroed()) { |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 553 | const aos::monotonic_clock::time_point pico_timestamp{ |
| 554 | std::chrono::microseconds(value->pico_timestamp_us())}; |
| 555 | // TODO(james): If we get large enough drift off of the pico, |
| 556 | // actually do something about it. |
| 557 | if (!pico_offset_.has_value()) { |
| 558 | pico_offset_ = |
| 559 | event_loop_->context().monotonic_event_time - pico_timestamp; |
| 560 | last_pico_timestamp_ = pico_timestamp; |
James Kuszmaul | e5f67dd | 2022-02-12 20:08:29 -0800 | [diff] [blame] | 561 | } |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 562 | if (pico_timestamp < last_pico_timestamp_) { |
| 563 | pico_offset_.value() += std::chrono::microseconds(1ULL << 32); |
| 564 | } |
| 565 | const aos::monotonic_clock::time_point sample_timestamp = |
| 566 | pico_offset_.value() + pico_timestamp; |
| 567 | pico_offset_error_ = |
| 568 | event_loop_->context().monotonic_event_time - sample_timestamp; |
| 569 | const bool disabled = |
| 570 | (output_fetcher_.get() == nullptr) || |
| 571 | (output_fetcher_.context().monotonic_event_time + |
| 572 | std::chrono::milliseconds(10) < |
| 573 | event_loop_->context().monotonic_event_time); |
| 574 | model_based_.HandleImu( |
| 575 | sample_timestamp, |
| 576 | zeroer_.ZeroedGyro(), zeroer_.ZeroedAccel(), encoders, |
| 577 | disabled ? Eigen::Vector2d::Zero() |
| 578 | : Eigen::Vector2d{output_fetcher_->left_voltage(), |
| 579 | output_fetcher_->right_voltage()}); |
| 580 | last_pico_timestamp_ = pico_timestamp; |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 581 | } |
| 582 | { |
| 583 | auto builder = status_sender_.MakeBuilder(); |
| 584 | const flatbuffers::Offset<ModelBasedStatus> model_based_status = |
| 585 | model_based_.PopulateStatus(builder.fbb()); |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 586 | const flatbuffers::Offset<control_loops::drivetrain::ImuZeroerState> |
| 587 | zeroer_status = zeroer_.PopulateStatus(builder.fbb()); |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 588 | LocalizerStatus::Builder status_builder = |
| 589 | builder.MakeBuilder<LocalizerStatus>(); |
| 590 | status_builder.add_model_based(model_based_status); |
| 591 | status_builder.add_zeroed(zeroer_.Zeroed()); |
| 592 | status_builder.add_faulted_zero(zeroer_.Faulted()); |
James Kuszmaul | 5ed29dd | 2022-02-13 18:32:06 -0800 | [diff] [blame] | 593 | status_builder.add_zeroing(zeroer_status); |
| 594 | status_builder.add_left_encoder(encoders(0)); |
| 595 | status_builder.add_right_encoder(encoders(1)); |
| 596 | if (pico_offset_.has_value()) { |
| 597 | status_builder.add_pico_offset_ns(pico_offset_.value().count()); |
| 598 | status_builder.add_pico_offset_error_ns( |
| 599 | pico_offset_error_.count()); |
| 600 | } |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 601 | builder.CheckOk(builder.Send(status_builder.Finish())); |
| 602 | } |
| 603 | if (last_output_send_ + std::chrono::milliseconds(5) < |
| 604 | event_loop_->context().monotonic_event_time) { |
| 605 | auto builder = output_sender_.MakeBuilder(); |
| 606 | LocalizerOutput::Builder output_builder = |
| 607 | builder.MakeBuilder<LocalizerOutput>(); |
James Kuszmaul | 1798c07 | 2022-02-13 15:32:11 -0800 | [diff] [blame] | 608 | // TODO(james): Should we bother to try to estimate time offsets for |
| 609 | // the pico? |
| 610 | output_builder.add_monotonic_timestamp_ns( |
| 611 | value->monotonic_timestamp_ns()); |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 612 | output_builder.add_x(model_based_.xytheta()(0)); |
| 613 | output_builder.add_y(model_based_.xytheta()(1)); |
| 614 | output_builder.add_theta(model_based_.xytheta()(2)); |
James Kuszmaul | 10d3fd4 | 2022-02-25 21:57:36 -0800 | [diff] [blame] | 615 | const Eigen::Quaterniond &orientation = model_based_.orientation(); |
| 616 | Quaternion quaternion; |
| 617 | quaternion.mutate_x(orientation.x()); |
| 618 | quaternion.mutate_y(orientation.y()); |
| 619 | quaternion.mutate_z(orientation.z()); |
| 620 | quaternion.mutate_w(orientation.w()); |
| 621 | output_builder.add_orientation(&quaternion); |
James Kuszmaul | 29c5952 | 2022-02-12 16:44:26 -0800 | [diff] [blame] | 622 | builder.CheckOk(builder.Send(output_builder.Finish())); |
| 623 | last_output_send_ = event_loop_->monotonic_now(); |
| 624 | } |
| 625 | } |
| 626 | }); |
| 627 | } |
| 628 | |
| 629 | } // namespace frc971::controls |