bayesian-inference control-systems controls data-assimilation dynamical-systems estimation extended-kalman-filter gnss guidance-navigation-control kalman-filter monte-carlo-methods parameter-estimation particle-filter prediction-error-method sequential-monte-carlo state-estimation system-identification tracking unscented-kalman-filter virtual-sensing