In addition, the square-root forms have the added benefit of numerical stability and guaranteed positive semi-definiteness of the state covariances.