Alex Perry | 731b460 | 2019-02-02 22:13:01 -0800 | [diff] [blame] | 1 | #ifndef FRC971_CONTROL_LOOPS_DRIVETRAIN_SPLINEDRIVETRAIN_H_ |
| 2 | #define FRC971_CONTROL_LOOPS_DRIVETRAIN_SPLINEDRIVETRAIN_H_ |
| 3 | |
Alex Perry | cc3ee4c | 2019-02-09 21:20:41 -0800 | [diff] [blame] | 4 | #include <atomic> |
| 5 | #include <thread> |
| 6 | |
Alex Perry | a71badb | 2019-02-06 19:40:41 -0800 | [diff] [blame] | 7 | #include "Eigen/Dense" |
Philipp Schrader | 790cb54 | 2023-07-05 21:06:52 -0700 | [diff] [blame] | 8 | |
Alex Perry | cc3ee4c | 2019-02-09 21:20:41 -0800 | [diff] [blame] | 9 | #include "aos/condition.h" |
| 10 | #include "aos/mutex/mutex.h" |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 11 | #include "frc971/control_loops/control_loops_generated.h" |
Alex Perry | 731b460 | 2019-02-02 22:13:01 -0800 | [diff] [blame] | 12 | #include "frc971/control_loops/drivetrain/distance_spline.h" |
Alex Perry | 731b460 | 2019-02-02 22:13:01 -0800 | [diff] [blame] | 13 | #include "frc971/control_loops/drivetrain/drivetrain_config.h" |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 14 | #include "frc971/control_loops/drivetrain/drivetrain_goal_generated.h" |
| 15 | #include "frc971/control_loops/drivetrain/drivetrain_output_generated.h" |
| 16 | #include "frc971/control_loops/drivetrain/drivetrain_status_generated.h" |
Alex Perry | 731b460 | 2019-02-02 22:13:01 -0800 | [diff] [blame] | 17 | #include "frc971/control_loops/drivetrain/spline.h" |
| 18 | #include "frc971/control_loops/drivetrain/trajectory.h" |
| 19 | |
Stephan Pleines | d99b1ee | 2024-02-02 20:56:44 -0800 | [diff] [blame] | 20 | namespace frc971::control_loops::drivetrain { |
Alex Perry | 731b460 | 2019-02-02 22:13:01 -0800 | [diff] [blame] | 21 | |
| 22 | class SplineDrivetrain { |
| 23 | public: |
James Kuszmaul | 6a1ffe3 | 2023-03-23 19:40:26 -0700 | [diff] [blame] | 24 | static constexpr size_t kMaxTrajectories = 6; |
Alex Perry | 731b460 | 2019-02-02 22:13:01 -0800 | [diff] [blame] | 25 | SplineDrivetrain(const DrivetrainConfig<double> &dt_config); |
| 26 | |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 27 | void SetGoal(const ::frc971::control_loops::drivetrain::Goal *goal); |
James Kuszmaul | 75a18c5 | 2021-03-10 22:02:07 -0800 | [diff] [blame] | 28 | // Note that the user maintains ownership of the trajectory flatbuffer for the |
| 29 | // entire time; once AddTrajectory() is called, the trajectory pointer must |
| 30 | // stay valid until the spline has finished executing and HasTrajectory() |
| 31 | // returns false. |
| 32 | bool HasTrajectory(const fb::Trajectory *trajectory) const; |
| 33 | void AddTrajectory(const fb::Trajectory *trajectory); |
James Kuszmaul | 99af8b5 | 2021-03-28 10:50:15 -0700 | [diff] [blame] | 34 | bool IsCurrentTrajectory(const fb::Trajectory *trajectory) const; |
| 35 | void DeleteTrajectory(const fb::Trajectory *trajectory); |
Alex Perry | 731b460 | 2019-02-02 22:13:01 -0800 | [diff] [blame] | 36 | |
James Kuszmaul | aa2499d | 2020-06-02 21:31:19 -0700 | [diff] [blame] | 37 | void Update(bool enabled, const ::Eigen::Matrix<double, 5, 1> &state, |
| 38 | const ::Eigen::Matrix<double, 2, 1> &voltage_error); |
Alex Perry | a71badb | 2019-02-06 19:40:41 -0800 | [diff] [blame] | 39 | |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 40 | void SetOutput(::frc971::control_loops::drivetrain::OutputT *output); |
| 41 | |
| 42 | flatbuffers::Offset<TrajectoryLogging> MakeTrajectoryLogging( |
| 43 | aos::Sender<drivetrain::Status>::Builder *builder) const; |
| 44 | flatbuffers::Offset<TrajectoryLogging> MakeTrajectoryLogging( |
| 45 | flatbuffers::FlatBufferBuilder *builder) const; |
Austin Schuh | d749d93 | 2020-12-30 21:38:40 -0800 | [diff] [blame] | 46 | void PopulateStatus(drivetrain::Status::Builder *status) const; |
James Kuszmaul | 1057ce8 | 2019-02-09 17:58:24 -0800 | [diff] [blame] | 47 | |
| 48 | // Accessor for the current goal state, pretty much only present for debugging |
| 49 | // purposes. |
Alex Perry | cc3ee4c | 2019-02-09 21:20:41 -0800 | [diff] [blame] | 50 | ::Eigen::Matrix<double, 5, 1> CurrentGoalState() const { |
James Kuszmaul | dc53443 | 2023-02-05 14:51:11 -0800 | [diff] [blame] | 51 | return executing_spline_ ? CHECK_NOTNULL(current_trajectory()) |
| 52 | ->GoalState(current_xva_(0), current_xva_(1)) |
James Kuszmaul | 75a18c5 | 2021-03-10 22:02:07 -0800 | [diff] [blame] | 53 | : ::Eigen::Matrix<double, 5, 1>::Zero(); |
James Kuszmaul | 1057ce8 | 2019-02-09 17:58:24 -0800 | [diff] [blame] | 54 | } |
| 55 | |
| 56 | bool IsAtEnd() const { |
James Kuszmaul | dc53443 | 2023-02-05 14:51:11 -0800 | [diff] [blame] | 57 | return executing_spline_ ? CHECK_NOTNULL(current_trajectory()) |
| 58 | ->is_at_end(current_xva_.block<2, 1>(0, 0)) |
| 59 | : true; |
James Kuszmaul | 1057ce8 | 2019-02-09 17:58:24 -0800 | [diff] [blame] | 60 | } |
Alex Perry | cc3ee4c | 2019-02-09 21:20:41 -0800 | [diff] [blame] | 61 | |
James Kuszmaul | 99af8b5 | 2021-03-28 10:50:15 -0700 | [diff] [blame] | 62 | size_t trajectory_count() const { return trajectories_.size(); } |
| 63 | |
Alex Perry | cb7da4b | 2019-08-28 19:35:56 -0700 | [diff] [blame] | 64 | // Returns true if the splinedrivetrain is enabled. |
| 65 | bool enable() const { return enable_; } |
| 66 | |
Alex Perry | 731b460 | 2019-02-02 22:13:01 -0800 | [diff] [blame] | 67 | private: |
Alex Perry | e32eabc | 2019-02-08 19:51:19 -0800 | [diff] [blame] | 68 | void ScaleCapU(Eigen::Matrix<double, 2, 1> *U); |
| 69 | |
James Kuszmaul | 75a18c5 | 2021-03-10 22:02:07 -0800 | [diff] [blame] | 70 | // This is called to update the internal state for managing all the splines. |
| 71 | // Calling it redundantly does not cause any issues. It checks the value of |
James Kuszmaul | dc53443 | 2023-02-05 14:51:11 -0800 | [diff] [blame] | 72 | // commanded_spline to determine whether we are being commanded to run a |
James Kuszmaul | 75a18c5 | 2021-03-10 22:02:07 -0800 | [diff] [blame] | 73 | // spline, and if there is any trajectory in the list of trajectories matching |
James Kuszmaul | dc53443 | 2023-02-05 14:51:11 -0800 | [diff] [blame] | 74 | // the command, we begin/continue executing that spline. If commanded_spline |
James Kuszmaul | 75a18c5 | 2021-03-10 22:02:07 -0800 | [diff] [blame] | 75 | // is empty or has changed, we stop executing the previous trajectory and |
| 76 | // remove it from trajectories_. Then, when the drivetrain code checks |
| 77 | // HasTrajectory() for the old trajectory, it will return false and the |
| 78 | // drivetrain can free up the fetcher to get the next trajectory. |
James Kuszmaul | dc53443 | 2023-02-05 14:51:11 -0800 | [diff] [blame] | 79 | void UpdateSplineHandles(std::optional<int> commanded_spline); |
James Kuszmaul | 75a18c5 | 2021-03-10 22:02:07 -0800 | [diff] [blame] | 80 | |
| 81 | // Deletes the currently executing trajectory. |
| 82 | void DeleteCurrentSpline(); |
| 83 | |
James Kuszmaul | dc53443 | 2023-02-05 14:51:11 -0800 | [diff] [blame] | 84 | FinishedTrajectory *current_trajectory(); |
| 85 | const FinishedTrajectory *current_trajectory() const; |
James Kuszmaul | 75a18c5 | 2021-03-10 22:02:07 -0800 | [diff] [blame] | 86 | |
Alex Perry | 731b460 | 2019-02-02 22:13:01 -0800 | [diff] [blame] | 87 | const DrivetrainConfig<double> dt_config_; |
| 88 | |
Austin Schuh | f7c6520 | 2022-11-04 21:28:20 -0700 | [diff] [blame] | 89 | std::shared_ptr< |
| 90 | StateFeedbackLoop<2, 2, 2, double, StateFeedbackHybridPlant<2, 2, 2>, |
| 91 | HybridKalman<2, 2, 2>>> |
| 92 | velocity_drivetrain_; |
| 93 | |
James Kuszmaul | 75a18c5 | 2021-03-10 22:02:07 -0800 | [diff] [blame] | 94 | bool executing_spline_ = false; |
Alex Perry | e32eabc | 2019-02-08 19:51:19 -0800 | [diff] [blame] | 95 | |
James Kuszmaul | 75a18c5 | 2021-03-10 22:02:07 -0800 | [diff] [blame] | 96 | // TODO(james): Sort out construction to avoid so much dynamic memory |
| 97 | // allocation... |
James Kuszmaul | dc53443 | 2023-02-05 14:51:11 -0800 | [diff] [blame] | 98 | aos::SizedArray<FinishedTrajectory, kMaxTrajectories> trajectories_; |
James Kuszmaul | 75a18c5 | 2021-03-10 22:02:07 -0800 | [diff] [blame] | 99 | |
| 100 | std::optional<int> commanded_spline_; |
Alex Perry | cc3ee4c | 2019-02-09 21:20:41 -0800 | [diff] [blame] | 101 | |
| 102 | // State required to compute the next iteration's output. |
| 103 | ::Eigen::Matrix<double, 3, 1> current_xva_, next_xva_; |
| 104 | ::Eigen::Matrix<double, 2, 1> next_U_; |
| 105 | |
| 106 | // Information used for status message. |
| 107 | ::Eigen::Matrix<double, 2, 1> uncapped_U_; |
James Kuszmaul | a5a418f | 2024-03-17 17:16:06 -0700 | [diff] [blame] | 108 | ::Eigen::Matrix<double, 5, 1> last_state_error_; |
| 109 | ::Eigen::Matrix<double, 2, 5> last_U_components_; |
| 110 | ::Eigen::Matrix<double, 2, 1> last_U_ff_; |
Alex Perry | cc3ee4c | 2019-02-09 21:20:41 -0800 | [diff] [blame] | 111 | bool enable_ = false; |
| 112 | bool output_was_capped_ = false; |
Alex Perry | 731b460 | 2019-02-02 22:13:01 -0800 | [diff] [blame] | 113 | }; |
| 114 | |
Stephan Pleines | d99b1ee | 2024-02-02 20:56:44 -0800 | [diff] [blame] | 115 | } // namespace frc971::control_loops::drivetrain |
Alex Perry | 731b460 | 2019-02-02 22:13:01 -0800 | [diff] [blame] | 116 | |
| 117 | #endif // FRC971_CONTROL_LOOPS_DRIVETRAIN_SPLINEDRIVETRAIN_H_ |