Error in EKF documentation

[Jormit]

For this definition of Omega, I believe the bottom right skew-symmetric matrix should have a negative sign in front of it.

[PeterBorisenko]

Indeed, a skew symmetric matrix looks like:

$$ \left[ \tilde{a} \right] = \left[ \begin{array}{c} 0 & -a_3 & a_2 \\ a_3 & 0 & -a_1 \\ -a_2 & a_1 & 0 \end{array} \right] $$

Just for clarity:

$$ 2 \dot{q}= \left[ \begin{array}{c} q_0 & -q_1 & -q_2 & -q_3 \\ q_1 & q_0 & -q_3 & q_2 \\ q_2 & q_3 & q_0 & -q_1 \\ q_3 & -q_2 & q_1 & q_0 \end{array} \right] \left[ \begin{array}{c} 0 \\ \omega \end{array} \right] = \left[ \begin{array}{c} -q_1 \omega_0 - q_2 \omega_1 - q_3 \omega_2 \\ q_0 \omega_0 - q_3 \omega_1 + q_2 \omega_2 \\ q_3 \omega_0 + q_0 \omega_1 - q_1 \omega_2 \\ -q_2 \omega_0 + q_1 \omega_1 + q_0 \omega_2 \end{array} \right] = \left[ \begin{array}{c} 0 - \omega_0 - \omega_1 - \omega_2 \\ \omega_0 + 0 + \omega_2 - \omega_1 \\ \omega_1 - \omega_2 + 0 + \omega_0 \\ \omega_2 + \omega_1 - \omega_0 + 0 \end{array} \right] q = \left[ \begin{array}{c} 0 & -\omega^T \\ \omega & \left[ \tilde{\omega} \right] ^T \end{array} \right]q $$

$$ -\left[ \tilde{\omega} \right] = \left[ \tilde{\omega} \right]^T $$