Wertediskrete Systeme

Wertediskrete Systeme

Wonham Filter

Zustandschätzung für wertediskrete Systeme: Wonham Filter

  • Prädiktion

    ξkp=Aξk1e \underline{\xi}_{k}^{p}=\mathbf{A}^{\top} \underline{\xi}_{k-1}^{e}
  • Filterung

    ξke=yk=mB(:,m)ξkpB(:,m)ξkp \underline{\xi}_{k}^{e} \overset{y_k = m}{=} \frac{\mathbf{B}(:, m) \odot \underline{\xi}_{k}^{p}}{\mathbf{B}(:, m)^\top \cdot \underline{\xi}_{k}^{p}}
Üb 4, A2

Herleitung

  • Prädiktion P(xky0:m,u0:k1)P(x_k \mid y_{0:m}, u_{0:k-1}) für k>mk > m

    1. nach xk1x_{k-1} marginalisieren

    2. Bayes einsetzen

      P(a,bc)=P(ab,c)P(bc)() P(a, b \mid c) = P(a \mid b, c) \cdot P(b \mid c) \qquad (\ast)
    3. Markov Eigenschaft verwenden

    截屏2022-08-22 10.14.29
  • Filterung: P(xky1:k,u0:k1)P\left(x_{k} \mid y_{1: k}, u_{0: k-1}\right)

    1. P(xky1:k,u0:k1)=P(xkyk,y1:k1,u0:k1)P\left(x_{k} \mid y_{1: k}, u_{0: k-1}\right) = P(x_{k} \mid y_k, y_{1: k-1}, u_{0: k-1})
    2. Bayes einsetzen

      P(ba,c)P(ac)=P(ab,c)P(bc)() P(b \mid a, c) \cdot P(a \mid c)=P(a \mid b, c) \cdot P(b \mid c) \quad (\triangle)
    3. Schreibe in Form LikelihoodPra¨diktionNormalisierungskonstant\frac{\text{Likelihood} \cdot \text{Prädiktion}}{\text{Normalisierungskonstant}}

      P(xky1:k,u0:k1)=P(ykxk)LikelihoodP(xky1:k1,u0:k1)Einschritt-Pra¨diktionP(yky1:k1,u0:k1)Normalisierungskonstant P\left(x_{k} \mid y_{1: k}, u_{0: k-1}\right) = \frac{\overbrace{P\left(y_{k} \mid x_{k}\right)}^{\text{Likelihood}} \cdot \overbrace{P\left(x_{k} \mid y_{1: k-1}, u_{0: k-1}\right)}^{\text{Einschritt-Prädiktion}}}{\underbrace{P\left(y_{k} \mid y_{1: k-1}, u_{0: k-1}\right)}_{\text{Normalisierungskonstant}}}
      • Likelihood: P(ykxk)=B(xk,yk)P\left(y_{k} \mid x_{k}\right) = \mathbf{B}(x_k, y_k)

      • Prädiktion erhalten wir in Prädiktionsschritt

      • Normalisierungskonstant

        1. Marginalisierung nach xkx_k

        2. Bayes einsetzen

          P(a,bc)=P(ab,c)P(bc)() P(a, b \mid c) = P(a \mid b, c) \cdot P(b \mid c) \qquad (\ast)

Komplexitätsproblem bei der Diskretisierung eines allgemeinen Systems

Riesiger Speicherbedarf von Wahrscheinlichkeitsvektor und Transitionsmatrix