Zonotope-Based Elastic Tube Model Predictive Control

ملخص تقني: التحكم التنبئي بالنماذج للأنبوب المرن القائم على الزونوتوب (Zonotope)

بيان المشكلة
يُعد التحكم التنبئي بالنماذج القائم على الأنابيب (Tube-based MPC) إطار عمل قوي للأنظمة الخطية الخاضعة للقيود والمعرضة للاضطرابات المضافة، حيث يضمن بقاء جميع المسارات المستقبلية ضمن "أنبوب" من المجموعات. ورغم فعاليته، إلا أن القدرة العددية للتحكم التنبئي بالنماذج القائم على الأنابيب غالباً ما تكون محدودة بسبب تعقيد تمثيل المجموعات. تعاني الأساليب متعددة الوجوه (Polyhedral) التقليدية من نمو تربيعي في متغيرات القرار بالنسبة لطول الأفق، أو تتطلب أوصافاً تزيد من حجم المسألة. أما الأنابيب المتماثلة (Homothetic) أو المرنة (Elastic - التي يتم التحكم في إزاحتها) فتوفر مجالات جذب موسعة، لكنها غالباً ما تؤدي إلى ظهور علاقات ثنائية الخطية (Bilinearities) أو تتطلب اختيار متغيرات مساعدة مسبقة للتعامل مع احتواء المجموعات، مما يؤدي إلى اختيار غير أمثل للمعلمات أو أعباء حسابية عالية، لا سيما في الأنظمة ذات الأبعاد العالية.

المنهجية
تقترح الورقة إطار عمل جديد لـ "التحكم التنبئي بالنماذج للأنبوب المرن" (Elastic Tube MPC) باستخدام "الزونوتوبات المقيّسة" (Scaled Zonotopes) لتمثيل مقاطع الأنبوب العرضية. وتتضمن المنهجية الجوهرية ما يلي:

1. تمثيل الزونوتوب المقيّس: يتم تعريف الأنبوب كسلسلة من الزونوتوبات $\langle c_k, G\Delta_k \rangle$، حيث $c_k$ هو المركز، و$G$ هي مصفوفة مولدة ثابتة، و$\Delta_k = \text{diag}(\delta_k)$ تمثل عوامل القياس المتغيرة زمنياً. وهذا يسمح للأنبوب بالتمدد والتقلص مرناً على طول اتجاهات محددة.
2. شروط الاحتواء الخطية: تم اشتقاق فئة جديدة من شروط احتواء الزونوتوب المقيّس. وخلافاً للطرق السابقة التي تعتمد على الحدود ثنائية الخطية أو تتطلب اختيار متغيرات مساعدة (مثل $\Gamma$) مسبقاً للتعامل مع القياس، يستخدم النهج المقترح مصفوفة $\Phi$ لترميز احتواء مجموعات "مينكوفسكي" (Minkowski sums) للزونوتوبات خطياً.
   • تصيغ النظرية 1 عملية تحسين MPC كبرنامج تربيعي (QP)، حيث يتم التعبير عن قيود الوصول بخطوة واحدة (one-step reachability) وقيود صلاحية الحالة/المدخلات كمعادلات ومتباينات خطية تتضمن عوامل القياس $\delta_k$ والمصفوفة المساعدة $\Phi_k$.
   • والأهم من ذلك، تُعامل مراكز الزونوتوب $c_k$ كمتغيرات قرار مستقلة، مما يعزز المرونة دون إدخال خصائص غير محدبة.
3. بدائل الحساب المسبق: لتقليل التعقيد وقت التشغيل، تقدم الورقة متغيرين:
   • المعتمد على $\Phi_0$: مصفوفة ثابتة $\Phi_0$ يتم حسابها مسبقاً خارج وقت التشغيل، لتحل محل تحسين $\Phi_k$ في كل خطوة عبر قيد خطي على عوامل القياس.
   • المعتمد على $\Gamma$: زوج مُحسب مسبقاً $(\Gamma, \gamma)$، يشبه الأساليب متعددة الوجوه السابقة ولكن تم تكييفه للزونوتوبات.
