Enforcing Mixed State-Input Constraints with Multiple Backup Control Barrier Functions: A Projection-based Approach

إليك ملخص تقني مفصل للورقة البحثية بعنوان: "فرض قيود الحالة والمدخلات المختلطة باستخدام دوال حاجز التحكم الاحتياطية المتعددة: نهج قائم على الإسقاط."

1. بيان المشكلة

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

• التحدي: تضمن دوال الحاجز التحكمي (CBFs) القياسية سلامة الحالة، لكنها غالباً ما تفشل عند وجود قيود على المدخلات لأن مدخل التحكم المطلوب للحفاظ على السلامة قد يقع خارج مجموعة المدخلات المسموح بها.
• القصور الحالي:
  • دوال الحاجز التحكمي التكاملية (Integral CBFs): تعمل على تعزيز الديناميكيات ولكن يمكن أن تكون معقدة.
    ola دوال الحاجز التحكمي من الدرجة صفر (Zero-order CBFs): تتعامل مع اعتماد المدخلات ولكنها غالباً ما تؤدي إلى قيود غير محدبة.
  • دوال الحاجز التحكمي الاحتياطية القياسية (Standard Backup CBFs): توفر ضمانات رسمية للسلامة والجدوى للقيود المنفصلة (الحالة والمدخلات)، ولكن لم يتم إثباتها لـ قيود الحالة والمدخلات المختلطة (المقترنة). علاوة على ذلك، تتطلب دوال الحاجز التحكمي الاحتياطية التقليدية غالباً استخدام متحكمات احتياطية "مشبعة" (Saturating) لاحترام حدود المدخلات عبر كامل فضاء الحالة، مما يعقد التصميم والحسابات.

2. المنهجية

يقترح المؤلفون إطار عمل قائماً على الإسقاط يعمم طريقة دالة الحاجز التحكمي الاحتياطية (Backup CBF) للتعامل مع القيود المختلطة.

أ. المفهوم الجوهري: الإسقاط

الفكرة المركزية هي إسقاط القيود المختلطة من فضاء الحالة-المدخل ($\mathbb{R}^n \times \mathbb{R}^m$) على فضاء الحالة ($\mathbb{R}^n$) على طول متحكم احتياطي محدد ($k_b$).

• مجموعة القيود المسقطة ($C_p$): بدلاً من فرض $H(x, u) \geq 0$ مباشرة، تحدد الطريقة قيداً يعتمد على الحالة فقط وهو $h(x) = H(x, k_b(x)) \geq 0$.
• المنطق: إذا ظلت حالة النظام داخل مجموعة ثابتة مشتقة من $C_p$، واستُخدم المتحكم الاحتياطي، فإن القيد المختلط الأصلي سيتحقق.

ب. التعامل مع القيود المتعددة

يمتد إطار العمل للتعامل مع $N$ من القيود المتزامنة (حالة، مدخلات، ومختلطة) باستخدام مجموعة احتياطية واحدة ($S_b$) ومتحكم احتياطي واحد ($k_b$).

• يتم تعريف المجموعة الثابتة $S_I$ بأنها مجموعة الحالات التي يمكن للنظام من خلالها الوصول إلى المجموعة الاحتياطية $S_b$ خلال أفق زمني $T$ مع الوفاء بجميع القيود المسقطة على طول المسار.
• هذا يوحد التعامل مع القيود المنفصلة (حيث تعتمد $H$ على $x$ فقط أو على $u$ فقط) والقيود المقترنة.

ج. تخليق التحكم (مسألة الأمثلة)

يتم تحديد مدخل التحكم $u$ عن طريق حل برنامج تربيعي (QP) في كل خطوة زمنية:
$$\begin{aligned} k(x) = \underset{u}{\text{argmin}} \quad & \|u - k_d(x)\|^2 \\ \text{s.t.} \quad & \dot{h}_j(\phi_b(\theta, x), u) \geq -\alpha_j(h_j(\phi_b(\theta, x))), \quad \forall \theta \in [0, T], \forall j \\ & \dot{h}_b(\phi_b(T, x), u) \geq -\alpha_b(h_b(\phi_b(T, x))) \\ & H_j(x, u) \geq 0, \quad \forall j \end{aligned}$$

• الجدوى التكرارية (Recursive Feasibility): يضمن البرنامج التربيعي (QP) أن يكون قابلاً للحل لأن المتحكم الاحتياطي $k_b(x)$ هو دائماً حل صالح (بناءً على التصميم).
• الخطية: إذا كانت القيود المختلطة خطية بالنسبة للمدخلات، فإن البرنامج التربيعي الناتج يكون محدباً وفعالاً حاسوبياً.

د. تبسيط تصميم الاحتياط

المساهمة النظرية الرئيسية هي أن طريقة الإسقاط هذه تلغي الحاجة إلى متحكمات احتياطية مشبعة.

• في الطرق القياسية، يجب أن يحقق $k_b$ قيود المدخلات في كل مكان في فضاء الحالة.
• في هذه الطريقة، يحتاج $k_b$ فقط إلى تحقيق قيود المدخلات ضمن المجموعة الاحتياطية الصغيرة $S_b$. وهذا يسمح بتصاميم متحكمات أبسط (مثل التغذية الراجعة الخطية) ويسمح بـ الحساب التحليلي لتدفق الاحتياط (تجنب التكامل العددي).

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

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

4. النتائج

تحقق المؤلفون من صحة الطريقة باستخدام مثال البندول المعكوس الخاضع لـ:

• قيد الحالة: حدود الزاوية ($|x_1| \leq \phi_{max}$).
• قيد المدخلات: حدود عزم الدوران ($u_{min} \leq u \leq u_{max}$).
• القيد المختلط: حدود القدرة ($P_{min} \leq x_2 u \leq P_{max}$).

النتائج:

• تحليل المجموعات: تم حساب مجموعة القيود المسقطة $C_p$ والمجموعة الثابتة الناتجة $S_I$ تحليلياً. أظهرت الدراسة أن $S_I$ تتقلص مع إضافة المزيد من القيود (المدخلات، ثم القدرة)، مما يعكس بدقة منطقة التشغيل الآمنة المتقلصة.
• مقارنة المحاكاة:
  • الطريقة المقترحة (Backup CBF-QP): نجحت في الحفاظ على جميع قيود الحالة والمدخلات والقدرة للحالات الأولية غير المستقرة. سمح التنبؤ الأمامي للمتحكم بالتدخل مبكراً.
  • الطريقة المرجعية (High-Order CBF - HOCBF): عند تطبيقها على نفس المشكلة، أصبحت HOCBF-QP غير قابلة للحل بسبب التعارض بين الحاجة الفورية لتلبية القيود المختلطة وعدم وجود هوامش سلامة تنبؤية. أدت المسارات إلى انتهاك حدود المدخلات والقدرة.
• الكفاءة: سمح استخدام نظام احتياطي خطي بالحساب التحليلي لتدفق الاحتياط، مما جنب النظام العبء الحسابي للتكامل العددي للمعادلات التفاضلية العادية (ODE) عبر الإنترنت.

5. الأهمية

تعالج هذه الورقة فجوة حرجة في التحكم الحساس للسلامة: عدم قدرة طرق CBF الحالية على التعامل بمتانة مع قيود الحالة والمدخلات المقترنة (مثل حدود القدرة) مع ضمان الجدوى التكرارية.

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