הקדמה: למה פרדוקס העניינים בבקרת הסתגלות

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

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

מה זה Persistent Exציטוט?

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

(במבט מתמטי, ראה מערכת ליניארית שמודלה כ-FLT:0, שבו (FLT:1) הוא וקטור פרמטר לא ידוע ו-FLT:2 הוא וקטור תוקפנות שנבנה מקלטים ופלטים קודמים.האלגוריתם ההסתגלות מעדכן את ההערכה FLT:3 המונעת על ידי החיזוי, ה-RegressorFLT:4 חייב להיות מתמשך: משוואה סופית לא יכולה תמיד להיות מקדמה לעדכון.

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

מדוע פיזור עקבי הוא חיוני בשליטה הסתגלותית

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

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

  • (ב) פרמטר אמיתי התכנסות (FLT) 1 - ההערכות מתייחסות לפרמטרים הפיזיים הממשיים, ומאפשרות חיזוי מדויק ושליטה.
  • (ב) [15] ,הכוח להפרעות ב':1' – מערכת נרגשת מספיק יכולה לדחות רעש מבלי לגרום לסחיטה פרמטרית.
  • (ב) ,0) סופריאור טרנסיטיבי ויציב, רפורמת המדינה: הבקר יכול להסתגל לשינויים במהירות ולתחזק יציבות.
  • (ב) ניתן להשתמש במודל מזוהה עבור משימות משניות כמו זיהוי או אופטימיזציה של תקלות.

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

תנאים מתמטיים ל- Persistent Exציטוט

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

(ב) [[1924]]]]]] [[1924]]]]]] [[1924]]]]]]]] [[1924]]]]]]]] [[1924]]]]]]]], [[1924]]]]]]]]]]]], [[1924]]]]]]]], [[1924]]]]]]]], [[1924]]]]]]]]

(האי שוויון זה אומר שהאינטגרלי של המוצר החיצוני של התוקף הוא חיובי אחיד במונחים פשוטים יותר, התוקף חייב "לעבור" את המרחב הפרמטרי על כל חלון של אורך ה-FLT:0TreaFLT:1 עבור מערכת חד-פעוט יחיד (SISO) עם כל מערכת LT-F:2nFLT3, מספיק מצב זה דורש לעתים קרובות יותר מורכב של סינוסים (F)

הנחיות מעשיות כוללות:

  • (ב) ויקרא י"א): "ה' (ב')'''' (ב')''''''''''''''' (ב')''''''''''''''''''''''''''''''')'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''
  • (ב) הסתברות לאורך זמן: כפל 1:0) יש להמשיך ולהתמיד ללא הגבלת זמן.פרץ קצר של אות עשיר עשוי לתת הערכה ראשונית טובה, אך ללא המשך הציטוט, ההערכות יכולות להיסחף מאוחר יותר.
  • (ב) ⁇ :0) ⁇ : (ב) ,המערכת חייבת להיות אובססיבית במהלך תקופת הציטוט.

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

יישומים מעשיים של Persistent Exציטוט

מניפולטורים רובוטיים

