Kalman Filter תומר באום Based on ch. 8 in “Principles of robot motion” By Choset et al. ב"הב"ה.

Slides:



Advertisements
Similar presentations
מבוא למדעי המחשב לתעשייה וניהול
Advertisements

1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
Presentation by Dudu Yanay and Elior Malul 1.  מה משותף לכל אלגוריתם המשתמש ב -Bucket Elimination: ◦ נתון מודל הסתברותי ורשת ביסיאנית מתאימה. ◦ נתונה.
מכונת מצבים תרגול מס' 4 Moshe Malka.
קורס אינטראקטיבי מבוסס על הקורס המועבר ע”י ד”ר קרסנוב קורס אינטראקטיבי מבוסס על הקורס המועבר ע”י ד”ר קרסנוב פרק 6. פירוק ……….(LU and Cholesky) …...
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
עקיבה אחר מטרה בשיטת מרכז מסה
משטר דינמי המשך – © Dima Elenbogen :55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.
Inverse kinematics (Craig ch.4) ב"ה. Pieper’s solution נתבונן ברובוט עם 6 מפרקי סיבוב כאשר שלושת הצירים של המפרקים האחרונים נחתכים. נקודת החיתוך נתונה.
Na+ P-. הפוטנציאל האלקטרוכימי אנרגיה חופשית ל - 1 mole חומר. מרכיב חשמלי מרכיב כימי מרכיבי הפוטנציאל האלקטרוכימי של חומר X: המרכיב הכימי : RTlnC x R –
1 שונות המשתנה. המודל : הנחות 1-3 מתקיימות. הנחה 4 אינה מתקיימת - כך שלפחות עבור תצפית אחת השונות שונה מהשונות של יתר התצפיות. לפחות עבור s ו t אחד. תוצאות.
1 שיפור עקיבה אחר מטרה בשיטת קורלציה ומרכז כובד בשילוב אלגוריתם IMM מגיש: שישלניקוב דניס מנחה: דר' גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION -
Quaternions and Rotations ב"ה תומר באום. Quaternion Group חבורה שמכילה 8 איברים: 1,-1,i,j,k ו –i,-j,-k כך ש: i*j=k, j*i=-k j*k=i, k*j=-i k*i=j, i*k=-j.
The Solar Wind And its consequences. dx dA משוואות בסיסיות בהידרו דינמיקה הכח הפועל כתוצאה מגרדיאנט בלחץ על אלמנט מסה - dm.
אינטרפולציה רועי יצחק.
מבוא להנדסת חשמל מעגל מסדר שני.
חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.
שיחזור תמונה בעזרת סופררזולוציה.. 1. הקדמה. נתון אובייקט בעולם האמיתי. מטרה היא לקבל תמונה של האובייקט הנתון בגודל מסויים (L x L). לרשותינו נמצאית מצלמה.
(C) סיון טל גילוי מידע וזיהוי תבניות תרגול מס. 4 חזרה על בעיית השערוך, שיטות פרמטריות. שיטת MAP ( בייסיאנית ) לשערוך פרמטרים. שיטת הנראות המירבית. השיטה.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
מגישים: אנדרי זמנסקי יבגני שיפמן מנחה: ד"ר גבי דוידוב עקיבה אחרי ארבע מטרות תוך כדי מיון אוטומטי בשיטת קורלציה ו - JPDAF.
תורת הקבוצות חלק ב'. קבוצה בת מניה הגדרה: קבוצה אינסופית X היא ניתנת למניה אם יש התאמה חד-חד ערכית בין X לבין .
Tangent Bug יישום תומר באום Based on ch. 2 in “Principles of robot motion” By Choset et al. ב"הב"ה.
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site : T.A. :Emilia Katz.
Partially Observable Markov Decision Processes (POMDP) תומר באום Based on ch. 15 in “Probabilistic Robotics” by Thrun et al. ב"הב"ה.
תחשיב הפסוקים חלק ג'. צורות נורמליות א. DF – Disjunctive Form – סכום של מכפלות. דוגמא: (P  ~Q  R)  (R  P)  (R  ~Q  ~P) הגדרה: נוסחה השקולה לנוסחה.
מודל ONLINE לומדמורה 1. כל ניתן לחישוב בזמן פולינומיאלי 2. אחרי מספר פולינומיאלי של טעיות ( ) הלומד לא טועה ז"א שווה ל- Littlestone 1988.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
Motion planning via potential fields תומר באום Based on ch. 4 in “Principles of robot motion” By Choset et al. ב"הב"ה.
A. Frank File Organization Various Parameter Issues.
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
1 תרגול : קודי קו בינאריים בסיסיים. 2 יצירת קוד קו יצירת הלמים לפי קוד קו מסנן בעל תגובה להלם h(t) ביטי כניסה X(t)Y(t) a1 a2 a3 a4 t Ts.
שאלה 1 נתון כביש ישר עם תחנות דלק בנקודות , בנקודת המוצא נתונה מכונית עם תא דלק שמספיק ל-100 ק"מ. מחיר מילוי תא הדלק בתחנה.
The Cyclic Multi-peg Tower of Hanoi מעגלי חד-כווני סבוכיות הפתרון בגרסאות עם יותר מ-3 עמודים.
Ray 7 דוגמא אלגוריתם 1.קבל דוגמאות 2. פלט f a עבור הדוגמה a המינימלית החיובית ?
תחשיב הפסוקים חלק ד'. תורת ההיסק של תחשיב הפסוקים.
Data Structures, CS, TAU, Perfect Hashing 1 Perfect Hashing בעיה : נתונה קבוצה S של n מפתחות מתחום U השוואה ל - Hash : * טבלה קבועה (Hash רגיל - דינאמי.
1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
מרחב הפאזה פרקים בתנודות וגלים לא ליניאריים פרופ' לזר פרידלנד
מערכים עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר int grade1, grade2, …, grade20; int grade1, grade2, …, grade20;
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.
עקרון ההכלה וההדחה.
יחס סדר חלקי.
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א.
שאלה 9 – בקר ומסלול - נתונים נתונה המערכת הבאה של בקר ומסלול נתונים. כל הקווים העבים בשרטוט ה DP הם ברוחב n. ה -ADDER מחבר מודולו n 2. COMPARE הוא רכיב.
Particle Filter תומר באום ב"ה. מוטיבציה אנו רוצים להעריך מצב של מערכת (מיקום,מהירות טמפרטורה וכו') בעזרת מדידות שנעשות בזמנים שונים. ( כמו טווח לנקודות.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
Points on a perimeter (Convex Hull) קורס – מבוא לעבוד מקבילי מבצעים – אריאל פנדלר יאיר ברעם.
בקרה תומר באום ב"הב"ה. סוגי בקרה חוג פתוח Open-loop control : אנו מכוונים את הרובוט למצב הבא שהוא אמור להיות בו לפי מודל מסוים, כמו שעשינו בקינמטיקה הפוכה.
11 Introduction to Programming in C - Fall 2010 – Erez Sharvit, Amir Menczel 1 Introduction to Programming in C תרגול
1 Space Complexity Non-Deterministic Space אליעזר מדבד
1 גילוי מידע וזיהוי תבניות תרגול מס. 3 התפלגות נורמלית רב - מימדית Kullback-Leibler Divergence - משפט קמירות - נגזרת שנייה משפט Log sum inequality משפט.
עקיבה אחר מטרה בשיטת מרכז כובד בשילוב אלגוריתם IMM מגישים: שי בן שחר גלעד רבינוביץ מנחה: דר' גבי דוידוב הטכניון - מכון טכנולוגי לישראל TECHNION - ISRAEL.
- אמיר רובינשטיין מיונים - Sorting משפט : חסם תחתון על מיון ( המבוסס על השוואות בלבד ) של n מפתחות הינו Ω(nlogn) במקרה הגרוע ובממוצע. ניתן לפעמים.
נתחיל בסגירת חוב... Geometric vision Goal: Recovery of 3D structure – Structure and depth are inherently ambiguous from single views. מבוסס על השקפים.
Data Structures Hanoch Levi and Uri Zwick March 2011 Lecture 3 Dynamic Sets / Dictionaries Binary Search Trees.
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site:
שיתוף PDT בין חוטים PDT Thread A Process Descriptor File Object 1 File Object 2 File 1 File 2 pthread_create Thread B Process Descriptor ה PDT משותף לכל.
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
Formal Specifications for Complex Systems (236368) Tutorial #1
פרוקטוז, C6H12O6 , חד-סוכר מיוחד
ממשקים - interfaces איך לאפשר "הורשה מרובה".
ריבועים פחותים – מקרה כללי
סמינר בנושאים מתקדמים בעיבוד תמונה
NG Interpolation: Divided Differences
Presentation transcript:

Kalman Filter תומר באום Based on ch. 8 in “Principles of robot motion” By Choset et al. ב"הב"ה

תאור כללי : שיטה רקורסיבית להערכת מצב של מערכת דינמית עם רעשים. הפלט הוא התפלגות גאוסיאנית ( ניתנת ע " י תוחלת המצב ומטריצת קווריאנס של שגיאת השיערוך )

ווקטורים אקראיים יהי וקטור אקראי עם פונקציית צפיפות תוחלת :, מטריצת הקוווריאנס : נסמן,

אנו מחפשים את המצב של הרובוט שמשתנה עם הזמן לפי המערכת הבאה: הוא התצפית (מה שמקבלים מהגלאים) הוא וקטור קלט שהמערכת מקבלת (מהירות סיבובים...) F,G,H הן מטריצות בגדלים מתאימים, נניח שדרגת H מלאה. הוא רעש המדידה: רעש גאוסיאני עם תוחלת 0 ו קווריאנס והוא לבן ( ו בלתי תלויים) הוא רעש המערכת: רעש גאוסיאני לבן משימה : מציאת מיקום ואוריינטציה של )Localization( רובוט

ניתוח מערכת ללא רעשים ( טרום קלמן ) נסמן : המצב המשוערך בזמן בהינתן כל התצפיות עד הזמן. ( הזמנים האלה יכולים להיות שווים )

שני שלבים בשיערוך חיזוי: עדכון: החיזוי מתקבל פשוט ע"י הצבה במשוואת המערכת

עדכון : נשים לב שבהינתן תצפית המצב x אמור להימצא על העל מישור: יהיה ההטלה של על העל מישור

נגדיר : נכפיל ב H: הפתרון LEAST SQUARES של המשוואה : כלומר : ( הסתכלו ב WIKIPEDIA: LINEAR LEAST SQUARES)

הערה : מבין כל הווקטורים שמקיימים : מהווה מינימום ביחס לגודל : בתהליך : K נקראת מטריצת ההגבר נקרא החידוש (INNOVATION)

מערכת עם רעש מערכת בלבד ( כמעט קלמן ) כמו שצייננו הפלט של מסנן קלמן הוא ממוצע המצב ומטריצת קווריאנס.

נתחיל משלב החיזוי בדומה לטרום קלמן זה מתקבל ע"י הצבה: החיזוי: נעלם כי התוחלת שלו 0. כעת אנחנו צריכים חיזוי של קווריאנס השגיאה:

P(k+1|k) חישוב מהצבת ו : מליניאריות התוחלת :

הסבר : נתון ש בלתי תלוי ב. בנוסף למרות שלא הגדרנו עדיין את אנו יודעים שהוא יהיה תלוי ב ובתצפית ולכן אין לו תלות ב. ( ל יש תלות ב ). לכן : ובנוסף נשתמש בנתון ש :

שלב העידכון : נזכור שאנו מניחים שפונקציית הסתברות ( צפיפות ) המצב היא :

אנחנו מחפשים נקודה ב : שתמקסם את :

המקסימום מתקבל כאשר המעריך ממוקסם, כלומר כאשר מקבל ערך מינימלי. זה דומה לבעיית Least squares שהיתה קודם. ( קודם דרשנו ש יהיה מינימלי )

לבעייה זו הפתרון יהיה : כאשר ההגבר הוא :

P(k+1|k+1) חישוב מהצבת ו ב : נקבל :

מסנן קלמן הוא וקטור מקרי עם מטריצת קווריאנס ההבדל העיקרי בין מקרה זה לקודם הוא שאנו לא יכולים לדרוש שיתקיים :

אז מה כן ? נחפש שהוא הפלט הסביר ביותר בהינתן התצפית עם קווריאנס והתצפית הצפויה : עם קווריאנס :

משפט : מכפלת גאוסיאנים מכפלת פונקציית צפיפות עם פרופורציונלית ל כאשר :

כיון ש התהליכים ו בלתי תלויים. תוחלת ההתפלגות המשותפת שלהם לפי המשפט תהיה : בדומה להגדרה שהייתה נגדיר : כעת נותר לחזור על התהליך של מציאת

לבעייה זו הפתרון יהיה : כאשר : ואם נציב את נקבל : כאשר ההגבר :

P(k+1|k+1) חישוב מהצבת ו ב : נקבל :

סיכום האלגוריתם : חיזוי : עדכון :

Reference: “An Introduction to the Kalman Filter” Welch and Bishop, (a Course given in SIGGRAPH 2001)