המסנן הבייסיאני מניח את ההנחה המרקובית כך שמצב העתידי תלוי רק במצב הווה ובלתי תלוי במצבי העבר.
באופן דומה, המדידה תלויה רק במצב הנוכחי ובלתי תלוי במצבים הקודמים.
תחת הנחות הללו ניתן לתאר את ההסתברות של כל המצבים והמדידות.
המסנן מורכב משני שלבים:
1. חיזוי: המערכת מתקדמת בזמן כך שניתן לחזות את הסתברות המצב בצעד k באמצעות אינטגרציה על המצבים הקודמים והמדידות שבוצעו.
2. עדכון: התפלגות ההסתברות המעודכנת של צעד k, כלומר לאחר ביצוע המדידה ה-k, פרופורציונלית להתפלגות החיזוי כפול התפלגות המדידה.
-
כאשר המכנה הוא
-
מסנן קלמן הוא מסנן בייסיאני המניח בנוסף:
- מודל קידום ליניארי, כך שניתן לבצע קידום באמצעות כפל מטריצות
- התפלגות גאוסית נורמלית של רעש התהליך , רעש המדידה ומשתני המצב