カルマンフィルタにおいて、観測値から予測値を修正する際に用いられる「イノベーション(観測残差)」の定義はどれか。

実際の測定値と現在のモデルからの予測値との差であり、これを元に状態推定を更新する。