בשליטה רובוטית, פרמטרים כגון מסה קישור, אינרציה, משככי חיכוך, קבוע מוטורי הם לעתים קרובות לא בטוחים או שינוי עם עומס תשלום. בקר הסתגלות יכול להעריך פרמטרים אלה באינטרנט, עם זאת, אם הרובוט נע רק לאורך מסלול קבוע (למשל, חוזר על אותם פרמטרים נבחרים ו- Corplace), וקטורים חוזרים עשויים להיות תלויים ליניארית, למנוע פרמטרים מלאים ב-"מזרקה" או "מחדש" תנועות" מדויקות" (rerequirererererererereretretretreative) הן יכולות להבטיח את כל תנועה, אפילו "מכוון" מדויק" (rererererections) -" (rections) באופן מדויק, אפילו שיפור, כלומר, כלומר, כלומר," (rerererereretraist) של תנועה, או "מכוון) של כוח הכבידה," (rererectionerative Motionstrectionerative Motionisting) באופן מדויק, או "מכוון) של כוח המשיכה," (rectionerresentrections) של תנועה, או "מכוון," (כמו תנועות תגובה) של כוח המשיכה) של תנועה," (כמו," (requirequirequiretrares

מערכות חלל

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

בקרת מנוע רכב

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

בקרת תהליכים והנדסה כימית

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

אתגרים ב-Achieving Persistent Exציטוט

למרות חשיבותו התאורטית, צוטטות מתמשכת מציגה מספר אתגרים מעשיים:

  • (FLT:0) אי-אפשרות מציטוטים מופרזים: ⁇ 1 (High- ⁇ ) או קלטות גדולות יכולות לדחוף את המערכת לאזורים לא-לינאריים או להרגשת דינמיקה לא מתוכמת, דבר שגורם לחוסר יציבות.
  • (FLT:0)Conflict עם מטרות ביצועים:FearLT:1 ביישומים רבים, המטרה העיקרית היא לשמור את פלט המערכת בהתייחסות הרצויה.הוספת אותות ציטוט עשוי לזלזל בביצועים באופן זמני.
  • (FLT:0) רגישות נושט: 1 בסביבות רועשות, צוטטות מתמשכת יכול להגביר רעש גבוה, המוביל לפרמטר ג'ייטר.
  • (FLT:0) פרמטרים של זמן-המשך: אם הפרמטרים האמיתיים משתנים לאט יותר מאשר הציטוט, ההתכנסות עדיין יכולה להיות אפשרית.עם זאת, אם הפרמטרים משתנים במהירות, יש צורך מהר מספיק כדי "לשמור" זה מוביל למושג של "חזק" לעומת "חלש" ציטוט.
  • (FLT:0) מערכות ניהול:0 (MIMO): מערכות עם פרמטרים רבים וקלטים מרובים, להבטיח כי מטריצה רגרסטור היא חיובית באופן אחיד על פני כל הכיוונים הוא לא טריוויאלי.

אסטרטגיות של מיגור וגישות אלטרנטיות

מהנדסים משתמשים במספר שיטות כדי להתמודד עם אתגרים אלה:

  • (FLT:0)זרקת אות: 1FLT להוסיף סימן נמוך, אות דיפרנציאלית גבוהה (למשל, סכום של סינוסים) לקלט הבקרה.האמפליטודו נשמר קטן מספיק כדי לא להפריע למערכת אלא גדול מספיק כדי לשמור על הדגימה.
  • (FLT:0Switching andמפקח: FIRLT:1 במקום לדרוש ציטוט מתמשך בכל עת, בקר יכול לפעמים לעבור "מצב זיהוי" שבו קלט עשיר מוחל לתקופה קצרה.לאחר ההתכנסות, המערכת חוזרת לפעולה נומינאלית.מפקחת על השקיפות או קביעת התוקפנות של המטריקס כאשר יש צורך בציטוט מחדש.
  • (FLT:0) לחוקים מתאימים: FLT:1 algorithms כגון הקרנה או שינוי בזון מת למנוע פרמטר סחף אפילו ללא PE. טכניקות אלה לשמור על גבולות אך לא להבטיח התכנסות לערכים אמיתיים. בשילוב עם מדי פעם PE, הם מספקים פשרה מעשית.
  • (FLT:0) מגולפסים לפחות עם שכחה: אלגוריתם ה- 1 (FLT:1) המהדהד של פחות מרובע עם שכחה אקספוננציאלית יכול לשמור על מעקב פרמטר אם הקלט משתנה לאט לאט.עם זאת, אם הקלט הופך קבוע, המריצה covariance יכול לגדול באופן שרירותי (קויפיוט), המוביל לפרמטרים גדולים.
  • (FLT:0) השימוש בהפרעות טבעיות:FLT:1 במערכות מסוימות, זעזוע, רעש כביש או וריאציות עומס מספקים די צבירה טבעית.מהנדסים מעצבים את הבקר ההסתגלות כדי לנצל אותות אלה ולא להזריק אותות מלאכותיים.

נושאים מתקדמים: Beyond Basic Persistent Exציטוט

שחרור ל-Identifiability

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

המונחים: Frequency-Domain

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

תגובה חוזרת ל-Freative Output Feedback

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

חיבור ל Reinforcement Learning

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

מסקנה

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

(ב) לקריאה נוספת, ספרי הלימוד הקלאסיים של FLT:0 ⁇ ström ו-WittenmarkmarkureFLT:1 (שליטה חיובית, 2nd ed) ו-FLT:2Ioannou ו- SunvesFLT 3: 3 (Robust Fitive control) מספקים טיפולים מתמטיים מקיפים.