בקרה אופטימלית

בקרה אופטימלית היא ענף בתורת הבקרה, המבקש למצוא חוקי בקרה, שביצועיהם מביאים למקסימום או מינימום אינדקס ביצועים כלשהו.

הגדרת הבעיה
נתונה מערכת דינמית מאחד מהסוגים הבאים:

 או:

כאשר במערכת הזאת:
 x - וקטור המצב של המערכת.
 u - וקטור הבקרה, המנסה להביא את אינדקס הביצועים למקסימום או מינימום. וקטור הבקרה מקיים 

וקטור המצב של המערכת תחום במרחב המצב, המושפע מתנאי ההתחלה של המערכת ומהמרחב המותר למאמץ הבקרה u.
אינדקס הביצועים הוא פונקציונל, כלומר מיפוי של פונקציות אל הציר הממשי: 

הבעיה הבסיסית, לפיכך, היא למצוא את חוק הבקרה האופטימלי: 
הצמד  נקרא מסלול אופטימלי.

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

פתרון בעיות אופטימיזציה

תנאי לנקודת קיצון 
שינוי אינפיניטסימלי ב-x, שיסומן ב-  יגרום לשינוי קטן בערך הפונקציה f, שיסומן ב-. כדי להגיע לנקודת קיצון, אנחנו רוצים ש- . תנאי זה מתקיים, במקרים בהם מוגדר אילוץ מהסוג  אם ורק אם:
 g(x)=0 בנקודה כלשהי x0.
  בנקודה x0. תנאי זה מחייב קולינריות של הגרדיאנט של f והקו המשיק לאילוץ בנקודה x0.

דרך אחרת להשתמש בכלל זה הוא השימוש בכופלי לגראנז', כלומר להגדיר לגראנז'יאן:  ואז לדרוש שהוא יהיה סטציונרי בנקודה x0 ביחס ל-x וביחס לכופלי הלגראנז'. אם יש מספר אילוצים, משתמשים בוקטור של כופלי לגראנז'.

תנאי הניצבות 
משתמשים בחשבון וריאציות בשביל לבחון את הבעיה הבאה:
 
ניתן להוכיח שישנם שני תנאים המבטיחים את השגת המינימום:
 תנאי אוילר-לגראנז': 
 תנאי הניצבות:

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

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

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

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

לעיתים ניתן לקבל פתרונות שהם כן פתרונות בחוג סגור, בעיקר בבעיות ייחודיות המוגדרות כבעיות רגולטור ליניארי ריבועי (Linear Quadratic Regulator, LQR). בבעיות אלה ההגדרה היא כזו:

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

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

שיטת Steepest Descent 
אפשר לתאר את אינדקס הביצועים כמשטח רב-ממדי, בו מטרת הבקרה האופטימלית היא למצוא את הערך הנמוך ביותר של אינדקס זה. כלומר, תאורטית, אם מתקדמים "כלפי מטה", כמו מים במורד הזרימה, מגיעים למקום או לערך הנמוך ביותר של משטח זה. שיטת Steepest Descent פועלת בכיוון של הגרדיאנט המרבי ובכך מקרבת אותנו בכל פעם לפתרון. האלגוריתם לפיכך הוא:
 בחר נקודה x0.
 חשב את הגרדיאנט של פונקציית המחיר f בנקודה זו.
 חשב את הנקודה הבאה , כאשר s הוא גודל הצעד, שאותו בוחרים.
 תנאי העצירה: כאשר ההפרש בין הערכים של הפונקציה בעקבות הצעד קטנים התכנסנו לנקודת המינימום.

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

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

קישורים חיצוניים

ערכים שבהם תבנית בריטניקה אינה מתאימה
חקר ביצועים
מערכות בקרה
אופטימיזציה רציפה