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