Date: January 15, 2024

Topic: Formal Definitions

Recall

Bayes filter is a recursive method that takes past beliefs and updates them to produce a future belief.

It is used in a variety of applications like Histogram, Kalman and particle filters

Notes

Bayes Filter

$bel(x_t)=\eta p(z_t|x_t) \int p(x_t|u_t,x_{t-1})bel(x_{t-1})dx_{t-1}$

A framework for recursive state estimate

The above will produce an updated belief in a future timestep

Update Loop:

Untitled

  1. At $t_0$:
    1. original_belief + F(measurement, movement) = updated_belief_t0
  2. At $t_1$:
    1. original_belief = updated_belief_t0
    2. original_belief + F(measurement, movement) = updated_belief_t1

<aside> 💡 Movement: Law of Total Probability

</aside>

<aside> 💡 Measurement: Bayes Rule

</aside>

Realizations of Bayes Filter:

Conditional Probability:

Probability of $Y$ happening given that $X$ has occurred

$$ P(Y|X) = \frac{P(Y\cap X)}{P(X)} $$


<aside> 📌 SUMMARY: Bayes filter is what many filter applications are built on. The two terms in the filter are a result of movement (Total probability) and measurement (Histogram filter)

</aside>


Date: January 16, 2024

Topic: Theorem of Total Probability

Recall

The probability of a future time-step is dependent on the summation of the probabilities of the previous locations

Notes

Law of Total Probability (Movement)

The total probability of an outcome can be realized via several distinct events

Untitled

$P(X_i^t) = \sum P(X_j^{t-1})\cdot P(X_i|X_j)$

<aside> 💡 Total probability is applied for movement, and is shown in the Bayes filter above (within integral)

</aside>


Law of total probably is the sum of the probability of $A$ occurring given that $B$ occurs, multiplied by the probability that $B$ occurs.



<aside> 📌 SUMMARY: Total probability is used for estimating future positions based on prior movements

</aside>


Date: January 20, 2024

Topic: Bayes Rule