הצגת המקור של הדף "תורת הבקרה/אופטימיזציית פרמטרים"

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

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

באופן כללי, פונקציונל העלות הוא סכום של עלויות המסלולים, שבדרך כלל מקבל צורה של אינטגרל על הזמן, ושל העלות של הסופית, שהיא פונקציה של המצב הסופי <math>\ x(t_f)</math> בלבד:
:<math>\ J=\phi(x(t_f)) + \int_0^{t_f} L(x,u,t)\,\mathrm{d}t.</math>

==אופטימיזצית פרמטרים==
בהינתן מערכת דינמית יציבה מהצורה
:<math>\ \dot x=Ax</math>
והמערכת תלויה בפרמטרים &theta;, נרצה למזער את פונקצית העלות
:<math>\ J=\int\limits_0^{\infty} x^TQx\mathrm{d}t</math>
נשתמש בקשר:
:<math>\ x^TQx=-{\mathrm{d}\over \mathrm{d}t}(x^TPx)</math>
ונקבל:
:<math>\ J=\int\limits_0^{\infty} x^TQx\mathrm{d}t= -x^TPx|_0^{\infty}= -x^T(\infty)Px(\infty)+x^T(0)Px(0)=x_0^TPx_0</math>
כלומר פונציונל העלות מתקבל מתוך תנאי ההתחלה בלבד, והמטריצה הסימטרית הלא ידוע P מתקבלת מתוך פתרון משוואת ליאפונוב עבור P:
:<math>\ A^TP+PA=-Q</math>
אחרי שקבלנו ביטוי ל-J כתלות בפרמטרי הבעיה &theta;, יש למזער את J לפי פרמטרים אלו. אם מדובר בפרמטר יחיד, יש למצוא ערך כזה שיתן:
:<math>\ \frac{\partial J}{\partial\theta}=0</math>

===דוגמה===
נניח כי נתונה המערכת הדינמית הבאה, עם פרמטר יחיד k:
:<math>\ \dot\vec x= \begin{bmatrix} 1-k & 1 \\ -k & 0 \end{bmatrix} \vec x</math>
ותנאי התחלה:
:<math>\ \vec x(0)=\begin{pmatrix}x_1^0 \\ 0\end{pmatrix}</math>
לצורך הדוגמה, נבחר באופן שרירותי את פונקציונל העלות להיות:
:<math>\ J=\int\limits_0^{\infty} \left(x_2-kx_1\right)^2 \mathrm{d}t</math>
לכן המטריצה הלא ידועה Q צריכה לקיים:
:<math>\ [x_1\quad x_2]\begin{bmatrix} q_1 & q_{12} \\ q_{21} & q_{22} \end{bmatrix} \begin{pmatrix}x_1\\x_2\end{pmatrix}= \left(x_2-kx_1\right)^2</math>
נפתח את שני האגפים
:<math>\ x_2^2-2kx_1x_2+k^2x_1^2= q_1x_1^2+\overbrace{(q_{12}+q_{21})}^{2q_{12}}x_1x_2+q_2x_2^2</math>
ונבצע השוואת מקדמים:
:<math>\ \Rightarrow\quad Q=\begin{bmatrix} k^2 & -k \\ -k & 1 \end{bmatrix}</math>
מפתרון משוואת ליאפונוב (ניתן להשתמש ב[[מייפל]] למשל) מתקבל:
:<math>\ P={1\over 2}\begin{bmatrix} {k(k+1)\over k-1} & -1 \\ -1 & {k+1\over k(k-1)} \end{bmatrix}</math>
בדיקת מוגדרות חיובית על פי קריטריון סילבסטר מביאה לתנאי k>1.

נחשב כעת את ערכו של פונקציונל העלות:
:<math>\ J=\int\limits_0^{\infty} x^TQx\mathrm{d}t= x_0^TPx_0= {1\over 2} [x_1^0\quad 0]\begin{bmatrix} {k(k+1)\over k-1} & -1 \\ -1 & {k+1\over k(k-1)} \end{bmatrix}\begin{pmatrix}x_1^0 \\ 0\end{pmatrix}= {1\over 2}{k(k+1)\over k-1}y_0^2</math>
נבצע מינימיזציה של J לפי k על ידי השוואת הנגזרת לאפס:
:<math>\ \frac{\partial J}{\partial k}=0 \quad\Rightarrow\quad k=2.414,-0.414</math>

[[קטגוריה:תורת הבקרה|א]]