קריטריון ראות'-הורוביץ

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

קריטריון ליציבות ראות'-הורוביץ (Routh – Hurwitz) בתורת הבקרה הוא תנאי מתמטי הכרחי ומספיק ליציבות של מערכת בקרה ליניארית שאינה משתנה בזמן (LTI).

המתמטיקאי האנגלי אדוארד ג'ון ראות' בשנת 1876 הציע את "תנאי ראות'", אלגוריתם רקורסיבי יעיל שמאפשר לקבוע אם לכל השורשים של פולינום אופייני של מערכה ליניארית יש חלקים ממשיים שליליים – כלומר המערכת יציבה.[1] המתמטיקאי הגרמני אדולף הורוביץ הציע באופן עצמאי בשנת 1895 לסדר את מקדמי הפולינום האופייני למטריצה מרובעת, המכונה מטריצת הורביץ, והראה שהפולינום יציב אם ורק אם מטריצות משנה שלה חיוביות.[2] שני התנאים שקולים, כאשר תנאי ראות' מספק דרך יעילה יותר לחשב את קבועי הורביץ מאשר לחשב אותם ישירות.

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

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

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

יישום

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

  • כל מקדמי הפולינום יהיו חיוביים
  • אין מקדם השווה לאפס – פולינום מלא.

דוגמה כללית

נניח מערכת עם פולינום אופייני מסדר n.

  • D(s)=ansn+an1sn1++a1s+a0

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

an4 an2 an
an5 an3 an1
b3 b2 b1
c3 c2 c1

כאשר האיבר

bi

and

ci

מחושבים באמצעות:

  • bi=an1×an2ian×an(2i+1)an1.
  • ci=b1×an(2i+1)an1×bi+1b1..

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

דוגמה פרטית

נבחן את יציבות מערכת עם הפולינום האופייני:

  • 0.75s33s2+1.5s+6=0

ראשית, באופן מידי ניתן לראות שלא כל המקדמים חיוביים – תנאי הכרחי ליציבות.

כעת נממש את טבלת ראות':

0 0 1.5 0.75
0 0 6 3
0 0 0 3=3*1.50.75*63
0 0 0 6=3*60*(3)3

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

ראו גם

הערות שוליים

  1. Routh, E. J. (1877). A Treatise on the Stability of a Given State of Motion: Particularly Steady Motion. Macmillan.
  2. Hurwitz, A. (1895). "Ueber die Bedingungen, unter welchen eine Gleichung nur Wurzeln mit negativen reellen Theilen besitzt". Math. Ann. 46 (2): 273–284. doi:10.1007/BF01446812. (English translation “On the conditions under which an equation has only roots with negative real parts” by H. G. Bergmann in Selected Papers on Mathematical Trends in Control Theory R. Bellman and R. Kalaba Eds. New York: Dover, 1964 pp. 70–82.)
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

קריטריון ראות'-הורוביץ41563165Q2621270