KeyedKalmanFilter.hpp

Go to the documentation of this file.

// This file is part of INSTINCT, the INS Toolkit for Integrated
// Navigation Concepts and Training by the Institute of Navigation of
// the University of Stuttgart, Germany.
//
// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at https://mozilla.org/MPL/2.0/.
 
 
#pragma once
 
#include <boost/math/distributions/chi_squared.hpp>
#include <imgui.h>
 
#include "internal/gui/widgets/HelpMarker.hpp"
#include "internal/gui/widgets/imgui_ex.hpp"
#include "internal/gui/widgets/KeyedMatrix.hpp"
#include "util/Eigen.hpp"
#include "util/Json.hpp"
#include "util/Container/KeyedMatrix.hpp"
#include "Navigation/Time/InsTime.hpp"
#include "Navigation/Math/Math.hpp"
#include "Navigation/Math/VanLoan.hpp"
#include "util/Logger.hpp"
 
namespace NAV
{
template<typename Scalar, typename StateKeyType, typename MeasKeyType>
class KeyedKalmanFilter
{
  public:
    KeyedKalmanFilter() = default;
 
    KeyedKalmanFilter(const std::vector<StateKeyType>& stateKeys, const std::vector<MeasKeyType>& measKeys)
    {
        std::unordered_set<StateKeyType> stateSet = { stateKeys.begin(), stateKeys.end() };
        INS_ASSERT_USER_ERROR(stateSet.size() == stateKeys.size(), "Each state key must be unique");
        std::unordered_set<MeasKeyType> measSet = { measKeys.begin(), measKeys.end() };
        INS_ASSERT_USER_ERROR(measSet.size() == measKeys.size(), "Each measurement key must be unique");
 
        auto n = static_cast<int>(stateKeys.size());
        auto m = static_cast<int>(measKeys.size());
 
        x = KeyedVectorX<Scalar, StateKeyType>(Eigen::VectorX<Scalar>::Zero(n), stateKeys);
        P = KeyedMatrixX<Scalar, StateKeyType, StateKeyType>(Eigen::MatrixX<Scalar>::Zero(n, n), stateKeys);
        F = KeyedMatrixX<Scalar, StateKeyType, StateKeyType>(Eigen::MatrixX<Scalar>::Zero(n, n), stateKeys);
        Phi = KeyedMatrixX<Scalar, StateKeyType, StateKeyType>(Eigen::MatrixX<Scalar>::Zero(n, n), stateKeys);
 
        G = KeyedMatrixX<Scalar, StateKeyType, StateKeyType>(Eigen::MatrixX<Scalar>::Zero(n, n), stateKeys);
        W = KeyedMatrixX<Scalar, StateKeyType, StateKeyType>(Eigen::MatrixX<Scalar>::Zero(n, n), stateKeys);
        Q = KeyedMatrixX<Scalar, StateKeyType, StateKeyType>(Eigen::MatrixX<Scalar>::Zero(n, n), stateKeys);
        z = KeyedVectorX<Scalar, MeasKeyType>(Eigen::VectorX<Scalar>::Zero(m), measKeys);
        H = KeyedMatrixX<Scalar, MeasKeyType, StateKeyType>(Eigen::MatrixX<Scalar>::Zero(m, n), measKeys, stateKeys);
        R = KeyedMatrixX<Scalar, MeasKeyType, MeasKeyType>(Eigen::MatrixX<Scalar>::Zero(m, m), measKeys, measKeys);
        S = KeyedMatrixX<Scalar, MeasKeyType, MeasKeyType>(Eigen::MatrixX<Scalar>::Zero(m, m), measKeys, measKeys);
        K = KeyedMatrixX<Scalar, StateKeyType, MeasKeyType>(Eigen::MatrixX<Scalar>::Zero(n, m), stateKeys, measKeys);
        I = Eigen::MatrixX<Scalar>::Identity(n, n);
    }
    KeyedKalmanFilter(const std::vector<StateKeyType>& stateKeys, const std::vector<MeasKeyType>& measKeys) {…}
 
