تحكم إتش إنفينتي

طريقة التحكم إيتش إنفينتي $H_{\mathrm{\infty }}control$ هي أحد طرائق بناء المتحكمات والتي يمكن تطبيقها على الأنظمة الخطية واللاخطية والأنظمة من نوع سيزو أي مدخل واحد مخرج واحد أو عدة مداخل ومخارج mimo. عادة ما يتم استعمال هذه الطريقة لبناء متحكمات قوية وأو مقاومة للتشويش أو عدم الدقة. حيث تسمح هذه الطريقة بجعل المعيار اللانهائي $H_{\mathrm{\infty }}Norm$ للنظام المراد التحكم به صغيرة. وهذا يجعل هذه الطريقة ممتازة للمتحكمات المراد منها تخميد التشويش أو المراد منها أن تكون قوية في مقابلة عدم دقة معاملات النظام robust control.

صورة رقم 1 تبين المتحكم K والنظام P والخارج z. الهدف هو ايجاد متحكم يجعل النظام مستقرا ويجعل التقوية من المداخل إلى z صغيرة

هناك العديد من الطرق والخوارزميات للحصول على متحكمات من نوع $H_{\mathrm{\infty }}$:

• بالنسبة للنماذج الخطية يمكن تمثيل الحلقة المغلقة closed loop بما يعرف بتمثيل Youla وهو تمثيل يعطي كل المتحكمات التي تجعل النظام مستقرا. وانطلاقا من هذا التمثيل يمكن اختيار المتحكم الذي يعطي أفضل أي أصغر معيار لانهائي للنظام وذلك عن طريق عملية استمثال. وتكمن المشاكل في هذه الطريقة في عملية الاستمثال التي قد تتطلب وقتا طويلا وتحتاج إلى إعادة تمثيل الإشكال بشكل يتناسب وعملية الاستمثال بالإضافة إلى كون المتحكمات المتحصل عليها تكون عالية الدرجة (عدد حالتها كبير أي فيها ديناميكية كبيرة)
• بالنسبة للنماذج الخطية يمكن أيضا الحصول على متحكم إيتش لا نهائي مثالي إذا كان النظام موجود في تمثيل الحالة (A,B1,B2,C1,C2,D11, D12,D21,D22), ذلك عن طريق حل معادلتي ريكاتي. الإشكال في هذه الطريقة هي كونها تضع العديد من المسلمات حول الإشكال والذي يجب أن تكون متوفرة. تسمح هذه الطريقة عن طريق عملية بخث بسيطة إيجاد المتحكم الذي يحقق أصغر معيار لانهائي ممكن للنظام.
• انطلاقا من طريقة حل معادلات ريكاتي يمكن أيضا إعادة صياغة الإشكال ليصبح في شكل لامعادلات خطية مصفوفية linear matrix inequalities وهي طريقة تعتمد الاستمثال للوصول إلى صيغة المتحكم وتسمح أيضا بإيجاد المتجكم الذي يحقق أصغر معيار لا نهائي ممكن للنظام.

الحل عن طريق تمثيل يولا

تقول مبرهنة يولا أنه: إذا كان (A, B2) قابل للاستقرار و(A,C2) قابل للاكتشاف وإذا تم اختيار F و L مصفوفتان بحيث A+B2.F و A+LC2 مستقران. فإنه وبالنسبة لكل مصفوفة تحويل Q(s) مستقرة و proper فإن مجموعة المتحكمات ال proper والتي تجعل P مستقرا يتم تمثيلها عن طريق:

$K(s)=F_l(J(s),Q(s))=J(s)*Q(s)=J_{11}+J_{12}.Q.(I-J_{22}Q{)}^{-1}{J}_{21}$

حيث:

$J(s)=\left(\begin{array}{cccc}A+B_{2}F+L{C}_2+L{D}_{22}F& |& -L& B_2+L{D}_{22}\\ -& -& -& -\\ F& |& 0& I\\ -(C_2+D_{22}F)& |& I& -D_{22}\end{array}\right)$

كما أن معادلة النظام المغذى رجعيا (حلقة مغلقة closed loop) هي:

$P_{zw}=H_1-H_{2}Q{H}_3$

حيث:

$H_1=\left(\begin{array}{c}\end{array}\right)$

$H_2=\left(\begin{array}{c}\end{array}\right)$

$H_3=\left(\begin{array}{c}\end{array}\right)$

بمما أنه يمكن اختيار العديد من المصفوفات F و L المختلفة وو مصفوفة التحويل Q(s) فإنه يجب أو يتم اختيار تلك التي تجعل قيمة التقوية الكبرى ضعيفة وذلك عادة يتم عن طريق عمليات استمثال. وإيجاد متحكمات تؤدي إلى قيم معيارية لا نهائية صغيرة في هذه الطريقة محل بحوث.

الحل عن طريق معادلات ريكاتي

من ميزات تصميم متحكمات $H_{\mathrm{\infty }}$ عن طريق حل معادلات ريكاتي الجبرية توفر معادلات يمكن من خلالها حساب وتصميم المتحكم مباشرة. إلا أن هذه الطريقة تفرض العديد من القيود أو المسلمات التي يجب على النظام المتحكم به أن يحققها مما يجعل تطبيقها أحيانا صعبا لكون الأنظمة الفيزيائية الحقيقية لا تحقق دائما تلك الشروط. في ما يلي معادلات المتحكم بالنسبة لنظام

