Właściwości statystyczne oszacowań Kalmana w hałasie Gaussa

9

W przypadku liniowego modelu przestrzeni stanów z niezależnymi szumami stanu Gaussa i wyjściowymi oraz doskonałym zgadywaniem stanu początkowego, czy szacunki Kalmana mają następujące właściwości: gdzie

E(x^k|kxk)=0
Pk|k=Var(x^k|kxk), or Var(x^k|k), or Var(xk)?
  • xk jest stanem w czasie , który jest losowyk

  • x^k|k i są esmitatami Kalmana, tj. wyjściami filtra Kalmana.Pk|k

Czy są wzmianki o nich?

Dzięki!

Tim
źródło
Czy a posteriori szacowany kowariancji w czasie ? Tak naprawdę nie ma standardowej notacji, więc nie jest całkowicie jasne, co rozumiesz przez „szacunki Kalmana”. Pk|kk
Jason R
@Jason: tak, to jest ...
Tim

Odpowiedzi:

3

Poniższe dwa stwierdzenia są równoważne z powiedzeniem:

E(x^k|kxk)=0

(1) estymator jest bezstronny ; i

Pk|k=Var(x^k|kxk)

(2) Estymator jest spójny .

Oba te warunki są konieczne, aby filtr był optymalny - tj. Najlepsze możliwe oszacowanie w odniesieniu do niektórych kryteriów.xk|k

Jeśli (1) nie jest prawdziwe, to błąd średniej kwadratowej (MSE) byłby odchyleniem powiększonym o wariancję (w przypadku skalarnym). Jasne, to jest większe niż tylko wariancja, a zatem nieoptymalne.

Jeśli (2) nie jest prawdziwe (tzn. Kowariancja obliczona przez filtr różni się od prawdziwej kowariancji), wówczas filtr również będzie nieoptymalny. Ponieważ Wzmocnienie Kalmana opiera się na obliczonym kowariancji stanu, błąd w kowariancji doprowadzi do błędu w wzmocnieniu. Błąd wzmocnienia oznacza nieoptymalne ważenie pomiarów.

(Tak się składa, że ​​oba warunki są prawdziwe dla prawidłowo zamodelowanego filtra. Błędy w modelowaniu, takie jak model dynamiczny lub kowariancje szumu, również spowodują, że filtr nie będzie optymalny).

Źródło: Bar-Shalom , szczególnie Rozdział 5.4 na stronie 232-233.

Damien
źródło
2

Należy zauważyć, że NIE jest zmienną losową. Jest to stan systemu deterministyczny, który ogólnie jest zmienny w . co jest równoważne z wypowiedzeniem xkk

E(x^k|k)=xk
E(x^k|kxk)=0

Ponadto

Var(xk)=0

I,

Pk|k=Var(x^k|k)
który, biorąc pod uwagę, że jest deterministyczny, okazuje się być równyxkVar(x^k|kxk)

tło

xk jest deterministycznym stanem systemu. Jest to w przeciwieństwie do szumu systemu, który przedstawiony jest w większości prac z wariancji . Co więcej, niektóre literatury modelują szum systemu za pomocą macierzy współczynników; w którym to przypadku macierz jest zastępowana przez w oszacowaniu propagacji, gdzie jest macierzą współczynnika szumu. Aby rozwinąć, reprezentację systemu w tym przypadku podaje: wQQGQGTG

xk+1=Axk+Buk+Gw

Jako odniesienie: sam artykuł Kalmana:http://160.78.24.2/Public/Kalman/Kalman1960.pdf

aiao
źródło
O ile wiem jest procesem losowym. Wariancja wynika z szumu procesowego. Dla danej realizacji jest deterministyczne. {xk}k=xkxk
Royi
@Drazick Szum procesowy jest zwykle oznaczany symbolem w, z wariancją Q. xk jest stanem systemu, nie ma sensu, aby stany były losowe; szacunek z drugiej strony, jako zmienna losowa, ma sens
aiao
Jestem zmieszany: w jaki sposób być deterministyczny, jeśli dodaje się (który jest stochastyczny), aby go utworzyć? Jedynym sposobem, w jaki może być deterministyczny, jest to, że składnik stochastyczny wynosi zero, tak? xk+1Gwxk+1
Peter K.
@PeterK. ponieważ przyjmuje określony realizacji na każdymwk
aiao
1
Podczas gdy sam Kalman nigdy nie uważał wektora stanu za zmienną stochastyczną (myślę, że mogę to przypisać Doucetowi, ale mogę się mylić), Filtr Kalmana można wyprowadzić z reguły Bayesa. W tym przypadku wektor stanu . Zobacz Wikipedia . xk|kN(x^k|k,Pk|k)
Damien