    void setZero()
    {
        x(all).setZero();        // x̂ State vector
        P(all, all).setZero();   // 𝐏 Error covariance matrix
        F(all, all).setZero();   // 𝐅 System model matrix (n x n)
        Phi(all, all).setZero(); // 𝚽 State transition matrix
        G(all, all).setZero();   // 𝐆 Noise input matrix (n x o)
        W(all, all).setZero();   // 𝐖 Noise scale matrix (o x o)
        Q(all, all).setZero();   // 𝐐 System/Process noise covariance matrix
        z(all).setZero();        // 𝐳 Measurement vector
        H(all, all).setZero();   // 𝐇 Measurement sensitivity Matrix
        R(all, all).setZero();   // 𝐑 = 𝐸{𝐰ₘ𝐰ₘᵀ} Measurement noise covariance matrix
        S(all, all).setZero();   // 𝗦 Measurement prediction covariance matrix
        K(all, all).setZero();   // 𝐊 Kalman gain matrix
    }
    void setZero() {…}
 
    void predict()
    {
        // Math: \mathbf{\hat{x}}_k^- = \mathbf{\Phi}_{k-1}\mathbf{\hat{x}}_{k-1}^+ \qquad \text{P. Groves}\,(3.14)
        x(all) = Phi(all, all) * x(all);
 
        // Math: \mathbf{P}_k^- = \mathbf{\Phi}_{k-1} P_{k-1}^+ \mathbf{\Phi}_{k-1}^T + \mathbf{Q}_{k-1} \qquad \text{P. Groves}\,(3.15)
        P(all, all) = Phi(all, all) * P(all, all) * Phi(all, all).transpose() + Q(all, all);
    }
    void predict() {…}
 
    void correct()
    {
        S(all, all) = H(all, all) * P(all, all) * H(all, all).transpose() + R(all, all);
 
        // Math: \mathbf{K}_k = \mathbf{P}_k^- \mathbf{H}_k^T (\mathbf{H}_k \mathbf{P}_k^- \mathbf{H}_k^T + R_k)^{-1} \qquad \text{P. Groves}\,(3.21)
        K(all, all) = P(all, all) * H(all, all).transpose() * S(all, all).inverse();
 
        // Math: x^k+=x^k−+Kk(zk−Hkx^k−)=x^k−+Kkδzk− \qquad \text{P. Groves}\,(3.24)
        x(all) = x(all) + K(all, all) * (z(all) - H(all, all) * x(all));
 
        // Math: \mathbf{P}_k^+ = (\mathbf{I} - \mathbf{K}_k \mathbf{H}_k) \mathbf{P}_k^- \qquad \text{P. Groves}\,(3.25)
        P(all, all) = (I - K(all, all) * H(all, all)) * P(all, all);
    }
    void correct() {…}
 
    void correctWithMeasurementInnovation()
    {
        S(all, all) = H(all, all) * P(all, all) * H(all, all).transpose() + R(all, all);
 
        // Math: \mathbf{K}_k = \mathbf{P}_k^- \mathbf{H}_k^T (\mathbf{H}_k \mathbf{P}_k^- \mathbf{H}_k^T + R_k)^{-1} \qquad \text{P. Groves}\,(3.21)
        K(all, all) = P(all, all) * H(all, all).transpose() * S(all, all).inverse();
 
        // Math: x^k+=x^k−+Kk(zk−h(x^k−))=x^k−+Kkδzk− \qquad \text{P. Groves}\,(3.24)
        x(all) = x(all) + K(all, all) * z(all);
 
        // Math: \mathbf{P}_k^+ = (\mathbf{I} - \mathbf{K}_k \mathbf{H}_k) \mathbf{P}_k^- \qquad \text{P. Groves}\,(3.25)
        // P(all, all) = (I - K(all, all) * H(all, all)) * P(all, all);
 
        // Math: \mathbf{P}_k^+ = (\mathbf{I} - \mathbf{K}_k \mathbf{H}_k) \mathbf{P}_k^- (\mathbf{I} - \mathbf{K}_k \mathbf{H}_k)^T + \mathbf{K}_k \mathbf{R}_k \mathbf{K}_k^T \qquad \text{Brown & Hwang}\,(p. 145, eq. 4.2.11)
        P(all, all) = (I - K(all, all) * H(all, all)) * P(all, all) * (I - K(all, all) * H(all, all)).transpose() + K(all, all) * R(all, all) * K(all, all).transpose();
    }
    void correctWithMeasurementInnovation() {…}
 
