Derivations: Update PX4Flow error estimation with correlated state errors