منظم خطي تربيعي

تهتم نظرية التحكم الأمثل بتشغيل نظام ديناميكي بأقل تكلفة. تُسمى الحالة التي تُوصف فيها ديناميكيات النظام بمجموعة من المعادلات التفاضلية الخطية ، وتُوصف فيها التكلفة بدالة تربيعية، بمسألة LQ. ومن أهم نتائج هذه النظرية أن الحل يُقدم بواسطة منظم خطي تربيعي ( LQR )، وهو وحدة تحكم تغذية راجعة، معادلاته موضحة أدناه.

تتميز وحدات التحكم LQR بمتانة متأصلة مع ضمان هامش الكسب وهامش الطور ، [ 1 ] وهي أيضًا جزء من حل مشكلة LQG (الخطية-التربيعية-الغاوسية) . ومثل مشكلة LQR نفسها، تُعد مشكلة LQG من أهم المشكلات الأساسية في نظرية التحكم . [ 2 ]

وصف عام

تُحدد إعدادات وحدة التحكم (التنظيمية) التي تُدير آلةً أو عمليةً (مثل طائرة أو مفاعل كيميائي ) باستخدام خوارزمية رياضية تُقلل دالة التكلفة مع عوامل ترجيح يُحددها المُشغل. تُعرَّف دالة التكلفة عادةً بأنها مجموع انحرافات القياسات الرئيسية، مثل الارتفاع أو درجة حرارة العملية، عن قيمها المطلوبة. وبذلك، تجد الخوارزمية إعدادات وحدة التحكم التي تُقلل الانحرافات غير المرغوب فيها. وقد يُدرج مقدار إجراء التحكم نفسه ضمن دالة التكلفة.

تُقلل خوارزمية LQR من الجهد الذي يبذله مهندس أنظمة التحكم لتحسين أداء وحدة التحكم. مع ذلك، لا يزال يتعين على المهندس تحديد معلمات دالة التكلفة، ومقارنة النتائج بأهداف التصميم المحددة. غالبًا ما يعني هذا أن بناء وحدة التحكم سيكون عملية تكرارية، حيث يُقيّم المهندس وحدات التحكم "المثلى" الناتجة عن المحاكاة، ثم يُعدّل المعلمات لإنتاج وحدة تحكم أكثر توافقًا مع أهداف التصميم.

تُعدّ خوارزمية LQR في جوهرها طريقة آلية لإيجاد مُتحكّم مناسب يعتمد على تغذية الحالة الراجعة . ولذلك، يُفضّل مهندسو التحكم عادةً طرقًا بديلة، مثل التغذية الراجعة الكاملة للحالة ، والمعروفة أيضًا بتحديد مواقع الأقطاب، حيث توجد علاقة أوضح بين مُعاملات المُتحكّم وسلوكه. إلا أن صعوبة إيجاد عوامل الترجيح الصحيحة تُحدّ من تطبيق توليف المُتحكّم القائم على خوارزمية LQR.

الإصدارات

أفق زمني محدود، زمن مستمر