    [[nodiscard]] bool hasState(const StateKeyType& stateKey) const { return x.hasRow(stateKey); }
    [[nodiscard]] bool hasStates(const std::vector<StateKeyType>& stateKeys) const { return x.hasStates(stateKeys); }
    [[nodiscard]] bool hasAnyStates(const std::vector<StateKeyType>& stateKeys) const { return x.hasAnyStates(stateKeys); }
 
    void addState(const StateKeyType& stateKey) { addStates({ stateKey }); }
 
    void addStates(const std::vector<StateKeyType>& stateKeys)
    {
        INS_ASSERT_USER_ERROR(!x.hasAnyRows(stateKeys), "You cannot add a state key which is already in the Kalman filter.");
        std::unordered_set<StateKeyType> stateSet = { stateKeys.begin(), stateKeys.end() };
        INS_ASSERT_USER_ERROR(stateSet.size() == stateKeys.size(), "Each state key must be unique");
 
        auto n = x(all).rows() + static_cast<int>(stateKeys.size());
 
        x.addRows(stateKeys);
        P.addRowsCols(stateKeys, stateKeys);
        F.addRowsCols(stateKeys, stateKeys);
        Phi.addRowsCols(stateKeys, stateKeys);
        G.addRowsCols(stateKeys, stateKeys);
        W.addRowsCols(stateKeys, stateKeys);
        Q.addRowsCols(stateKeys, stateKeys);
        H.addCols(stateKeys);
        K.addRows(stateKeys);
        I = Eigen::MatrixX<Scalar>::Identity(n, n);
    }
    void addStates(const std::vector<StateKeyType>& stateKeys) {…}
 
    void removeState(const StateKeyType& stateKey) { removeStates({ stateKey }); }
 
    void removeStates(const std::vector<StateKeyType>& stateKeys)
    {
        INS_ASSERT_USER_ERROR(x.hasRows(stateKeys), "Not all state keys you are trying to remove are in the Kalman filter.");
        std::unordered_set<StateKeyType> stateSet = { stateKeys.begin(), stateKeys.end() };
        INS_ASSERT_USER_ERROR(stateSet.size() == stateKeys.size(), "Each state key must be unique");
 
        auto n = x.rows() - static_cast<int>(stateKeys.size());
 
        x.removeRows(stateKeys);
        P.removeRowsCols(stateKeys, stateKeys);
        F.removeRowsCols(stateKeys, stateKeys);
        Phi.removeRowsCols(stateKeys, stateKeys);
        G.removeRowsCols(stateKeys, stateKeys);
        W.removeRowsCols(stateKeys, stateKeys);
        Q.removeRowsCols(stateKeys, stateKeys);
        H.removeCols(stateKeys);
        K.removeRows(stateKeys);
        I = Eigen::MatrixX<Scalar>::Identity(n, n);
    }
    void removeStates(const std::vector<StateKeyType>& stateKeys) {…}
 
