Time-Optimal Switching Surfaces for Triple Integrator under Full Box Constraints

ملخص تقني: أسطح التبديل المثالية للزمن للمكامل الثلاثي تحت قيود الصندوق الكاملة

بيان المشكلة
تتناول هذه الورقة مشكلة التحكم الأمثل للزمن لنظام المكامل الثلاثي (triple integrator) الخاضع لقيود الصندوق الكاملة. تتضمن ديناميكيات النظام مدخلات تحكم محدودة بالارتجاج (jerk-limited) وقيوداً على الحالة لـ (الموقع $x_1$، السرعة $x_2$، والتسارع $x_3$). الهدف هو نقل النظام من حالة ابتدائية تعسفية $\mathbf{x}_0$ إلى حالة نهائية ثابتة $\mathbf{x}_f$ في أقل زمن ممكن $t_f$.

بينما يُعد التحكم الأمثل للزمن للمكامل الثنائي أمراً مفهوماً جيداً، فإن حالة المكامل الثلاثي تفرض تحديات كبيرة، لا سيما عند التعامل مع:

1. القيود غير المتماثلة: حيث لا تتساوى الحدود العليا والدنيا لـ "الارتجاج" (jerk) وحالات النظام في المقدار.
2. الشروط الحدية غير المستقرة: حالات البداية والنهاية التعسفية.
3. قيود الموقع النشطة: السيناريوهات التي يجب أن يلمس فيها المسار أو ينزلق على طول حدود قيود الموقع ($x_3 = \bar{x}_3$ أو $x_3 = \underline{x}_3$).

غالباً ما تفشل الحلول الحالية، مثل خوارزمية Ruckig (النسخة المجتمعية)، في ظل القيود غير المتماثلة أو قيود الموقع النشطة. كما أن النهج التحليلية السابقة إما تجاهلت قيود الحالة، أو افترضت قيوداً متماثلة، أو فشلت في تقديم توصيف كامل لأسطح التبديل والظروف النشطة لقيود الموقع.

المنهجية
يستخدم المؤلفون مبدأ بونترياغين للأقصى (PMP) لتوصيف قانون التحكم الأمثل، والذي يتبع بنية (Bang-Bang-Singular - BBS). يتمثل جوهر المنهجية في التحليل الهندسي لفضاء الحالة لاستخلاص أسطح التبديل المثالية للزمن.

1. قانون التبديل المعزز (ASL): يتم تمثيل المسار الأمثل كسلسلة من الأقواس (أقواس bang-bang غير مقيدة وأقواس مقيدة حيث تكون الحالات ثابتة) و"علامات التماس" (tangent markers). تحدث علامة التماس عندما يصبح قيد الموقع نشطاً بشكل مماس (أي $x_3 = \bar{x}_3$، و $x_2 = 0$، و $x_1 \geq 0$).
2. بناء سطح التبديل:
   • بدون قيود الموقع: يقوم المؤلفون ببناء متشعبات التبديل عن طريق التكامل العكسي من الحالة النهائية $\mathbf{x}_f$. ويحددون أسطحاً تقابل قوانين ASL محددة (مثل $\bar{0}\bar{0}\bar{0}$، $\bar{0}\bar{1}\bar{0}\bar{0}$) التي تقسم فضاء الحالة ثلاثي الأبعاد.
   • مع قيود الموقع: تستنتج الورقة الشروط المحددة التي تصبح فيها قيود الموقع نشطة. كما تقدم "علامات التماس" (tangent markers) جديدة (مثل $\bar{0}(\bar{3}, 2)\bar{0}\bar{0}\bar{0}$) تأخذ في الاعتبار المسارات المماسية لحدود الموقع. توفر النظرية 2 تصنيفاً كاملاً لجميع أشكال قوانين ASL الممكنة للمكامل الثلاثي مع قيود الصندوق الكاملة، مما يثبت أن المسارات المثلى تتكون من تسلسلات من الأقواس غير المقيدة وعلامات التماس.
3. التنفيذ الخوارزمي:
   • الخوارزمية 1: تحدد الاتجاه النسبي بين $\mathbf{x}_0$ و $\mathbf{x}_f$ من خلال تحليل الإسقاطات من الدرجة الثانية، مع معالجة الحالات التي تكون فيها أسطح التبديل متعددة القيم.
   • الخوارزمية 2: تحل المشكلة بدون قيود الموقع عن طريق ربط الحالات عبر ضوابط مثلى من الدرجة الثانية وحل المعادلات متعددة الحدود لمدد الأقواس.
   • الخوارزمية 3: توسع الحل ليشمل قيود الصندوق الكاملة. إذا انتهك الحل غير المقيد قيود الموقع، تقوم الخوارزمية بربط الحالة بشكل متكرر بعلامة تماس (مشتقة من النظرية 2) وحل المشكلات الفرعية.
     يتم حل نظام المعادلات لمدد الأقواس باستخدام قواعد غروبر (Gröbner bases)، مما يقلل المشكلة إلى معادلة واحدة متعددة الحدود من الدرجة $\leq 6$.

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

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

النتائج
تم تقييم الطريقة المقترحة مقابل ثلاثة نماذج مرجعية: Ruckig (النسخة المجتمعية)، و CasADi (المعتمد على IPOPT)، و SCP (البرمجة المحدبة المتسلسلة).

• معدل النجاح: حققت الطريقة المقترحة معدل نجاح بنسبة 100% في إيجاد حلول قابلة للتنفيذ لكل من الحالة المتماثلة (الحالة 1) والحالة غير المتماثلة مع قيود موقع نشطة (الحالة s2). في المقابل، فشلت Ruckig في الحالة 2 بسبب عدم التماثل، بينما أظهرت SCP/CasADi معدلات نجاح أقل بكثير (34.1% و 97.7% على التوالي في الحالة 2).
• الكفاءة الحسابية: بلغ متوسط وقت الحوسبة لكل مسار حوالي 10 ميكروثانية (تحديداً $2.38 \times 10^{-6}$ ثانية للحالة 1 و $1.25 \times 10^{-5}$ ثانية للحالة 2). ويمثل هذا انخفاضاً بمقدار 5 مراتب عشرية مقارنة بالنماذج المرجعية القائمة على التحسين (CasADi: ~0.28 ثانية؛ SCP: ~7.28 ثانية).
• الأمثلية: وجدت الطريقة باستمرار حلولاً مثالية عالمياً. في الحالات التي تقاربت فيها الطرق القائمة على التحسين نحو حلول محلية مثلى (ASLs دون المستوى الأمثل)، قللت الطريقة المقترحة الزمن النهائي بنسبة تصل إلى 90.9% (الحالة 1) و 73.4% (الحالة 2).

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