カルマンフィルタの導出
カルマンフィルタのベイズじゃない説明の意味がわからなかったので,ベイズっぽく導出した.それのメモ.
状態変数が であり,観測量が がである次の離散時間システムを考える:
ここで は系への入力であり, はそれぞれ平均が零,共分散行列が である正規分布に従うノイズである.ノイズは全て独立とする.(確率変数と行列を大文字でかいてある.)
例えば が地表の点で, がともに単位行列であれば,場所の観測にノイズが乗っていて,かつ速度ベクトルを自分で決められるときの位置の推定問題である.
平均 , 分散 の確率変数 を初期値とする上記のシステムで, を求めることができればよい.すなわち, を観測したときの を求めればOK.
これは条件つき確率の定義に従って分母を無視することで簡単に計算できる.
と は独立な正規分布だから,確率は積をとればOK.
定数項を上手に無視して, に関するところだけピックアップし,行列版の平方完成をすれば,条件付きの分布が正規分布となり,その平均および分散が
平均:
分散:
となることがわかる.ここで .
おまけ: ここで1次元の問題を考えて, とすると,
平均:
分散:
平均は精度(分散の逆数)で重み付けした2つの推定の内分となり,精度は2つの推定の精度の和になる.