    void replaceState(const StateKeyType& oldKey, const StateKeyType& newKey)
    {
        x.replaceRowKey(oldKey, newKey);
        P.replaceRowKey(oldKey, newKey);
        P.replaceColKey(oldKey, newKey);
        F.replaceRowKey(oldKey, newKey);
        F.replaceColKey(oldKey, newKey);
        Phi.replaceRowKey(oldKey, newKey);
        Phi.replaceColKey(oldKey, newKey);
        G.replaceRowKey(oldKey, newKey);
        G.replaceColKey(oldKey, newKey);
        W.replaceRowKey(oldKey, newKey);
        W.replaceColKey(oldKey, newKey);
        Q.replaceRowKey(oldKey, newKey);
        Q.replaceColKey(oldKey, newKey);
        H.replaceColKey(oldKey, newKey);
        K.replaceRowKey(oldKey, newKey);
    }
    void replaceState(const StateKeyType& oldKey, const StateKeyType& newKey) {…}
 
    void setMeasurements(const std::vector<MeasKeyType>& measKeys)
    {
        std::unordered_set<MeasKeyType> measSet = { measKeys.begin(), measKeys.end() };
        INS_ASSERT_USER_ERROR(measSet.size() == measKeys.size(), "Each measurement key must be unique");
 
        auto n = static_cast<int>(x.rows());
        auto m = static_cast<int>(measKeys.size());
 
        const auto& stateKeys = x.rowKeys();
 
        z = KeyedVectorX<Scalar, MeasKeyType>(Eigen::VectorX<Scalar>::Zero(m), measKeys);
        H = KeyedMatrixX<Scalar, MeasKeyType, StateKeyType>(Eigen::MatrixX<Scalar>::Zero(m, n), measKeys, stateKeys);
        R = KeyedMatrixX<Scalar, MeasKeyType, MeasKeyType>(Eigen::MatrixX<Scalar>::Zero(m, m), measKeys, measKeys);
        S = KeyedMatrixX<Scalar, MeasKeyType, MeasKeyType>(Eigen::MatrixX<Scalar>::Zero(m, m), measKeys, measKeys);
        K = KeyedMatrixX<Scalar, StateKeyType, MeasKeyType>(Eigen::MatrixX<Scalar>::Zero(n, m), stateKeys, measKeys);
    }
    void setMeasurements(const std::vector<MeasKeyType>& measKeys) {…}
 
    void addMeasurement(const MeasKeyType& measKey) { addMeasurements({ measKey }); }
 
    void addMeasurements(const std::vector<MeasKeyType>& measKeys)
    {
        INS_ASSERT_USER_ERROR(!z.hasAnyRows(measKeys), "A measurement keys you are trying to add was already in the Kalman filter.");
        std::unordered_set<MeasKeyType> measurementSet = { measKeys.begin(), measKeys.end() };
        INS_ASSERT_USER_ERROR(measurementSet.size() == measKeys.size(), "Each measurement key must be unique");
 
        z.addRows(measKeys);
        H.addRows(measKeys);
        R.addRowsCols(measKeys, measKeys);
        S.addRowsCols(measKeys, measKeys);
        K.addCols(measKeys);
    }
    void addMeasurements(const std::vector<MeasKeyType>& measKeys) {…}
 
    void removeMeasurement(const MeasKeyType& measKey) { removeMeasurements({ measKey }); }
 
    void removeMeasurements(const std::vector<MeasKeyType>& measKeys)
    {
        INS_ASSERT_USER_ERROR(z.hasRows(measKeys), "Not all measurement keys you are trying to remove are in the Kalman filter.");
        std::unordered_set<MeasKeyType> measurementSet = { measKeys.begin(), measKeys.end() };
        INS_ASSERT_USER_ERROR(measurementSet.size() == measKeys.size(), "Each measurement key must be unique");
 
        z.removeRows(measKeys);
        H.removeRows(measKeys);
        R.removeRowsCols(measKeys, measKeys);
        S.removeRowsCols(measKeys, measKeys);
        K.removeCols(measKeys);
    }
    void removeMeasurements(const std::vector<MeasKeyType>& measKeys) {…}
 
