16.4.2.2 `EKF/ekf.cpp` 및 `EKF/covariance.cpp`: 상태 행렬 업데이트 및 공분산 예측 수학 모델