لنفترض نظامًا خطيًا مستمرًا في الزمن، معرفًا علىت[ت0،ت1]{\displaystyle t\in [t_{0},t_{1}]}، كما وصفها x˙=أx+بu،{\displaystyle {\dot {\mathbf {x} }}=A\mathbf {x} +B\mathbf {u} ,} أينxRن{\displaystyle \mathbf {x} \in \mathbb {R} ^{n}}(إنه،x{\displaystyle \mathbf {x} }هون{\displaystyle n}يمثل المتجه الحقيقي ذو الأبعاد n حالة النظام، وuRم{\displaystyle \mathbf {u} \in \mathbb {R} ^{m}}يمثل مدخل التحكم. بافتراض دالة تكلفة تربيعية للنظام، معرفة على النحو التالي: ج=xتي(ت1)F(ت1)x(ت1)+ت0ت1(xتيسؤالx+uتيRu+2xتيشمالu)دت،{\displaystyle J=\mathbf {x} ^{\mathsf {T}}\!(t_{1})F(t_{1})\mathbf {x} (t_{1})+\int _{t_{0}}^{t_{1}}\left(\mathbf {x} ^{\mathsf {T}}Q\mathbf {x} +\mathbf {u} ^{\mathsf {T}}R\mathbf {u} +2\mathbf {x} ^{\mathsf {T}}N\mathbf {u} \right)\,dt,} أينF{\displaystyle F}هي مصفوفة التكلفة النهائية،سؤال{\displaystyle Q}هي مصفوفة تكلفة الدولة،R{\displaystyle R}هي مصفوفة تكلفة التحكم، وشمال{\displaystyle N}هي مصفوفة التكلفة المشتركة (التحكم والحالة)، وقانون التحكم بالتغذية الراجعة الذي يقلل قيمة التكلفة هو u=-كx،{\displaystyle \mathbf {u} =-K\mathbf {x} ,} أينك{\displaystyle K}يُعطى بواسطة ك=R-1(بتيP(ت)+شمالتي)،{\displaystyle K=R^{-1}\left(B^{\mathsf {T}}P(t)+N^{\mathsf {T}}\right),} وP{\displaystyle P}يتم إيجادها عن طريق حل معادلة ريكاتي التفاضلية ذات الزمن المستمرأتيP(ت)+P(ت)أ-[P(ت)ب+شمال]R-1[بتيP(ت)+شمالتي]+سؤال=-P˙(ت){\displaystyle A^{\mathsf {T}}P(t)+P(t)A-\left[P(t)B+N\right]R^{-1}\left[B^{\mathsf {T}}P(t)+N^{\mathsf {T}}\right]+Q=-{\dot {P}}(t)} مع شرط الحدود P(ت1)=F(ت1).{\displaystyle P(t_{1})=F(t_{1}).}

الشروط من الدرجة الأولى لـجمين{\displaystyle J_{\min }}نكون:

  1. معادلة الحالةx˙=أx+بu.{\displaystyle {\dot {\mathbf {x} }}=A\mathbf {x} +B\mathbf {u} .}
  2. معادلة الحالة المرافقة-λ˙=سؤالx+شمالu+أتيλ.{\displaystyle -{\dot {\boldsymbol {\lambda }}}=Q\mathbf {x} +N\mathbf {u} +A^{\mathsf {T}}{\boldsymbol {\lambda }}.}
  3. معادلة ثابتة0=Ru+شمالتيx+بتيλ.{\displaystyle \mathbf {0} =R\mathbf {u} +N^{\mathsf {T}}\mathbf {x} +B^{\mathsf {T}}{\boldsymbol {\lambda }}.}
  4. الشروط الحديةx(ت0)=x0{\displaystyle \mathbf {x} (t_{0})=\mathbf {x} _{0}}وλ(ت1)=F(ت1)x(ت1).{\displaystyle {\boldsymbol {\lambda }}(t_{1})=F(t_{1})\mathbf {x} (t_{1}).}

أفق لا نهائي، زمن مستمر

بالنسبة لنظام خطي مستمر الزمن موصوف بـ x˙=أx+بu،{\displaystyle {\dot {\mathbf {x} }}=A\mathbf {x} +B\mathbf {u} ,} مع تعريف دالة التكلفة على النحو التالي ج=0(xتيسؤالx+uتيRu+2xتيشمالu)دت،{\displaystyle J=\int _{0}^{\infty}\left(\mathbf {x} ^{\mathsf {T}}Q\mathbf {x} +\mathbf {u} ^{\mathbf {T}}R\mathbf {u} +2\mathbf {x} ^{\mathsf {T}}N\mathbf {u} \يمين)\,DT,} قانون التحكم بالتغذية الراجعة الذي يقلل من قيمة التكلفة هو u=-كx،{\displaystyle \mathbf {u} =-K\mathbf {x} ,} أين ك=R-1(بتيP+شمالتي)،{\displaystyle K=R^{-1}\left(B^{\mathsf {T}}P+N^{\mathsf {T}}\right),} وP{\displaystyle P}يتم إيجادها عن طريق حل معادلة ريكاتي الجبرية ذات الزمن المستمرأتيP+Pأ-(Pب+شمال)R-1(بتيP+شمالتي)+سؤال=0.{\displaystyle A^{\mathsf {T}}P+PA-(PB+N)R^{-1}\left(B^{\mathsf {T}}P+N^{\mathsf {T}}\right)+Q=0.}

ويمكن كتابة ذلك أيضاً على النحو التالي أتيP+Pأ-PبR-1بتيP+سؤال=0{\displaystyle {\mathcal {A}}^{\mathsf {T}}P+P{\mathcal {A}}-PBR^{-1}B^{\mathsf {T}}P+{\mathcal {Q}}=0} مع أ=أ-بR-1شمالتي،سؤال=سؤال-شمالR-1شمالتي.{\displaystyle {\mathcal {A}}=A-BR^{-1}N^{\mathsf {T}},\qquad {\mathcal {Q}}=Q-NR^{-1}N^{\mathsf {T}}.}

أفق زمني محدود، وقت منفصل

بالنسبة لنظام خطي منفصل الزمن موصوف بالمعادلة [ 3 ]xك+1=أxك+بuك،{\displaystyle \mathbf {x} _{k+1}=A\mathbf {x} _{k}+B\mathbf {u} _{k},} مع تعريف مؤشر الأداء على النحو التالي ج=xحصتيسؤالحصxحص+ك=0حص-1(xكتيسؤالxك+uكتيRuك+2xكتيشمالuك)،{\displaystyle J=\mathbf {x} _{H_{p}}^{\mathsf {T}}Q_{H_{p}}\mathbf {x} _{H_{p}}+\sum _{k=0}^{H_{p}-1}\left(\mathbf {x} _{k}^{\mathsf {T}}Q\mathbf {x} _ {ك}+\mathbf {u} _{k}^{\mathsf {T}}R\mathbf {u} _{k}+2\mathbf {x} _{k}^{\mathsf {T}}N\mathbf {u} _{k}\يمين)،} أينحص{\displaystyle H_{p}}يمثل الأفق الزمني ، ويتم إعطاء تسلسل التحكم الأمثل الذي يقلل مؤشر الأداء بواسطة uك=-Fكxك،{\displaystyle \mathbf {u} _{k}=-F_{k}\mathbf {x} _{k},} أين Fك=(R+بتيPك+1ب)-1(بتيPك+1أ+شمالتي)،{\displaystyle F_{k}=\left(R+B^{\mathsf {T}}P_{k+1}B\right)^{-1}\left(B^{\mathsf {T}}P_{k+1}A+N^{\mathsf {T}}\right),} وPك{\displaystyle P_{k}}يتم إيجادها بشكل تكراري عكسي في الزمن بواسطة معادلة ريكاتي الديناميكية Pك-1=أتيPكأ-(أتيPكب+شمال)(R+بتيPكب)-1(بتيPكأ+شمالتي)+سؤال{\displaystyle P_{k-1}=A^{\mathsf {T}}P_{k}A-\left(A^{\mathsf {T}}P_{k}B+N\right)\left(R+B^{\mathsf {T}}P_{k}B\right)^{-1}\left(B^{\mathsf {T}}P_{k}A+N^{\mathsf {T}}\right)+Q} من حالة نهائيةPحص=سؤالحص{\displaystyle P_{H_{p}}=Q_{H_{p}}}[ 4 ] لاحظ أنuحص{\displaystyle \mathbf {u} _{H_{p}}}غير مُعرَّف، لأنx{\displaystyle x}يتم دفعه إلى حالته النهائيةxحص{\displaystyle \mathbf {x} _{H_{p}}}بواسطةأxحص-1+بuحص-1{\displaystyle A\mathbf {x} _{H_{p}-1}+B\mathbf {u} _{H_{p}-1}}.

أفق زمني لا نهائي، زمن منفصل

بالنسبة لنظام خطي منفصل الزمن موصوف بـ xك+1=أxك+بuك،{\displaystyle \mathbf {x} _{k+1}=A\mathbf {x} _{k}+B\mathbf {u} _{k},} مع تعريف مؤشر الأداء على النحو التالي ج=ك=0(xكتيسؤالxك+uكتيRuك+2xكتيشمالuك)،{\displaystyle J=\sum _{k=0}^{\infty }\left(\mathbf {x} _{k}^{\mathsf {T}}Q\mathbf {x} _{k}+\mathbf {u} _{k}^{\mathsf {T}}R\mathbf {u} _{k}+2\mathbf {x} _{k}^{\mathsf {T}}N\mathbf {u} _{k}\right),} تُعطى سلسلة التحكم الأمثل التي تقلل مؤشر الأداء بالصيغة التالية: uك=-Fxك،{\displaystyle \mathbf {u} _{k}=-F\mathbf {x} _{k},} أين F=(R+بتيPب)-1(بتيPأ+شمالتي)،{\displaystyle F=\left(R+B^{\mathsf {T}}PB\right)^{-1}\left(B^{\mathsf {T}}PA+N^{\mathsf {T}}\right),} وP{\displaystyle P}هو الحل الموجب المحدد الوحيد لمعادلة ريكاتي الجبرية المنفصلة زمنياً (DARE). P=أتيPأ-(أتيPب+شمال)(R+بتيPب)-1(بتيPأ+شمالتي)+سؤال.{\displaystyle P=A^{\mathsf {T}}PA-\left(A^{\mathsf {T}}PB+N\right)\left(R+B^{\mathsf {T}}PB\right)^{-1}\left(B^{\mathsf {T}}PA+N^{\mathsf {T}}\right)+Q.}

ويمكن كتابة ذلك أيضاً على النحو التالي P=أتيPأ-أتيPب(R+بتيPب)-1بتيPأ+سؤال{\displaystyle P={\mathcal {A}}^{\mathsf {T}}P{\mathcal {A}}-{\mathcal {A}}^{\mathsf {T}}PB\left(R+B^{\mathsf {T}}PB\right)^{-1}B^{\mathsf {T}}P{\mathcal {A}}+{\mathcal {Q}}} مع أ=أ-بR-1شمالتي،سؤال=سؤال-شمالR-1شمالتي.{\displaystyle {\mathcal {A}}=A-BR^{-1}N^{\mathsf {T}},\qquad {\mathcal {Q}}=Q-NR^{-1}N^{\mathsf {T}}.}

يمكن حل معادلة ريكاتي الجبرية عن طريق تكرار معادلة ريكاتي الديناميكية لحالة الأفق المحدود حتى تتقارب.

قيود

في الواقع، ليست كل قيمxك{\displaystyle \mathbf {x} _{k}}،uك{\displaystyle \mathbf {u} _{k}}قد يُسمح بذلك. أحد القيود الشائعة هو القيد الخطي: جx+دuهـ.{\displaystyle C\mathbf {x} +D\mathbf {u} \leq \mathbf {e} .}

يُعدّ الإصدار ذو الأفق الزمني المحدود من هذه المسألة مسألة تحسين محدبة ، ولذا غالبًا ما تُحلّ المسألة بشكل متكرر مع أفق زمني متناقص. وهذا شكل من أشكال التحكم التنبؤي النموذجي . [ 5 ] [ 6 ]

منظم تربيعي-تربيعي

إذا كانت معادلة الحالة تربيعية، تُعرف المسألة باسم منظم التربيع-التربيع (QQR). يمكن تطبيق خوارزمية Al'Brekht لتبسيط هذه المسألة إلى مسألة يمكن حلها بكفاءة باستخدام حلول خطية تعتمد على الموترات. [ 7 ]

منظم متعدد الحدود التربيعي

إذا كانت معادلة الحالة متعددة الحدود ، تُعرف المسألة باسم منظم متعدد الحدود التربيعي (PQR). ويمكن تطبيق خوارزمية ألبرخت لاختزال هذه المسألة إلى مسألة خطية كبيرة، والتي يمكن حلها بتعميم خوارزمية بارتلز-ستيوارت . وهذا ممكن، شريطة ألا تكون درجة متعددة الحدود عالية جدًا. [ 8 ]

التحكم التنبؤي بالنموذج

يُعدّ التحكم التنبؤي النموذجي (MPC) والمنظمات الخطية التربيعية نوعين من أساليب التحكم الأمثل، ولكل منهما نهج مختلف في تحديد تكاليف التحسين. فعلى وجه الخصوص، عندما يُطبّق نظام LQR بشكل متكرر مع أفق زمني متناقص، فإنه يُصبح شكلاً من أشكال التحكم التنبؤي النموذجي. ومع ذلك، لا يقتصر التحكم التنبؤي النموذجي عمومًا على الأنظمة الخطية، بل يُمكنه دمج القيود بشكل طبيعي.

مراجع

  1. ليتوماكي، ن.؛ سانديل، ن.؛ أثانس، م. (1981). "نتائج المتانة في تصميمات التحكم متعددة المتغيرات القائمة على التوزيع الغاوسي الخطي التربيعي". معاملات IEEE في التحكم الآلي . 26 (1): 75-93 . doi : 10.1109/TAC.1981.1102565 . ISSN 0018-9286 . 
  2. دويل، جون سي. (1978). "هوامش مضمونة لمنظمات LQG" (ملف PDF) . معاملات IEEE في التحكم الآلي . 23 (4): 756-757 . doi : 10.1109/TAC.1978.1101812 . ISSN 0018-9286 . 
  3. تشاو، غريغوري سي. (1986). تحليل ومراقبة الأنظمة الاقتصادية الديناميكية . دار نشر كريغر. ISBN 0-89874-969-7.
  4. شايجو، أ. ج.؛ بيترسن، إيان ر. (2008). "صيغ لمسائل التحكم الأمثل LQR وLQG وLEQG وminimax LQG في الزمن المتقطع". وقائع IFAC ، المجلد 41 (2). إلسيفير: 8773-8778 . doi : 10.3182/20080706-5-KR-1001.01483 .
  5. روس تيدريك (2024). "الفصل 8. منظمات التربيع الخطي" . الروبوتات ذات التشغيل الجزئي . تم الاسترجاع في 20 أغسطس 2022 . 
  6. سكوكيرت، بيير أو إم؛ راولينغز، جيمس بي. (أغسطس 1998). "التنظيم الخطي التربيعي المقيد" (ملف PDF) . معاملات IEEE في التحكم الآلي . 43 (8): 1163-1169 . doi : 10.1109/9.704994 . hdl : 1793/10888 . تاريخ الاسترجاع : 20 أغسطس 2022 .
  7. بورغارد، جيف؛ زيتسمان، ليزيت (يوليو 2020). "مشكلة منظم التربيع-التربيع: تقريب عناصر التحكم بالتغذية الراجعة للأنظمة غير الخطية ذات الحالة التربيعية". مؤتمر التحكم الأمريكي 2020 (ACC) . الصفحات 818-823 . arXiv : 1910.03396 . doi : 10.23919/ACC45564.2020.9147286 . ISBN  978-1-5386-8266-1. S2CID 203904925 . تم الاسترجاع في 20 أغسطس 2022 . 
  8. بورغارد، جيف؛ زيتسمان، ليزيت (1 يناير 2021). "حول تقريب مسائل منظم كثير الحدود التربيعي" . IFAC-PapersOnLine . 54 (9): 329–334 . arXiv : 2009.11068 . doi : 10.1016/j.ifacol.2021.06.090 . S2CID 221856517 . 
  • كواكيرناك، هويبرت؛ سيفان، رافائيل (1972). أنظمة التحكم الخطية المثلى (الطبعة الأولى  ). وايلي إنترساينس. رقم ISBN 0-471-51110-2.
  • سونتاغ، إدواردو (1998). نظرية التحكم الرياضي: الأنظمة الحتمية ذات الأبعاد المحدودة (  الطبعة الثانية). سبرينغر. ISBN 0-387-98489-5.