    KeyedVectorX<Scalar, StateKeyType> x;                 
    KeyedMatrixX<Scalar, StateKeyType, StateKeyType> P;   
    KeyedMatrixX<Scalar, StateKeyType, StateKeyType> Phi; 
    KeyedMatrixX<Scalar, StateKeyType, StateKeyType> Q;   
    KeyedVectorX<Scalar, MeasKeyType> z;                  
    KeyedMatrixX<Scalar, MeasKeyType, StateKeyType> H;    
    KeyedMatrixX<Scalar, MeasKeyType, MeasKeyType> R;     
    KeyedMatrixX<Scalar, MeasKeyType, MeasKeyType> S;     
    KeyedMatrixX<Scalar, StateKeyType, MeasKeyType> K;    
 
    KeyedMatrixX<Scalar, StateKeyType, StateKeyType> F; 
    KeyedMatrixX<Scalar, StateKeyType, StateKeyType> G; 
    KeyedMatrixX<Scalar, StateKeyType, StateKeyType> W; 
 
    void calcTransitionMatrix_Phi_Taylor(Scalar tau, size_t order)
    {
        INS_ASSERT_USER_ERROR(F.rowKeys() == Phi.rowKeys(), "The system model matrix F and the state transition matrix 𝚽 need to have the same keys.");
 
        Phi = transitionMatrix_Phi_Taylor(F, tau, order);
    }
    void calcTransitionMatrix_Phi_Taylor(Scalar tau, size_t order) {…}
 
    void calcTransitionMatrix_Phi_exp(Scalar tau)
    {
        INS_ASSERT_USER_ERROR(F.rowKeys() == Phi.rowKeys(), "The system model matrix F and the state transition matrix 𝚽 need to have the same keys.");
 
        Phi = transitionMatrix_Phi_exp(F, tau);
    }
    void calcTransitionMatrix_Phi_exp(Scalar tau) {…}
 
    void calcPhiAndQWithVanLoanMethod(Scalar dt)
    {
        INS_ASSERT_USER_ERROR(G.colKeys() == W.rowKeys(), "The columns of the noise input matrix G and rows of the noise scale matrix W must match. (G * W * G^T)");
        INS_ASSERT_USER_ERROR(G.rowKeys() == Q.rowKeys(), "The rows of the noise input matrix G and the System/Process noise covariance matrix Q must match.");
        INS_ASSERT_USER_ERROR(G.colKeys() == Q.colKeys(), "The cols of the noise input matrix G and the System/Process noise covariance matrix Q must match.");
 
        auto [Phi, Q] = NAV::calcPhiAndQWithVanLoanMethod(F(all, all), G(all, all), W(all, all), dt);
        this->Phi(all, all) = Phi;
        this->Q(all, all) = Q;
    }
    void calcPhiAndQWithVanLoanMethod(Scalar dt) {…}
 
    [[nodiscard]] bool isPreUpdateSaved() const { return _savedPreUpdate.saved; }
 
    void savePreUpdate()
    {
        INS_ASSERT_USER_ERROR(!_savedPreUpdate.saved, "Cannot save the pre-update without restoring or discarding the old one first.");
        _savedPreUpdate.saved = true;
 
        _savedPreUpdate.x = x;
        _savedPreUpdate.P = P;
        _savedPreUpdate.Phi = Phi;
        _savedPreUpdate.Q = Q;
        _savedPreUpdate.z = z;
        _savedPreUpdate.H = H;
        _savedPreUpdate.R = R;
        _savedPreUpdate.S = S;
        _savedPreUpdate.K = K;
 
        _savedPreUpdate.F = F;
        _savedPreUpdate.G = G;
        _savedPreUpdate.W = W;
    }
    void savePreUpdate() {…}
 
    void restorePreUpdate()
    {
        INS_ASSERT_USER_ERROR(_savedPreUpdate.saved, "Cannot restore the pre-update without saving one first.");
        _savedPreUpdate.saved = false;
 
        x = _savedPreUpdate.x;
        P = _savedPreUpdate.P;
        Phi = _savedPreUpdate.Phi;
        Q = _savedPreUpdate.Q;
        z = _savedPreUpdate.z;
        H = _savedPreUpdate.H;
        R = _savedPreUpdate.R;
        S = _savedPreUpdate.S;
        K = _savedPreUpdate.K;
 
        F = _savedPreUpdate.F;
        G = _savedPreUpdate.G;
        W = _savedPreUpdate.W;
    }
    void restorePreUpdate() {…}
    void discardPreUpdate()
    {
        INS_ASSERT_USER_ERROR(_savedPreUpdate.saved, "Cannot discard the pre-update without saving one first.");
        _savedPreUpdate.saved = false;
    }
    void discardPreUpdate() {…}
 
