Real-Time Nonlinear MPC via Sequential Quadratic Programming with Structure-Exploiting ADMM and Interior-Point Methods for Underactuated Double-Pendulum Swing-Up
تقدم هذه الورقة استراتيجية تحكم تنبؤي نموذجي غير خطي في الوقت الفعلي تعتمد على البرمجة التربيعية المتتالية، والتي تحقق بنجاح عملية التأرجح للأعلى والاستقرار لنظام بندول مزدوج ناقص التفعيل على أجهزة غير معروفة من أجل مسابقة "AI Olympics with RealAIGym".
تخيل أنك تحاول تعليم روبوت كيفية أداء شقلبة خلفية. لا يمكنك ببساطة أن تقول له "اقفز" وتأمل في أفضل النتائج؛ بل عليك أن تحدد بدقة مقدار القوة التي يجب تطبيقها، ومتى يضم ركبتيه، وكيف يهبط دون أن يتحطم. هذا هو عالم التحكم في الروبوتات، وهو مجال مخصص لمنح الآلات "الذاكرة العضلية" للتحرك عبر العالم الحقيقي. وفي قلب هذا التحدي يكم true مفهوم يسمى التحكم التنبؤي بالنموذج (MPC). فكر في الـ MPC كجهاز GPS متطور للغاية لروبوت؛ فبدلاً من مجرد النظر إلى مكان وجود الروبوت الآن، ينظر الـ GPS باستمرار إلى الأمام، محاكيًا آلاف المسارات المستقبلية الممكنة في جزء من الثانية لاتخاذ أفضل خطوة تالية. الأمر يشبه لاعب شطرنج لا يفكر في نقلة واحدة للأمام فحسب، بل يحسب اللعبة بأكملها لضمان الفوز.
الآن، تخيل أن الروبوت الذي تتحكم فيه هو بندول مزدوج — عصا متصل بها عصا أخرى في نهايتها، تتأرجح بحرية. هذا النظام معقد للغاية لأنه ناقص التفعيل (underactuated)، مما يعني أن لديه أجزاء متحركة أكثر مما لديه محركات. الأمر يشبه محاولة موازنة مكنسة على يدك بينما يدك مربوطة بخيط؛ عليك أن تؤرجحها بجنون لبناء الطاقة قبل أن تتمكن أخيراً من موازنتها بشكل عمودي. هذه الأحجية المحددة هي جوهر "أولمبياد الذكاء الاصطناعي مع RealAIGym"، وهي مسابقة يجب على الفرق فيها برمجة روبوت ليؤرجح نفسه من وضعية التدلي ويحافظ على توازنه، كل ذلك بينما وزن الروبوت الدقيق والاحتكاك في مفاصله يظلان لغزاً للمبرمج.
تقدم الورقة البحثية التي كتبها "كاريداكيس" و"شاتزيليغيروديس" حلاً ذكياً لهذه المشكلة باستخدام طريقة تسمى البرمجة التربيعية المتتالية (SQP). فبدلاً من التخمين والتجربة، يعمل المتحكم الخاص بهما كاستراتيجي ماهر يفكك مشكلة البندول المزدوج المعقدة والمتذبذبة إلى سلسلة من الألغاز الأصغر والأكثر قابلية للإدارة. في كل جزء ضئيل من الثانية، يسأل الروبوت نفسه: "إذا حركت محركي بهذا الاتجاه، فأين سأكون في الخطوات القليلة القادمة؟". إنه يحل مسألة رياضية مبسطة لإيجاد المسار الأفضل، ثم يتخذ الخطوة الأولى، ثم يعيد الحساب فوراً للحظة التالية. يحدث هذا بسرعة كبيرة — أكثر من 100 مرة في الثانية — لدرجة تجعل الروبوت يبدو وكأنه يفكر في الوقت الفعلي.
اختبر الباحثون هذا "العقل" على نسختين مختلفتين من البندول المزدوج: البندوبوت (Pendubot) (حيث يوجد المحرك عند الكتف) والأكروبوت (Acrobot) (حيث يوجد المحرك عند المرفق). لم يكتفوا باختباره في محاكاة حاسوبية فحسب؛ بل رفعوا الكود الخاص بهم إلى روبوت حقيقي في السحابة وتركوه يعمل فعلياً. كانت النتائج مبهرة. بالنسبة للبندوبوت، نجح الروبوت في التأرجح للأعلى والحفاظ على توازنه بنسبة 100% من الوقت، حتى عندما قام شخص ما بإعطائه دفعة عشوائية غير متوقعة لزعزعة توازنه. أما بالنسبة للأكروبوت، فقد نجح بنسبة 100% من الوقت بدون دفعات، وبنسبة 70% من الوقت عند تعرضه للاضطراب.
ما يجعل هذا النهج متميزاً هو كيفية تعامله مع "المجاهيل". لم يكن الروبوت يعرف الوزن الدقيق لأجزائه أو مقدار الاحتكاك في مفاصله. ومع ذلك، من خلال إعادة تقييم خطته باستمرار واستخدام خدعة رياضية خاصة لحل المعادلات بسرعة، تمكن من بناء الطاقة اللازمة للتأرجح للأعلى ثم الاستقرار. تشير الورقة البحثية إلى أن هذا الأسلوب قوي بما يكفي للتعامل مع فوضى العالم الحقيقي، مما يثبت أن النهج القائم على النموذج يمكنه منافسة، وفي بعض الحالات التفوق على، الأساليب الأخرى التي تعتمد فقط على التعلم من خلال التجربة والخطأ. وبينما كان الأكروبوت لا يزال بحاجة إلى القليل من المساعدة في تعويض الاحتكاك ليكون مثالياً، فإن النجاح العام يظهر أنه مع الأدوات الرياضية الصحيحة، يمكننا تعليم حتى أكثر الروبوتات تذبذباً كيف تقف شامخة.
ملخص تقني: التحكم التنبئي بالنماذج غير الخطي في الوقت الفعلي عبر البرمجة التربيعية المتتالية لرفع الأرجوحة للبندول المزدوج ناقص التفعيل
صياغة المشكلة يتناول هذا العمل تحدي الرفع العالمي للأرجوحة والاستقرار للأنظمة ثنائية الوصلة ناقصة التفعيل، وتحديداً نظام "بيندوبوت" (المُفعّل عند الكتف) ونظام "أكروبوت" (المُفعّل عند المرفق). تم تأطير المهمة ضمن سياق مسابقة "الأولمبياد للذكاء الاصطناًعي مع RealAIGym"، حيث يجب تطوير وحدات تحكم وتقييمها مباشرة على أجهزة "CloudPendulum" التي يمكن الوصول إليها عن بُعد. تشمل القيود الرئيسية: وقت التفاعل المحدود، غياب المعرفة المسبقة بمعاملات نموذج النظام، والمتطلبات اللازمة لتثبيت توازن غير مستقر بطبيعته في الوضع العمودي باستخدام مشغل واحد فقط. تمت صياغة المشكلة كمسألة تحكم أمثل غير خطي، ذات زمن حقيقي، وأفق نهائي، يجب أن تأخذ في الاعتبار الديناميكيات غير الخطية، وقيود نقص التفعيل، وحدود المشغل.
المنهجية يقترح المؤلفون إطار عمل للتحكم التنبئي بالنماذج غير الخطي (NMPC) في الوقت الفعلي يعتمد على البرمجة التربيعية المتتالية (SQP). تتضمن المنهجية الجوهرية المكونات التالية:
صياغة الديناميكا العكسية: يتم وصف ديناميكيات النظام باستخدام معادلة المتلاعب. يُعرَّف متغير الأمثلة كالتسارع العام (v˙)، بينما تُحسب عزوم الدوران في المفاصل عبر الديناميكا العكسية باستخدام خوارزمية "نيوتن-إيولر" المتكررة. تتعامل هذه الصياغة صراحة مع نقص التفعيل من خلال فرض قيود مساواة تجبر عزم دوران المفصل غير المُفعّل على التلاشي، بينما تفرض قيود عدم المساواة حدود عزم دوران المشغل.
مشكلات البرمجة التربيعية (QP) والبرمجة التربيعية المتتالية (SQP): في كل خطوة تحكم، يتم تقريب مسألة التحكم الأمثل غير الخطية محلياً حول مسار اسمي لتوليد برنامج تربيعي (QP) مهيكل. تعمل دالة التكلفة على معاقبة سرعات المفاصل، وجهد التحكم، وأخطاء تتبع مساحة المهمة (موضع طرف البندوبوت؛ وموضعي المرفق والطرف لنظام الأكروبوت).
المحللات المستغلة للهيكل: لتحقيق الأداء في الوقت الفعلي، يتم حل مشكلات الـ QP باستخدام محللات تستغل التشتت الزمني لمسألة التحكم الأمثل. استخدم المؤلفون نهجين محددين:
محلل (ADMM) القائم على مراحل متتالية، والذي يستخدم التكرار القائم على (LQR) لحل الأنظمة الخطية دون الحاجة إلى تحليل نظام (KKT) متفرق كبير.
محلل (HPIPM)، وهو طريقة نقطة داخلية بديلة مستغلة للهيكل.
التنفيذ في الوقت الفعلي: يعمل وحدة التحكم بأسلوب الأفق المتراجع. يتم إزاحة الحل من لحظة التحكم السابقة لبدء التشغيل الدافئ (warm-start) لمسار الحالة-التحكم ومتغيرات المحلل للخطوة التالية. لتلبية الميزانيات الحسابية، يقوم النظام بإجراء عدد محدود من تكرارات (SQP) (4 لتكرارات ADMM، و6 لتكرارات HPIPM) لكل لحظة أخذ عينات، مع تحديد تكرارات (QP) بـ 100 تكرار.
المساهمات الرئيسية
سياسة تحكم موحدة: يقدم البحث سياسة واحدة قائمة على الأمثلة قادرة على التعامل مع الحركات غير المحلية المطلوبة لبناء الطاقة اللازمة لرفع الأرجوحة، وفي الوقت نفسه توفير التحكم بالتغذية الراجعة الدقيقة اللازم للاستقرار.
التحقق من خلال الحلقة في الحلقة مع الأجهزة (Hardware-in-the-Loop): على عكس العديد من الدراسات النظرية، تم التحقق من هذا النهج على أجهزة فيزيائية يمكن الوصول إليها عن بعد (CloudPendulum) دون معرفة مسبقة بهوية النظام، مما يظهر المتانة ضد عدم اليقين في النموذج والاضطرابات الخارجية.
مقارنة واختيار المحلل: يقيم العمل أداء محلل (ADMM) مقابل (HPIPM) في سياق مدمج للوقت الفعلي، مع اختيار المحلل الأمثل لكل تكوين نظام (ADMM للبندوبوت، وHPIPM للأكروبوت) بناءً على نتائج الضبط.
النتائج التجريبية أُجريت التجارب على حلقات مدتها 60 ثانية تبدأ من وضعية التعليق للأسفل. تم اختبار سيناريوهين: التشغيل الاسمي، والتشغيل مع تطبيق اضطرابات في عزم الدوران (عزوم عشوائية تُطبق لمدة 0.1 ثانية).
أداء البندوبوت (Pendubot): حقق وحدة التحكم معدل نجاح بنسبة 100% في كلا السيناريوهين. بلغ متوسط وقت التشغيل (الوقت الذي يقضيه في منطقة استقرار الوضع العمودي) 92.5% (55.5 ثانية) بدون اضطرابات و87.3% (52.38 ثانية) مع الاضطرابات. عملت وحدة التحكم بتردد متوسط قدره 400 هرتز تقريباً.
أداء الأكروبوت (Acrobot): حقق وحدة التحكم معدل نجاح بنسبة 100% بدون اضطرابات و70% مع وجود اضطرابات. بلغ متوسط وقت التشغيل 85.8% (51.48 ثانية) بدون اضطرابات و69.7% (41.82 ثانية) مع الاضطرابات. عملت وحدة التحكم بتردد متوسط قدره 240 هرتز تقريباً.
المتانة: في سيناريوهات الاضطراب، أظهرت وحدة التحكم القدرة على التعافي من الانحرافات الكبيرة واستعادة النظام إلى التوازن العمودي.
الأهمية والادعاءات يزعم البحث أن نهج (NMPC) القائم على (SQP) والمستغل للهيكل قادر على توليد الحركات المعقدة وغير المحلية اللازمة لرفع الأرجوحة، مع توفير التحكم بالتغذية الراجعة المتينة واستعادة الاستقرار ومقاومة الاضطرابات في آن واحد. يؤكد المؤلفون أن الطريقة تنجح في تلبية المتطلبات الحسابية للوقت الفعلي لمنصة (CloudPendulum) رغم غياب المعرفة المسبقة بنموذج النظام.
يعترف العمل بتواضع بالقيود الحالية، وتحديداً الحاجة إلى تعويض الاحتكاك لتحقيق أداء موثوق لنظام الأكروبوت. ويُقترح كعمل مستقبلي استقصاء تحديد هوية النظام عبر الإنترنت للتكيف مع المعاملات الديناميكية في الوقت الفعلي، مما يقلل من عدم التطابق في النموذج ويحسن أداء الاستعادة والموثوقية دون الحاجة إلى ضبط يدوي لتعويض الاحتكاك.