Attitude Error Representations for Kalman Filtering | Synapse