    [[nodiscard]] bool isNISenabled() const { return _checkNIS; }
 
    struct NISResult
    {
        bool triggered = false; 
        double NIS = 0.0;       
        double r2 = 0.0;        
    };
    struct NISResult {…};
 
    [[nodiscard]] auto checkForOutliersNIS([[maybe_unused]] const std::string& nameId)
    {
        NISResult ret{};
        if (z.rows() == 0) { return ret; }
        S(all, all) = H(all, all) * P(all, all) * H(all, all).transpose() + R(all, all);
 
        ret.NIS = std::abs(z(all).transpose() * S(all, all).inverse() * z(all));
 
        boost::math::chi_squared dist(static_cast<double>(z.rows()));
 
        ret.r2 = boost::math::quantile(dist, 1.0 - _alphaNIS);
 
        ret.triggered = ret.NIS >= ret.r2;
 
        if (ret.triggered)
        {
            LOG_TRACE("{}: NIS test triggered because: NIS = {:.3f} > {:.3f} = r2", nameId, ret.NIS, ret.r2);
        }
        else
        {
            LOG_DATA("{}: NIS test passed: NIS = {:.3f} <= {:.3f} = r2", nameId, ret.NIS, ret.r2);
        }
 
        return ret;
    }
    [[nodiscard]] auto checkForOutliersNIS([[maybe_unused]] const std::string& nameId) {…}
 
    bool showKalmanFilterGUI(const char* id, float width = 0.0F)
    {
        bool changed = false;
 
        changed |= ImGui::Checkbox(fmt::format("Enable outlier NIS check##{}", id).c_str(), &_checkNIS);
        ImGui::SameLine();
        gui::widgets::HelpMarker("If the check has too many false positives, try increasing the process noise.");
 
        if (_checkNIS)
        {
            double alpha = _alphaNIS * 100.0;
            ImGui::SetNextItemWidth(width - ImGui::GetStyle().IndentSpacing);
            if (ImGui::DragDouble(fmt::format("NIS alpha (failure rate)##{}", id).c_str(), &alpha, 1.0F, 0.0, 100.0, "%.2f %%"))
            {
                _alphaNIS = alpha / 100.0;
                changed = true;
            }
        }
 
        return changed;
    }
    bool showKalmanFilterGUI(const char* id, float width = 0.0F) {…}
 