$sys=\left(\begin{array}{cccc}A& |& B_1& B_2\\ -& -& -& -\\ C_1& |& D_{11}& D_{12}\\ C_2& |& D_{21}& D_{22}\end{array}\right)$

و سنحاول في البداية إعطاء أبسط صيغ المتحكم والمرتبطة بتحقق شروط كثيرة في النظام المتحكم به ثم نقوم بترك بعض تلك الشروط ونبين مدى تأثير ذلك على معادلة أو صيغة المتحكم.

الشروط

إذا:

• كان $(A,B_1)$ قابل للتحكم و$(C_1,A)$ قابل للملاحظة
• كان $(A,B_2)$ قابل للاستقرار و$(C_2,A)$ قابل للاكتشاف
• كان $D_{12}^{*}=\left[\begin{array}{cc}{C}_1& D_{12}\end{array}\right]=\left[\begin{array}{cc}0& I\end{array}\right]$
• كان$\left[\begin{array}{c}{B}_1\\ D_{21}\end{array}\right]D_{21}^{*}=\left[\begin{array}{c}0\\ I\end{array}\right]$
• كان$D_{11}=0$
• كان$D_{22}=0$

صيغة المتحكم

فإن المتحكم K الذي يجعل المعيار اللانهائي من المداخل w إلى المخارج z (أنظر الصورة رقم 1) أقل من $\gamma$ للنظام الموصل رجعيا أي $\left|\right|P_{zw}|{|}_{\mathrm{\infty }}\le \gamma$ هو:

$K_{\gamma }(s)=\left[\begin{array}{ccc}{A}_{\mathrm{\infty }}& |& -Z_{\mathrm{\infty }}{L}_{\mathrm{\infty }}\\ -& -& -\\ F_{\mathrm{\infty }}& |& 0\end{array}\right]$

حيث:

$A_{\mathrm{\infty }}=A+B_1{B}_1^{*}{X}_{\mathrm{\infty }}\frac{1}{\gamma }+B_2{F}_{\mathrm{\infty }}+Z_{\mathrm{\infty }}{L}_{\mathrm{\infty }}{C}_2$

$F_{\mathrm{\infty }}=-B_2^{*}{X}_{\mathrm{\infty }}$

$L_{\mathrm{\infty }}=-Y_{\mathrm{\infty }}{C}_2^{*}$

$Z_{\mathrm{\infty }}=(I-Y_{\mathrm{\infty }}{X}_{\mathrm{\infty }}\frac{1}{\gamma }{)}^{-1}$

و تمثل $X_{\mathrm{\infty }}$ و$Y_{\mathrm{\infty }}$ حل positiv definit لكل من معادلات ريكاتي الجبرية المبينة أدناه:

• $X_{\mathrm{\infty }}A+A^{*}{X}_{\mathrm{\infty }}+X_{\mathrm{\infty }}(B_1{B}_1^{*}\frac{1}{{\gamma }^2}-B_2{B}_2^{*})X_{\mathrm{\infty }}+C_1{C}_1^{*}$
• $Y_{\mathrm{\infty }}{A}^{*}+A{Y}_{\mathrm{\infty }}+Y_{\mathrm{\infty }}(C_1^{*}{C}_1\frac{1}{{\gamma }^2}-C_2^{*}{C}_2)Y_{\mathrm{\infty }}+B_1{B}_1^{*}$

كما تخضع كل من $X_{\mathrm{\infty }}$ و$Y_{\mathrm{\infty }}$ لشرط كونالقطر الطيفي spectral radius ل $X_{\mathrm{\infty }}.Y_{\mathrm{\infty }}$ أصغر من $\gamma$ أي:

$\rho (X_{\mathrm{\infty }}.Y_{\mathrm{\infty }})\le \gamma$

إذا كانت $D_{22}$ ليست صفرا

إذا كانت المصفوفة $D_{22}\ne 0$ فإنه يتم أولا تصميم متحكم K بالنسبة للنظام مع $D_{22}=0$ ثم في مرحلة ثانية يمكن تصميم متحكم بالنسبة ل $D_{22}\ne 0$ عن طريق المعادلة التالية:

$K^{\text{'}}=K(I-D_{22}K{)}^{-1}$

الحل عن طريق لامعادلات مصفوفية خطية

تعتمد هذه الطريقة أساسا على ما يعرف بليما الحقيقية المنتهية وهي تقول الآتي:

إذا كان لدينا نظام

$P=\left(\begin{array}{ccc}A& |& B\\ -& -& -\\ C& |& D\end{array}\right)$

فإن كلا الجملتين التاليتين مترادفتان:

• P مستقر و$\left|\right|P|{|}_{\mathrm{\infty }}<\gamma$
• هناك حل X للامعادلة المصفوفية التالية:

$\left(\begin{array}{ccc}{A}^{T}X+XA& XB& C^T\\ B^{T}X& -\gamma I& D^T\\ C& D& -\gamma I\end{array}\right)<0$

وصلات خارجية

• طريقة تمثيل يولا للحصول على المتحكم
• طريقة معادلات ريكاتي الجبرية واللامعادلات المصفوفية للحصول على المتحكم