4. مجموعات الاستقرار الإيجابي المتينة (RPI): يتم اشتقاق مصفوفة المولد $G$ من تقريب مجموعة RPI لديناميكيات الخطأ. وقد عززت الورقة ذلك عبر معاملة مركز مجموعة RPI كمتغير قرار في عملية التقليل، مما يقلل عدد متغيرات القرار مقارنة بالأعمال السابقة.
5. الاستقرار والقدرة على تحقيق الحل (Feasibility): يتم ضمان القدرة على تحقيق الحل بشكل متكرر والاستقرار التقاربي من خلال بناء مجموعة نهائية عبر تكرار المجموعة، وفرض شروط تشبه دالة ليابونوف (Lyapunov-like contraction) على التكلفة النهائية وعوامل القياس.

المساهمات الرئيسية

• الترميز الخطي المبتكر: قدمت الورقة ترميزاً خطياً لاحتواء الزونوتوب (النتيجة 1) الذي يعمم الشروط القياسية. هذا يلغي الحاجة إلى تحديد متغيرات مساعدة مسبقاً لتجنب التحسين غير الخطي، وهي مشكلة شائعة في القياس متعدد الوجوه.
• الكفاءة الحسابية: يظل الصيغة المقترحة خطية في كل من المتغيرات المساعدة وعوامل القياس، مما يسهل دمجها في أطر التحسين واسعة النط scale. كما أنها تتجنب العلاقات ثنائية الخطية المرتبطة عادةً بعوامل القياس في طرق التحكم التنبئي بالنماذج القائمة على الأنابيب الأخرى.
• تقليل التعقيد: من خلال الاستفادة من الزونوتوبات، تقلل هذه الطريقة بشكل كبير من عدد القيود وعوامل القياس المطلوبة مقارنة بالأنابيب المرنة متعددة الوجوه، خاصة مع زيادة أبعاد النظام.
• تحليل المقايضة الصريح: توفر الورقة تحليلاً شاملاً للتعقيد يقارن بين الأنابيب الصلبة، والمتماثلة، والمرنة عبر سياقات متعددة الوجوه والزونوتوب، مما يوضح المقايضة بين مجال الجذب الموسع والجهد الحسابي.

النتائج
تم التحقق من النهج المقترح من خلال تجارب عددية على معيارين:

1. المكامل المزدوج (Double Integrator): أظهرت المقارنات بين الأنابيب المرنة متعددة الوجوه، وأنابيب الزونوتوب المرنة مع $\Phi_0$ المحسوبة مسبقاً، وأنابيب الزونوتوب المرنة مع $\Phi$ المحسنة، أن متغيرات الزونوتوب تحقق مجالات جذب أكبر. وقد قدم متغير $\Phi$ المحسن بالكامل ميزة طفيفة على متغير $\Phi_0$ المحسوب مسبقاً، ولكن بتكلفة حسابية أعلى.
2. تجربة النابض المزدوج (CSE): أظهر هذا النظام عالي الأبعاد (يصل إلى 20 حالة) قابلية توسع الطريقة. فشلت التنفيذات متعددة الوجوه في إيجاد حلول ممكنة للأنظمة التي تحتوي على 3 أو أكثر من النوابض بسبب القيود الحسابية. في المقابل، نجحت جميع متغيرات الزونوتوب في حل المسألة عبر كامل نطاق المعلمات.
   • وقت التشغيل: أظهرت طرق الزونوتوب تعقيداً حسابياً خطياً (أو تربيعياً لمتغير $\Phi$)، بينما أصبحت الطرق متعددة الوجوه غير قابلة للتنفيذ.
   • المراكز: أدى التعامل مع مراكز الزونوتوب كمتغيرات قرار إلى زيادة طفيفة فقط في العبء الحسابي مع توفير ضمانات حاسمة للمتانة.

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