    void showKalmanFilterMatrixViews(const char* id, int nRows = -2)
    {
        ImGui::PushFont(Application::MonoFont());
        float matrixTableHeight = ImGui::GetTextLineHeightWithSpacing() * static_cast<float>(nRows + 1);
        float vectorTableHeight = ImGui::GetTextLineHeightWithSpacing() * static_cast<float>(nRows);
        ImGui::PopFont();
 
        if (ImGui::TreeNode(fmt::format("x - State vector##{}", id).c_str()))
        {
            gui::widgets::KeyedVectorView(fmt::format("Kalman Filter x##{}", id).c_str(), &x, vectorTableHeight);
            ImGui::TreePop();
        }
        if (ImGui::TreeNode(fmt::format("P - Error covariance matrix##{}", id).c_str()))
        {
            gui::widgets::KeyedMatrixView(fmt::format("Kalman Filter P##{}", id).c_str(), &P, matrixTableHeight);
            ImGui::TreePop();
        }
        if (ImGui::TreeNode(fmt::format("Phi - State transition matrix##{}", id).c_str()))
        {
            gui::widgets::KeyedMatrixView(fmt::format("Kalman Filter Phi##{}", id).c_str(), &Phi, matrixTableHeight);
            ImGui::TreePop();
        }
        if (ImGui::TreeNode(fmt::format("Q System/Process noise covariance matrix##{}", id).c_str()))
        {
            gui::widgets::KeyedMatrixView(fmt::format("Kalman Filter Q##{}", id).c_str(), &Q, matrixTableHeight);
            ImGui::TreePop();
        }
        if (ImGui::TreeNode(fmt::format("z - Measurement vector##{}", id).c_str()))
        {
            gui::widgets::KeyedVectorView(fmt::format("Kalman Filter z##{}", id).c_str(), &z, vectorTableHeight);
            ImGui::TreePop();
        }
        if (ImGui::TreeNode(fmt::format("H - Measurement sensitivity matrix##{}", id).c_str()))
        {
            gui::widgets::KeyedMatrixView(fmt::format("Kalman Filter H##{}", id).c_str(), &H, matrixTableHeight);
            ImGui::TreePop();
        }
        if (ImGui::TreeNode(fmt::format("R - Measurement noise covariance matrix##{}", id).c_str()))
        {
            gui::widgets::KeyedMatrixView(fmt::format("Kalman Filter R##{}", id).c_str(), &R, matrixTableHeight);
            ImGui::TreePop();
        }
        if (ImGui::TreeNode(fmt::format("S - Measurement prediction covariance matrix##{}", id).c_str()))
        {
            gui::widgets::KeyedMatrixView(fmt::format("Kalman Filter S##{}", id).c_str(), &S, matrixTableHeight);
            ImGui::TreePop();
        }
        if (ImGui::TreeNode(fmt::format("K - Kalman gain matrix##{}", id).c_str()))
        {
            gui::widgets::KeyedMatrixView(fmt::format("Kalman Filter K##{}", id).c_str(), &K, matrixTableHeight);
            ImGui::TreePop();
        }
        if (ImGui::TreeNode(fmt::format("F - System model matrix##{}", id).c_str()))
        {
            gui::widgets::KeyedMatrixView(fmt::format("Kalman Filter F##{}", id).c_str(), &F, matrixTableHeight);
            ImGui::TreePop();
        }
        if (ImGui::TreeNode(fmt::format("G - Noise input matrix##{}", id).c_str()))
        {
            gui::widgets::KeyedMatrixView(fmt::format("Kalman Filter G##{}", id).c_str(), &G, matrixTableHeight);
            ImGui::TreePop();
        }
        if (ImGui::TreeNode(fmt::format("W - Noise scale matrix##{}", id).c_str()))
        {
            gui::widgets::KeyedMatrixView(fmt::format("Kalman Filter W##{}", id).c_str(), &W, matrixTableHeight);
            ImGui::TreePop();
        }
    }
    void showKalmanFilterMatrixViews(const char* id, int nRows = -2) {…}
 
    struct SavedPreUpdate
    {
        bool saved = false; 
 
        KeyedVectorX<Scalar, StateKeyType> x;                 
        KeyedMatrixX<Scalar, StateKeyType, StateKeyType> P;   
        KeyedMatrixX<Scalar, StateKeyType, StateKeyType> Phi; 
        KeyedMatrixX<Scalar, StateKeyType, StateKeyType> Q;   
        KeyedVectorX<Scalar, MeasKeyType> z;                  
        KeyedMatrixX<Scalar, MeasKeyType, StateKeyType> H;    
        KeyedMatrixX<Scalar, MeasKeyType, MeasKeyType> R;     
        KeyedMatrixX<Scalar, MeasKeyType, MeasKeyType> S;     
        KeyedMatrixX<Scalar, StateKeyType, MeasKeyType> K;    
        KeyedMatrixX<Scalar, StateKeyType, StateKeyType> F;   
        KeyedMatrixX<Scalar, StateKeyType, StateKeyType> G;   
        KeyedMatrixX<Scalar, StateKeyType, StateKeyType> W;   
    };
    struct SavedPreUpdate {…};
 
