2020-12-26 14:12:05 -08:00
|
|
|
// Copyright (c) FIRST and other WPILib contributors.
|
|
|
|
|
// Open Source Software; you can modify and/or share it under the terms of
|
|
|
|
|
// the WPILib BSD license file in the root directory of this project.
|
2020-08-14 23:40:33 -07:00
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
|
|
|
|
|
#include <array>
|
|
|
|
|
#include <functional>
|
|
|
|
|
|
2020-09-04 20:52:03 -07:00
|
|
|
#include "Eigen/QR"
|
2022-04-29 22:29:20 -07:00
|
|
|
#include "frc/EigenCore.h"
|
2020-08-14 23:40:33 -07:00
|
|
|
#include "frc/system/NumericalJacobian.h"
|
|
|
|
|
#include "units/time.h"
|
|
|
|
|
|
|
|
|
|
namespace frc {
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Constructs a control-affine plant inversion model-based feedforward from
|
|
|
|
|
* given model dynamics.
|
|
|
|
|
*
|
|
|
|
|
* If given the vector valued function as f(x, u) where x is the state
|
|
|
|
|
* vector and u is the input vector, the B matrix(continuous input matrix)
|
|
|
|
|
* is calculated through a NumericalJacobian. In this case f has to be
|
|
|
|
|
* control-affine (of the form f(x) + Bu).
|
|
|
|
|
*
|
|
|
|
|
* The feedforward is calculated as
|
|
|
|
|
* <strong> u_ff = B<sup>+</sup> (rDot - f(x)) </strong>, where <strong>
|
|
|
|
|
* B<sup>+</sup> </strong> is the pseudoinverse of B.
|
|
|
|
|
*
|
|
|
|
|
* This feedforward does not account for a dynamic B matrix, B is either
|
|
|
|
|
* determined or supplied when the feedforward is created and remains constant.
|
|
|
|
|
*
|
|
|
|
|
* For more on the underlying math, read
|
|
|
|
|
* https://file.tavsys.net/control/controls-engineering-in-frc.pdf.
|
2021-10-29 15:07:05 -07:00
|
|
|
*
|
|
|
|
|
* @tparam States The number of states.
|
|
|
|
|
* @tparam Inputs the number of inputs.
|
2020-08-14 23:40:33 -07:00
|
|
|
*/
|
|
|
|
|
template <int States, int Inputs>
|
|
|
|
|
class ControlAffinePlantInversionFeedforward {
|
|
|
|
|
public:
|
2022-04-29 22:29:20 -07:00
|
|
|
using StateVector = Vectord<States>;
|
|
|
|
|
using InputVector = Vectord<Inputs>;
|
|
|
|
|
|
2020-08-14 23:40:33 -07:00
|
|
|
/**
|
|
|
|
|
* Constructs a feedforward with given model dynamics as a function
|
|
|
|
|
* of state and input.
|
|
|
|
|
*
|
|
|
|
|
* @param f A vector-valued function of x, the state, and
|
|
|
|
|
* u, the input, that returns the derivative of
|
|
|
|
|
* the state vector. HAS to be control-affine
|
|
|
|
|
* (of the form f(x) + Bu).
|
|
|
|
|
* @param dt The timestep between calls of calculate().
|
|
|
|
|
*/
|
|
|
|
|
ControlAffinePlantInversionFeedforward(
|
2022-04-29 22:29:20 -07:00
|
|
|
std::function<StateVector(const StateVector&, const InputVector&)> f,
|
2020-08-14 23:40:33 -07:00
|
|
|
units::second_t dt)
|
|
|
|
|
: m_dt(dt), m_f(f) {
|
2022-04-29 22:29:20 -07:00
|
|
|
m_B = NumericalJacobianU<States, States, Inputs>(f, StateVector::Zero(),
|
|
|
|
|
InputVector::Zero());
|
2020-08-14 23:40:33 -07:00
|
|
|
|
2021-06-09 23:59:31 -07:00
|
|
|
Reset();
|
2020-08-14 23:40:33 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Constructs a feedforward with given model dynamics as a function of state,
|
|
|
|
|
* and the plant's B matrix(continuous input matrix).
|
|
|
|
|
*
|
|
|
|
|
* @param f A vector-valued function of x, the state,
|
|
|
|
|
* that returns the derivative of the state vector.
|
|
|
|
|
* @param B Continuous input matrix of the plant being controlled.
|
|
|
|
|
* @param dt The timestep between calls of calculate().
|
|
|
|
|
*/
|
|
|
|
|
ControlAffinePlantInversionFeedforward(
|
2022-04-29 22:29:20 -07:00
|
|
|
std::function<StateVector(const StateVector&)> f,
|
|
|
|
|
const Matrixd<States, Inputs>& B, units::second_t dt)
|
2020-08-14 23:40:33 -07:00
|
|
|
: m_B(B), m_dt(dt) {
|
2022-04-29 22:29:20 -07:00
|
|
|
m_f = [=](const StateVector& x, const InputVector& u) -> StateVector {
|
|
|
|
|
return f(x);
|
|
|
|
|
};
|
2020-08-14 23:40:33 -07:00
|
|
|
|
2021-06-09 23:59:31 -07:00
|
|
|
Reset();
|
2020-08-14 23:40:33 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
ControlAffinePlantInversionFeedforward(
|
|
|
|
|
ControlAffinePlantInversionFeedforward&&) = default;
|
|
|
|
|
ControlAffinePlantInversionFeedforward& operator=(
|
|
|
|
|
ControlAffinePlantInversionFeedforward&&) = default;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Returns the previously calculated feedforward as an input vector.
|
|
|
|
|
*
|
|
|
|
|
* @return The calculated feedforward.
|
|
|
|
|
*/
|
2022-04-29 22:29:20 -07:00
|
|
|
const InputVector& Uff() const { return m_uff; }
|
2020-08-14 23:40:33 -07:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Returns an element of the previously calculated feedforward.
|
|
|
|
|
*
|
2021-10-14 18:09:38 -07:00
|
|
|
* @param i Row of uff.
|
2020-08-14 23:40:33 -07:00
|
|
|
*
|
|
|
|
|
* @return The row of the calculated feedforward.
|
|
|
|
|
*/
|
2022-03-19 20:44:14 -07:00
|
|
|
double Uff(int i) const { return m_uff(i); }
|
2020-08-14 23:40:33 -07:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Returns the current reference vector r.
|
|
|
|
|
*
|
|
|
|
|
* @return The current reference vector.
|
|
|
|
|
*/
|
2022-04-29 22:29:20 -07:00
|
|
|
const StateVector& R() const { return m_r; }
|
2020-08-14 23:40:33 -07:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Returns an element of the reference vector r.
|
|
|
|
|
*
|
|
|
|
|
* @param i Row of r.
|
|
|
|
|
*
|
|
|
|
|
* @return The row of the current reference vector.
|
|
|
|
|
*/
|
2022-03-19 20:44:14 -07:00
|
|
|
double R(int i) const { return m_r(i); }
|
2020-08-14 23:40:33 -07:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Resets the feedforward with a specified initial state vector.
|
|
|
|
|
*
|
|
|
|
|
* @param initialState The initial state vector.
|
|
|
|
|
*/
|
2022-04-29 22:29:20 -07:00
|
|
|
void Reset(const StateVector& initialState) {
|
2020-08-14 23:40:33 -07:00
|
|
|
m_r = initialState;
|
|
|
|
|
m_uff.setZero();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Resets the feedforward with a zero initial state vector.
|
|
|
|
|
*/
|
|
|
|
|
void Reset() {
|
|
|
|
|
m_r.setZero();
|
|
|
|
|
m_uff.setZero();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Calculate the feedforward with only the desired
|
|
|
|
|
* future reference. This uses the internally stored "current"
|
|
|
|
|
* reference.
|
|
|
|
|
*
|
2021-08-19 00:23:48 -07:00
|
|
|
* If this method is used the initial state of the system is the one set using
|
2022-04-29 22:29:20 -07:00
|
|
|
* Reset(const StateVector&). If the initial state is not
|
2021-08-19 00:23:48 -07:00
|
|
|
* set it defaults to a zero vector.
|
2020-08-14 23:40:33 -07:00
|
|
|
*
|
|
|
|
|
* @param nextR The reference state of the future timestep (k + dt).
|
|
|
|
|
*
|
|
|
|
|
* @return The calculated feedforward.
|
|
|
|
|
*/
|
2022-04-29 22:29:20 -07:00
|
|
|
InputVector Calculate(const StateVector& nextR) {
|
2020-08-14 23:40:33 -07:00
|
|
|
return Calculate(m_r, nextR);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Calculate the feedforward with current and future reference vectors.
|
|
|
|
|
*
|
|
|
|
|
* @param r The reference state of the current timestep (k).
|
|
|
|
|
* @param nextR The reference state of the future timestep (k + dt).
|
|
|
|
|
*
|
|
|
|
|
* @return The calculated feedforward.
|
|
|
|
|
*/
|
2022-04-29 22:29:20 -07:00
|
|
|
InputVector Calculate(const StateVector& r, const StateVector& nextR) {
|
|
|
|
|
StateVector rDot = (nextR - r) / m_dt.value();
|
2020-08-14 23:40:33 -07:00
|
|
|
|
2022-04-29 22:29:20 -07:00
|
|
|
m_uff = m_B.householderQr().solve(rDot - m_f(r, InputVector::Zero()));
|
2020-08-14 23:40:33 -07:00
|
|
|
|
|
|
|
|
m_r = nextR;
|
|
|
|
|
return m_uff;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
private:
|
2022-04-29 22:29:20 -07:00
|
|
|
Matrixd<States, Inputs> m_B;
|
2020-08-14 23:40:33 -07:00
|
|
|
|
|
|
|
|
units::second_t m_dt;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* The model dynamics.
|
|
|
|
|
*/
|
2022-04-29 22:29:20 -07:00
|
|
|
std::function<StateVector(const StateVector&, const InputVector&)> m_f;
|
2020-08-14 23:40:33 -07:00
|
|
|
|
|
|
|
|
// Current reference
|
2022-04-29 22:29:20 -07:00
|
|
|
StateVector m_r;
|
2020-08-14 23:40:33 -07:00
|
|
|
|
|
|
|
|
// Computed feedforward
|
2022-04-29 22:29:20 -07:00
|
|
|
InputVector m_uff;
|
2020-08-14 23:40:33 -07:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
} // namespace frc
|