Kalman filtering with state equality constraints | Synapse