    [[nodiscard]] const SavedPreUpdate& savedPreUpdate() const { return _savedPreUpdate; }
 
  private:
    Eigen::MatrixXd I; 
 
    SavedPreUpdate _savedPreUpdate; 
 
    bool _checkNIS = true;
 
    double _alphaNIS = 0.05;
 
    friend void to_json(json& j, const KeyedKalmanFilter<Scalar, StateKeyType, MeasKeyType>& obj)
    {
        j = json{
            { "checkNIS", obj._checkNIS },
            { "alphaNIS", obj._alphaNIS },
        };
    }
    friend void to_json(json& j, const KeyedKalmanFilter<Scalar, StateKeyType, MeasKeyType>& obj) {…};
    friend void from_json(const json& j, KeyedKalmanFilter<Scalar, StateKeyType, MeasKeyType>& obj)
    {
        if (j.contains("checkNIS")) { j.at("checkNIS").get_to(obj._checkNIS); }
        if (j.contains("alphaNIS")) { j.at("alphaNIS").get_to(obj._alphaNIS); }
    }
    friend void from_json(const json& j, KeyedKalmanFilter<Scalar, StateKeyType, MeasKeyType>& obj) {…};
};
class KeyedKalmanFilter {…};
 
template<typename StateKeyType, typename MeasKeyType>
using KeyedKalmanFilterD = KeyedKalmanFilter<double, StateKeyType, MeasKeyType>;
 
template<typename Scalar, typename RowKeyType, typename ColKeyType, int Rows, int Cols>
KeyedMatrix<Scalar, RowKeyType, ColKeyType, Rows, Cols> transitionMatrix_Phi_Taylor(const KeyedMatrix<Scalar, RowKeyType, ColKeyType, Rows, Cols>& F, Scalar tau_s, size_t order)
{
    // Transition matrix 𝚽
    Eigen::Matrix<Scalar, Rows, Cols> Phi;
 
    if constexpr (Rows == Eigen::Dynamic)
    {
        Phi = Eigen::Matrix<Scalar, Rows, Cols>::Identity(F.rows(), F.cols());
    }
    else
    {
        Phi = Eigen::Matrix<Scalar, Rows, Cols>::Identity();
    }
    // std::cout << "Phi = I";
 
    for (size_t i = 1; i <= order; i++)
    {
        Eigen::Matrix<Scalar, Rows, Cols> Fpower = F(all, all);
        // std::cout << " + (F";
 
        for (size_t j = 1; j < i; j++) // F^j
        {
            // std::cout << "*F";
            Fpower *= F(all, all);
        }
        // std::cout << "*tau_s^" << i << ")";
        // std::cout << "/" << math::factorial(i);
        Phi += (Fpower * std::pow(tau_s, i)) / math::factorial(i);
    }
    // std::cout << "\n";
 
    return { Phi, F.rowKeys(), F.colKeys() };
}
KeyedMatrix<Scalar, RowKeyType, ColKeyType, Rows, Cols> transitionMatrix_Phi_Taylor(const KeyedMatrix<Scalar, RowKeyType, ColKeyType, Rows, Cols>& F, Scalar tau_s, size_t order) {…}
 
template<typename Scalar, typename RowKeyType, typename ColKeyType, int Rows, int Cols>
KeyedMatrix<Scalar, RowKeyType, ColKeyType, Rows, Cols> transitionMatrix_Phi_exp(const KeyedMatrix<Scalar, RowKeyType, ColKeyType, Rows, Cols>& F, Scalar tau_s)
{
    // Transition matrix 𝚽
    return { (F(all, all) * tau_s).exp(), F.rowKeys(), F.colKeys() };
}
KeyedMatrix<Scalar, RowKeyType, ColKeyType, Rows, Cols> transitionMatrix_Phi_exp(const KeyedMatrix<Scalar, RowKeyType, ColKeyType, Rows, Cols>& F, Scalar tau_s) {…}
 
} // namespace NAV