Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 1 | #ifndef FRC971_CONTROL_LOOPS_PROFILED_SUBSYSTEM_H_ |
| 2 | #define FRC971_CONTROL_LOOPS_PROFILED_SUBSYSTEM_H_ |
| 3 | |
| 4 | #include <array> |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 5 | #include <chrono> |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 6 | #include <memory> |
| 7 | #include <utility> |
| 8 | |
| 9 | #include "Eigen/Dense" |
Philipp Schrader | 790cb54 | 2023-07-05 21:06:52 -0700 | [diff] [blame] | 10 | |
John Park | 33858a3 | 2018-09-28 23:05:48 -0700 | [diff] [blame] | 11 | #include "aos/util/trapezoid_profile.h" |
Tyler Chatow | d3afdef | 2019-04-06 22:15:26 -0700 | [diff] [blame] | 12 | #include "frc971/constants.h" |
Austin Schuh | 482a914 | 2022-02-23 16:54:39 -0800 | [diff] [blame] | 13 | #include "frc971/control_loops/control_loop.h" |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 14 | #include "frc971/control_loops/control_loops_generated.h" |
| 15 | #include "frc971/control_loops/profiled_subsystem_generated.h" |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 16 | #include "frc971/control_loops/simple_capped_state_feedback_loop.h" |
| 17 | #include "frc971/control_loops/state_feedback_loop.h" |
| 18 | #include "frc971/zeroing/zeroing.h" |
| 19 | |
| 20 | namespace frc971 { |
| 21 | namespace control_loops { |
| 22 | |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 23 | // TODO(Brian): Use a tuple instead of an array to support heterogeneous zeroing |
| 24 | // styles. |
| 25 | template <int number_of_states, int number_of_axes, |
| 26 | class ZeroingEstimator = |
Austin Schuh | 08d9ecf | 2017-03-05 00:58:48 -0800 | [diff] [blame] | 27 | ::frc971::zeroing::PotAndIndexPulseZeroingEstimator, |
| 28 | int number_of_inputs = number_of_axes, |
| 29 | int number_of_outputs = number_of_axes> |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 30 | class ProfiledSubsystem { |
| 31 | public: |
| 32 | ProfiledSubsystem( |
| 33 | ::std::unique_ptr<::frc971::control_loops::SimpleCappedStateFeedbackLoop< |
Austin Schuh | 08d9ecf | 2017-03-05 00:58:48 -0800 | [diff] [blame] | 34 | number_of_states, number_of_inputs, number_of_outputs>> |
| 35 | loop, |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 36 | ::std::array<ZeroingEstimator, number_of_axes> &&estimators) |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 37 | : loop_(::std::move(loop)), estimators_(::std::move(estimators)) { |
| 38 | zeroed_.fill(false); |
| 39 | unprofiled_goal_.setZero(); |
Austin Schuh | 2669ece | 2022-03-11 18:30:57 -0800 | [diff] [blame] | 40 | X_hat_.setZero(); |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 41 | } |
| 42 | |
| 43 | // Returns whether an error has occured |
| 44 | bool error() const { |
| 45 | for (const auto &estimator : estimators_) { |
| 46 | if (estimator.error()) { |
| 47 | return true; |
| 48 | } |
| 49 | } |
| 50 | return false; |
| 51 | } |
| 52 | |
| 53 | void Reset() { |
| 54 | zeroed_.fill(false); |
Austin Schuh | 3a81d5c | 2017-02-05 23:13:47 -0800 | [diff] [blame] | 55 | initialized_ = false; |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 56 | for (auto &estimator : estimators_) { |
| 57 | estimator.Reset(); |
| 58 | } |
Austin Schuh | d5ccb86 | 2017-03-11 22:06:36 -0800 | [diff] [blame] | 59 | should_reset_ = true; |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 60 | } |
| 61 | |
| 62 | // Returns the controller. |
Tyler Chatow | d3afdef | 2019-04-06 22:15:26 -0700 | [diff] [blame] | 63 | const StateFeedbackLoop<number_of_states, number_of_inputs, number_of_outputs> |
| 64 | &controller() const { |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 65 | return *loop_; |
| 66 | } |
| 67 | |
Austin Schuh | c5fceb8 | 2017-02-25 16:24:12 -0800 | [diff] [blame] | 68 | int controller_index() const { return loop_->index(); } |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 69 | |
Tyler Chatow | d3afdef | 2019-04-06 22:15:26 -0700 | [diff] [blame] | 70 | void set_controller_index(int index) { loop_->set_index(index); } |
| 71 | |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 72 | // Returns whether the estimators have been initialized and zeroed. |
| 73 | bool initialized() const { return initialized_; } |
| 74 | |
| 75 | bool zeroed() const { |
| 76 | for (int i = 0; i < number_of_axes; ++i) { |
| 77 | if (!zeroed_[i]) { |
| 78 | return false; |
| 79 | } |
| 80 | } |
| 81 | return true; |
| 82 | } |
| 83 | |
| 84 | bool zeroed(int index) const { return zeroed_[index]; }; |
| 85 | |
| 86 | // Returns the filtered goal. |
| 87 | const Eigen::Matrix<double, number_of_states, 1> &goal() const { |
| 88 | return loop_->R(); |
| 89 | } |
| 90 | double goal(int row, int col) const { return loop_->R(row, col); } |
| 91 | |
| 92 | // Returns the unprofiled goal. |
| 93 | const Eigen::Matrix<double, number_of_states, 1> &unprofiled_goal() const { |
| 94 | return unprofiled_goal_; |
| 95 | } |
| 96 | double unprofiled_goal(int row, int col) const { |
| 97 | return unprofiled_goal_(row, col); |
| 98 | } |
| 99 | |
Austin Schuh | 2669ece | 2022-03-11 18:30:57 -0800 | [diff] [blame] | 100 | // Returns the current state estimate after the most recent Correct. This |
| 101 | // does not change when Predict is run. |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 102 | const Eigen::Matrix<double, number_of_states, 1> &X_hat() const { |
Austin Schuh | 2669ece | 2022-03-11 18:30:57 -0800 | [diff] [blame] | 103 | return X_hat_; |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 104 | } |
Austin Schuh | 2669ece | 2022-03-11 18:30:57 -0800 | [diff] [blame] | 105 | double X_hat(int row, int col) const { return X_hat()(row, col); } |
| 106 | // Returns a mutable reference to the current state of the actual kalman |
| 107 | // filter state. Note: changing this won't change X_hat() immediately. |
Austin Schuh | d5ccb86 | 2017-03-11 22:06:36 -0800 | [diff] [blame] | 108 | double &mutable_X_hat(int row, int col) const { |
| 109 | return loop_->mutable_X_hat(row, col); |
| 110 | } |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 111 | |
| 112 | // Returns the current internal estimator state for logging. |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 113 | flatbuffers::Offset<typename ZeroingEstimator::State> EstimatorState( |
| 114 | flatbuffers::FlatBufferBuilder *fbb, int index) { |
| 115 | return estimators_[index].GetEstimatorState(fbb); |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 116 | } |
| 117 | |
| 118 | // Sets the maximum voltage that will be commanded by the loop. |
Austin Schuh | 08d9ecf | 2017-03-05 00:58:48 -0800 | [diff] [blame] | 119 | void set_max_voltage(::std::array<double, number_of_inputs> voltages) { |
| 120 | for (int i = 0; i < number_of_inputs; ++i) { |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 121 | loop_->set_max_voltage(i, voltages[i]); |
| 122 | } |
| 123 | } |
| 124 | |
| 125 | protected: |
| 126 | void set_zeroed(int index, bool val) { zeroed_[index] = val; } |
| 127 | |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 128 | ::std::unique_ptr<::frc971::control_loops::SimpleCappedStateFeedbackLoop< |
Austin Schuh | 08d9ecf | 2017-03-05 00:58:48 -0800 | [diff] [blame] | 129 | number_of_states, number_of_inputs, number_of_outputs>> |
| 130 | loop_; |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 131 | |
| 132 | // The goal that the profile tries to reach. |
| 133 | Eigen::Matrix<double, number_of_states, 1> unprofiled_goal_; |
| 134 | |
Austin Schuh | 2669ece | 2022-03-11 18:30:57 -0800 | [diff] [blame] | 135 | Eigen::Matrix<double, number_of_states, 1> X_hat_; |
| 136 | |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 137 | bool initialized_ = false; |
| 138 | |
Austin Schuh | d5ccb86 | 2017-03-11 22:06:36 -0800 | [diff] [blame] | 139 | // If true, the subclass should reset in Update. It should then clear this |
| 140 | // flag. |
| 141 | bool should_reset_ = true; |
| 142 | |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 143 | ::std::array<ZeroingEstimator, number_of_axes> estimators_; |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 144 | |
| 145 | private: |
| 146 | ::std::array<bool, number_of_axes> zeroed_; |
| 147 | }; |
| 148 | |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 149 | template <typename ZeroingEstimator = |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 150 | ::frc971::zeroing::PotAndIndexPulseZeroingEstimator> |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 151 | class SingleDOFProfiledSubsystem |
Tyler Chatow | d3afdef | 2019-04-06 22:15:26 -0700 | [diff] [blame] | 152 | : public ::frc971::control_loops::ProfiledSubsystem<3, 1, |
| 153 | ZeroingEstimator> { |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 154 | public: |
| 155 | SingleDOFProfiledSubsystem( |
| 156 | ::std::unique_ptr<SimpleCappedStateFeedbackLoop<3, 1, 1>> loop, |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 157 | const typename ZeroingEstimator::ZeroingConstants &zeroing_constants, |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 158 | const ::frc971::constants::Range &range, double default_angular_velocity, |
| 159 | double default_angular_acceleration); |
| 160 | |
| 161 | // Updates our estimator with the latest position. |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 162 | void Correct(const typename ZeroingEstimator::Position &position); |
Austin Schuh | 482a914 | 2022-02-23 16:54:39 -0800 | [diff] [blame] | 163 | // Runs the controller and profile generator for a cycle. This is equivilent |
| 164 | // to calling UpdateObserver(UpdateController()) with the rest of the syntax |
| 165 | // actually right. |
| 166 | double Update(bool disabled); |
| 167 | // Just computes the controller and pushes the feed forwards forwards 1 step. |
| 168 | double UpdateController(bool disabled); |
| 169 | // Updates the observer with the computed U. |
| 170 | // Note: if this is the only method called, ForceGoal should also be called to |
| 171 | // move the state to match. |
| 172 | void UpdateObserver(double voltage); |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 173 | |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 174 | // Fills out the ProfiledJointStatus structure with the current state. |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 175 | template <class StatusTypeBuilder> |
Austin Schuh | 482a914 | 2022-02-23 16:54:39 -0800 | [diff] [blame] | 176 | StatusTypeBuilder BuildStatus(flatbuffers::FlatBufferBuilder *fbb); |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 177 | |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 178 | // Forces the current goal to the provided goal, bypassing the profiler. |
Austin Schuh | 482a914 | 2022-02-23 16:54:39 -0800 | [diff] [blame] | 179 | void ForceGoal(double goal, double goal_velocity = 0.0); |
James Kuszmaul | 4fb2976 | 2020-02-20 19:37:41 -0800 | [diff] [blame] | 180 | // Sets whether to use the trapezoidal profiler or whether to just bypass it |
| 181 | // and pass the unprofiled goal through directly. |
| 182 | void set_enable_profile(bool enable) { enable_profile_ = enable; } |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 183 | // Sets the unprofiled goal. The profiler will generate a profile to go to |
| 184 | // this goal. |
James Kuszmaul | 4fb2976 | 2020-02-20 19:37:41 -0800 | [diff] [blame] | 185 | void set_unprofiled_goal(double unprofiled_goal, |
Sabina Davis | 0e484f9 | 2020-02-23 17:47:53 -0800 | [diff] [blame] | 186 | double unprofiled_goal_velocity = 0.0, |
| 187 | bool print = true); |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 188 | // Limits our profiles to a max velocity and acceleration for proper motion. |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 189 | void AdjustProfile(const ::frc971::ProfileParameters *profile_parameters); |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 190 | void AdjustProfile(double max_angular_velocity, |
| 191 | double max_angular_acceleration); |
| 192 | |
| 193 | // Returns true if we have exceeded any hard limits. |
| 194 | bool CheckHardLimits(); |
| 195 | |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 196 | // Returns the requested voltage. |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 197 | double voltage() const { return this->loop_->U(0, 0); } |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 198 | |
Austin Schuh | 482a914 | 2022-02-23 16:54:39 -0800 | [diff] [blame] | 199 | // Returns the current position or velocity. |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 200 | double position() const { return this->Y_(0, 0); } |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 201 | |
| 202 | // For testing: |
| 203 | // Triggers an estimator error. |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 204 | void TriggerEstimatorError() { this->estimators_[0].TriggerError(); } |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 205 | |
Austin Schuh | 00be3a8 | 2017-02-05 19:01:40 -0800 | [diff] [blame] | 206 | const ::frc971::constants::Range &range() const { return range_; } |
| 207 | |
Austin Schuh | 93ddcb4 | 2021-10-25 21:54:11 -0700 | [diff] [blame] | 208 | double default_velocity() const { return default_velocity_; } |
| 209 | double default_acceleration() const { return default_acceleration_; } |
| 210 | |
Austin Schuh | 6a90cd9 | 2017-02-19 20:55:33 -0800 | [diff] [blame] | 211 | protected: |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 212 | // Limits the provided goal to the soft limits. Prints "name" when it fails |
| 213 | // to aid debugging. |
Sabina Davis | 0e484f9 | 2020-02-23 17:47:53 -0800 | [diff] [blame] | 214 | virtual void CapGoal(const char *name, Eigen::Matrix<double, 3, 1> *goal, |
| 215 | bool print = true); |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 216 | |
Austin Schuh | 6a90cd9 | 2017-02-19 20:55:33 -0800 | [diff] [blame] | 217 | private: |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 218 | void UpdateOffset(double offset); |
| 219 | |
| 220 | aos::util::TrapezoidProfile profile_; |
James Kuszmaul | 4fb2976 | 2020-02-20 19:37:41 -0800 | [diff] [blame] | 221 | bool enable_profile_ = true; |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 222 | |
| 223 | // Current measurement. |
| 224 | Eigen::Matrix<double, 1, 1> Y_; |
| 225 | // Current offset. Y_ = offset_ + raw_sensor; |
| 226 | Eigen::Matrix<double, 1, 1> offset_; |
| 227 | |
| 228 | const ::frc971::constants::Range range_; |
| 229 | |
| 230 | const double default_velocity_; |
| 231 | const double default_acceleration_; |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 232 | |
| 233 | double last_position_ = 0; |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 234 | }; |
| 235 | |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 236 | namespace internal { |
| 237 | |
| 238 | double UseUnlessZero(double target_value, double default_value); |
| 239 | |
| 240 | } // namespace internal |
| 241 | |
| 242 | template <class ZeroingEstimator> |
| 243 | SingleDOFProfiledSubsystem<ZeroingEstimator>::SingleDOFProfiledSubsystem( |
| 244 | ::std::unique_ptr<SimpleCappedStateFeedbackLoop<3, 1, 1>> loop, |
| 245 | const typename ZeroingEstimator::ZeroingConstants &zeroing_constants, |
| 246 | const ::frc971::constants::Range &range, double default_velocity, |
| 247 | double default_acceleration) |
Campbell Crowley | 36e93e9 | 2017-12-23 14:21:43 -0800 | [diff] [blame] | 248 | : ProfiledSubsystem<3, 1, ZeroingEstimator>( |
| 249 | ::std::move(loop), {{ZeroingEstimator(zeroing_constants)}}), |
Sabina Davis | 1184cc5 | 2020-02-22 18:29:25 -0800 | [diff] [blame] | 250 | profile_(this->loop_->plant().coefficients().dt), |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 251 | range_(range), |
| 252 | default_velocity_(default_velocity), |
| 253 | default_acceleration_(default_acceleration) { |
| 254 | Y_.setZero(); |
| 255 | offset_.setZero(); |
| 256 | AdjustProfile(0.0, 0.0); |
| 257 | } |
| 258 | |
| 259 | template <class ZeroingEstimator> |
| 260 | void SingleDOFProfiledSubsystem<ZeroingEstimator>::UpdateOffset(double offset) { |
| 261 | const double doffset = offset - offset_(0, 0); |
Austin Schuh | f257f3c | 2019-10-27 21:00:43 -0700 | [diff] [blame] | 262 | AOS_LOG(INFO, "Adjusting offset from %f to %f\n", offset_(0, 0), offset); |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 263 | |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 264 | this->loop_->mutable_X_hat()(0, 0) += doffset; |
| 265 | this->Y_(0, 0) += doffset; |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 266 | last_position_ += doffset; |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 267 | this->loop_->mutable_R(0, 0) += doffset; |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 268 | |
| 269 | profile_.MoveGoal(doffset); |
| 270 | offset_(0, 0) = offset; |
| 271 | |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 272 | CapGoal("R", &this->loop_->mutable_R()); |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 273 | } |
| 274 | |
| 275 | template <class ZeroingEstimator> |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 276 | template <class StatusTypeBuilder> |
| 277 | StatusTypeBuilder SingleDOFProfiledSubsystem<ZeroingEstimator>::BuildStatus( |
| 278 | flatbuffers::FlatBufferBuilder *fbb) { |
| 279 | flatbuffers::Offset<typename ZeroingEstimator::State> estimator_state = |
| 280 | this->EstimatorState(fbb, 0); |
| 281 | |
| 282 | StatusTypeBuilder builder(*fbb); |
| 283 | |
| 284 | builder.add_zeroed(this->zeroed()); |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 285 | // We don't know, so default to the bad case. |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 286 | |
Austin Schuh | 2669ece | 2022-03-11 18:30:57 -0800 | [diff] [blame] | 287 | builder.add_position(this->X_hat_(0, 0)); |
| 288 | builder.add_velocity(this->X_hat_(1, 0)); |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 289 | builder.add_goal_position(this->goal(0, 0)); |
| 290 | builder.add_goal_velocity(this->goal(1, 0)); |
| 291 | builder.add_unprofiled_goal_position(this->unprofiled_goal(0, 0)); |
| 292 | builder.add_unprofiled_goal_velocity(this->unprofiled_goal(1, 0)); |
Austin Schuh | 2669ece | 2022-03-11 18:30:57 -0800 | [diff] [blame] | 293 | builder.add_voltage_error(this->X_hat_(2, 0)); |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 294 | builder.add_calculated_velocity( |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 295 | (position() - last_position_) / |
Sabina Davis | 1184cc5 | 2020-02-22 18:29:25 -0800 | [diff] [blame] | 296 | ::aos::time::DurationInSeconds(this->loop_->plant().coefficients().dt)); |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 297 | |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 298 | builder.add_estimator_state(estimator_state); |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 299 | |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 300 | Eigen::Matrix<double, 3, 1> error = this->controller().error(); |
Austin Schuh | 482a914 | 2022-02-23 16:54:39 -0800 | [diff] [blame] | 301 | builder.add_position_power(this->controller().controller().K(0, 0) * |
| 302 | error(0, 0)); |
| 303 | builder.add_velocity_power(this->controller().controller().K(0, 1) * |
| 304 | error(1, 0)); |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 305 | return builder; |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 306 | } |
| 307 | |
| 308 | template <class ZeroingEstimator> |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 309 | void SingleDOFProfiledSubsystem<ZeroingEstimator>::Correct( |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 310 | const typename ZeroingEstimator::Position &new_position) { |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 311 | this->estimators_[0].UpdateEstimate(new_position); |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 312 | |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 313 | if (this->estimators_[0].error()) { |
Austin Schuh | f257f3c | 2019-10-27 21:00:43 -0700 | [diff] [blame] | 314 | AOS_LOG(ERROR, "zeroing error\n"); |
Austin Schuh | 2669ece | 2022-03-11 18:30:57 -0800 | [diff] [blame] | 315 | this->X_hat_ = this->loop_->X_hat(); |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 316 | return; |
| 317 | } |
| 318 | |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 319 | if (!this->initialized_) { |
| 320 | if (this->estimators_[0].offset_ready()) { |
| 321 | UpdateOffset(this->estimators_[0].offset()); |
| 322 | this->initialized_ = true; |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 323 | } |
| 324 | } |
| 325 | |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 326 | if (!this->zeroed(0) && this->estimators_[0].zeroed()) { |
| 327 | UpdateOffset(this->estimators_[0].offset()); |
| 328 | this->set_zeroed(0, true); |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 329 | } |
| 330 | |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 331 | last_position_ = position(); |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 332 | this->Y_ << new_position.encoder(); |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 333 | this->Y_ += this->offset_; |
| 334 | this->loop_->Correct(Y_); |
Austin Schuh | 2669ece | 2022-03-11 18:30:57 -0800 | [diff] [blame] | 335 | this->X_hat_ = this->loop_->X_hat(); |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 336 | } |
| 337 | |
| 338 | template <class ZeroingEstimator> |
| 339 | void SingleDOFProfiledSubsystem<ZeroingEstimator>::CapGoal( |
Sabina Davis | 0e484f9 | 2020-02-23 17:47:53 -0800 | [diff] [blame] | 340 | const char *name, Eigen::Matrix<double, 3, 1> *goal, bool print) { |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 341 | // Limit the goal to min/max allowable positions. |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 342 | if ((*goal)(0, 0) > range_.upper) { |
Sabina Davis | 0e484f9 | 2020-02-23 17:47:53 -0800 | [diff] [blame] | 343 | if (print) { |
| 344 | AOS_LOG(WARNING, "Goal %s above limit, %f > %f\n", name, (*goal)(0, 0), |
| 345 | range_.upper); |
| 346 | } |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 347 | (*goal)(0, 0) = range_.upper; |
| 348 | } |
| 349 | if ((*goal)(0, 0) < range_.lower) { |
Sabina Davis | 0e484f9 | 2020-02-23 17:47:53 -0800 | [diff] [blame] | 350 | if (print) { |
| 351 | AOS_LOG(WARNING, "Goal %s below limit, %f < %f\n", name, (*goal)(0, 0), |
| 352 | range_.lower); |
| 353 | } |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 354 | (*goal)(0, 0) = range_.lower; |
| 355 | } |
| 356 | } |
| 357 | |
| 358 | template <class ZeroingEstimator> |
Austin Schuh | 482a914 | 2022-02-23 16:54:39 -0800 | [diff] [blame] | 359 | void SingleDOFProfiledSubsystem<ZeroingEstimator>::ForceGoal( |
| 360 | double goal, double goal_velocity) { |
| 361 | set_unprofiled_goal(goal, goal_velocity, false); |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 362 | this->loop_->mutable_R() = this->unprofiled_goal_; |
| 363 | this->loop_->mutable_next_R() = this->loop_->R(); |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 364 | |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 365 | const ::Eigen::Matrix<double, 3, 1> &R = this->loop_->R(); |
| 366 | this->profile_.MoveCurrentState(R.block<2, 1>(0, 0)); |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 367 | } |
| 368 | |
| 369 | template <class ZeroingEstimator> |
| 370 | void SingleDOFProfiledSubsystem<ZeroingEstimator>::set_unprofiled_goal( |
Sabina Davis | 0e484f9 | 2020-02-23 17:47:53 -0800 | [diff] [blame] | 371 | double unprofiled_goal, double unprofiled_goal_velocity, bool print) { |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 372 | this->unprofiled_goal_(0, 0) = unprofiled_goal; |
James Kuszmaul | 4fb2976 | 2020-02-20 19:37:41 -0800 | [diff] [blame] | 373 | this->unprofiled_goal_(1, 0) = unprofiled_goal_velocity; |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 374 | this->unprofiled_goal_(2, 0) = 0.0; |
Sabina Davis | 0e484f9 | 2020-02-23 17:47:53 -0800 | [diff] [blame] | 375 | CapGoal("unprofiled R", &this->unprofiled_goal_, print); |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 376 | } |
| 377 | |
| 378 | template <class ZeroingEstimator> |
Austin Schuh | 482a914 | 2022-02-23 16:54:39 -0800 | [diff] [blame] | 379 | double SingleDOFProfiledSubsystem<ZeroingEstimator>::UpdateController( |
| 380 | bool disable) { |
Austin Schuh | d5ccb86 | 2017-03-11 22:06:36 -0800 | [diff] [blame] | 381 | // TODO(austin): What do we want to do with the profile on reset? Also, we |
| 382 | // should probably reset R, the offset, the profile, etc. |
| 383 | if (this->should_reset_) { |
| 384 | this->loop_->mutable_X_hat(0, 0) = Y_(0, 0); |
| 385 | this->loop_->mutable_X_hat(1, 0) = 0.0; |
| 386 | this->loop_->mutable_X_hat(2, 0) = 0.0; |
Austin Schuh | 2669ece | 2022-03-11 18:30:57 -0800 | [diff] [blame] | 387 | this->X_hat_.setZero(); |
Austin Schuh | d5ccb86 | 2017-03-11 22:06:36 -0800 | [diff] [blame] | 388 | this->should_reset_ = false; |
| 389 | } |
| 390 | |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 391 | if (!disable) { |
James Kuszmaul | 4fb2976 | 2020-02-20 19:37:41 -0800 | [diff] [blame] | 392 | if (enable_profile_) { |
| 393 | ::Eigen::Matrix<double, 2, 1> goal_state = profile_.Update( |
| 394 | this->unprofiled_goal_(0, 0), this->unprofiled_goal_(1, 0)); |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 395 | |
James Kuszmaul | 4fb2976 | 2020-02-20 19:37:41 -0800 | [diff] [blame] | 396 | this->loop_->mutable_next_R(0, 0) = goal_state(0, 0); |
| 397 | this->loop_->mutable_next_R(1, 0) = goal_state(1, 0); |
| 398 | this->loop_->mutable_next_R(2, 0) = 0.0; |
| 399 | } else { |
| 400 | this->loop_->mutable_R() = this->unprofiled_goal_; |
| 401 | this->loop_->mutable_next_R() = this->unprofiled_goal_; |
| 402 | this->loop_->mutable_next_R(0, 0) += |
| 403 | this->unprofiled_goal_(1) * |
| 404 | aos::time::DurationInSeconds(this->loop_->plant().coefficients().dt); |
| 405 | CapGoal("R", &this->loop_->mutable_R()); |
| 406 | } |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 407 | CapGoal("next R", &this->loop_->mutable_next_R()); |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 408 | } |
| 409 | |
Austin Schuh | 482a914 | 2022-02-23 16:54:39 -0800 | [diff] [blame] | 410 | this->loop_->UpdateController(disable); |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 411 | |
Adam Snaider | 79900c2 | 2017-02-08 20:23:15 -0800 | [diff] [blame] | 412 | if (!disable && this->loop_->U(0, 0) != this->loop_->U_uncapped(0, 0)) { |
| 413 | const ::Eigen::Matrix<double, 3, 1> &R = this->loop_->R(); |
| 414 | profile_.MoveCurrentState(R.block<2, 1>(0, 0)); |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 415 | } |
Austin Schuh | 482a914 | 2022-02-23 16:54:39 -0800 | [diff] [blame] | 416 | |
| 417 | return this->loop_->U(0, 0); |
| 418 | } |
| 419 | |
| 420 | template <class ZeroingEstimator> |
| 421 | void SingleDOFProfiledSubsystem<ZeroingEstimator>::UpdateObserver( |
| 422 | double voltage) { |
| 423 | this->loop_->mutable_U(0, 0) = voltage; |
| 424 | this->loop_->UpdateObserver(this->loop_->U(), this->loop_->plant().dt()); |
| 425 | } |
| 426 | |
| 427 | template <class ZeroingEstimator> |
| 428 | double SingleDOFProfiledSubsystem<ZeroingEstimator>::Update(bool disable) { |
| 429 | const double voltage = UpdateController(disable); |
| 430 | UpdateObserver(voltage); |
| 431 | return voltage; |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 432 | } |
| 433 | |
| 434 | template <class ZeroingEstimator> |
| 435 | bool SingleDOFProfiledSubsystem<ZeroingEstimator>::CheckHardLimits() { |
| 436 | // Returns whether hard limits have been exceeded. |
| 437 | |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 438 | if (position() > range_.upper_hard || position() < range_.lower_hard) { |
Austin Schuh | f257f3c | 2019-10-27 21:00:43 -0700 | [diff] [blame] | 439 | AOS_LOG( |
| 440 | ERROR, |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 441 | "SingleDOFProfiledSubsystem at %f out of bounds [%f, %f], ESTOPing\n", |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 442 | position(), range_.lower_hard, range_.upper_hard); |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 443 | return true; |
| 444 | } |
| 445 | |
| 446 | return false; |
| 447 | } |
| 448 | |
| 449 | template <class ZeroingEstimator> |
| 450 | void SingleDOFProfiledSubsystem<ZeroingEstimator>::AdjustProfile( |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 451 | const ::frc971::ProfileParameters *profile_parameters) { |
| 452 | AdjustProfile( |
| 453 | profile_parameters != nullptr ? profile_parameters->max_velocity() : 0.0, |
| 454 | profile_parameters != nullptr ? profile_parameters->max_acceleration() |
| 455 | : 0.0); |
Austin Schuh | 3634ed3 | 2017-02-05 16:28:49 -0800 | [diff] [blame] | 456 | } |
| 457 | |
| 458 | template <class ZeroingEstimator> |
| 459 | void SingleDOFProfiledSubsystem<ZeroingEstimator>::AdjustProfile( |
Brian Silverman | ab0b677 | 2017-02-05 16:16:21 -0800 | [diff] [blame] | 460 | double max_angular_velocity, double max_angular_acceleration) { |
| 461 | profile_.set_maximum_velocity( |
| 462 | internal::UseUnlessZero(max_angular_velocity, default_velocity_)); |
| 463 | profile_.set_maximum_acceleration( |
| 464 | internal::UseUnlessZero(max_angular_acceleration, default_acceleration_)); |
| 465 | } |
| 466 | |
Austin Schuh | 473a565 | 2017-02-05 01:30:42 -0800 | [diff] [blame] | 467 | } // namespace control_loops |
| 468 | } // namespace frc971 |
| 469 | |
| 470 | #endif // FRC971_CONTROL_LOOPS_PROFILED_SUBSYSTEM_H_ |