On the Stability of Undesirable Equilibria in the Quadratic Program Framework for Safety-Critical Control

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

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

غالبًا ما تستخدم أنظمة التحكم الحرجة للسلامة دوال ليابونوف للتحكم (CLFs) للاستقرار ودوال حاجز التحكم (CBFs) للسلامة، ويتم توحيدهما من خلال إطار عمل البرمجة التربيعية (QP). وبينما يضمن إطار العمل هذا بقاء مسارات النظام ضمن مجموعة آمنة (الثبات الأمامي)، إلا أنه يقدم خللاً حرجاً: قد تطور أنظمة الحلقة المغلقة نقاط توازن غير مرغوب فيها بخلاف الحد الأدنى العالمي لـ CLF.

• المشكلة: يمكن أن تكون نقاط التوازن الزائفة هذه مستقرة تقاربياً، مما يتسبب في "تعلق" النظام (الجمود/Deadlock) قبل الوصول إلى الهدف أو بالقرب من الحدود غير الآمنة.
• محدودية الحلول الحالية: تعتمد الطرق السابقة لمعالجة حالات الجمود غالباً على تعديل قيود السلامة (مما قد ينتهك السلامة) أو حساب دوال "تحدب" (convexification) غير خطية معقدة تكون مكلفة حاسوبياً وصعبة التعميم.
• الهدف: يهدف المؤلفون إلى توصيف وجود واستقرار نقاط التوازن هذه واقتراح طريقة لضمان "توافق" الـ CLF والـ CBFs، وبالتالي القضاء على نقاط التوازن غير المرغوب فيها المستقرة دون المساس بالسلامة.

2. المنهجية

أ. توصيف نقاط التوازن

يحلل المؤلفون الأنظمة غير الخطية ذات الصيغة الأفينية للتحكم ($\dot{x} = f(x) + g(x)u$) مع عدة دوال حاجز تحكم (CBFs).

• الوجود: أثبتوا أن نقاط التوازن تحدث إما في داخل المجموعة الآمنة أو على حدود المجموعات الآمنة ($\partial C_i$).
• تحليل الاستقرار: باستخدام شروط KKT الخاصة بالبرمجة التربيعية (QP)، قاموا باشتقاق جاكوبي الحلقة المغلقة عند نقاط توازن الحدود. وقد وضعوا شرطاً ضرورياً وكافياً لعدم الاستقرار بناءً على هندسة تدرجات الـ CLF والـ CBF. وتحديداً، يعتمد الاستقرار على إسقاط جاكوبي النظام على الفضاء الجزئي العمودي على تدرج الـ CBF.

ب. مفهوم توافق CLF-CBF

تقدم الورقة مفهوم توافق CLF-CBF:

• يُقال عن CLF إنه متوافق مع مجموعة من الـ CBFs إذا كان نظام الحلقة المغلقة الناتج لا يحتوي على أي نقاط توازن مستقرة سوى الحد الأدنى العالمي لـ CLF.
• إذا كان الـ CLF متوافقاً، فإن أي نقاط توازن حدودية موجودة ستكون مضمونة بأنها غير مستقرة، مما يضمن عدم تقارب المسارات إليها.

ج. الإطار التحليلي للأنظمة التربيعية

بالنسبة لفئات محددة من الأنظمة (الأنظمة كاملة الرتبة عديمة الانجراف (Driftless) والأنظمة الخطية الثابتة زمنياً (LTI)) مع دوال CLF وCBF تربيعية، اشتق المؤلفون إطاراً جبرياً صارماً:

1. مسألة القيم الذاتية المعممة (GEP): صاغوا شرط التوازن كمسألة GEP تتضمن قلم مصفوفة خطي (LMP).
2. دالة Q: عرّفوا دالة نسبية قياسية، $q(\lambda)$، والتي تشفر وجود نقاط التوازن على الحدود. حيث تقابل جذور $q(\lambda) = 1$ مواقع التوازن.
3. مصفوفة الاستقرار متعددة الحدود ($S(\lambda)$): اشتقوا مصفوفة متعددة الحدود $S(\lambda)$ التي يحدد عدم شبه تعريفها (negative semi-definiteness) استقرار التوازن.
   • إذا كانت $S(\lambda)$ شبه محددة سالبة عند جذر $q(\lambda)=1$، فإن التوازن يكون مستقراً (غير مرغوب فيه).
   • إذا لم تكن $S(\lambda)$ شبه محددة سالبة، فإن التوازن يكون غير مستقر (آمن).

د. استراتيجية التحكم المقترحة

لحل مشكلة عدم التوافق، يقترح المؤلفون استراتيجية تكيفية من خطوتين:

1. خوارزمية التوافق (Compatibilization Algorithm): يتم حل مسألة تحسين لإيجاد مصفوفة هيسيان جديدة ($H_{V_i}$) لـ CLF. هذه المصفوفة الجديدة هي "الأقرب" إلى الـ CLF المرجعي الأصلي ولكنها تحقق شروط التوافق (ضمان أن $S(\lambda)$ موجبة التعريف عند جذور التوازن).
2. متحكم CLF التكيفي: يقوم متحكم QP ثانوي بتعديل هندسة (هيسيان) مستويات CLF ديناميكياً في الوقت الفعلي.
   • عندما يدخلت حالة النظام في منطقة قد يوجد فيها توازن حدي مستقر (منطقة الجمود)، يقوم المتحكم بتغيير هندسة الـ CLF نحو الهيسيان المتوافق.
   • يؤدي هذا إلى إحداث تشعب (Bifurcation) في ديناميكيات النظام، مما يؤدي إلى زعزعة استقرار التوازن غير المرغوب فيه والسماح للمسار بالهروب والتقارب نحو الهدف.
   • بمجرد خروج الحالة من منطقة الخطر، تعود هندسة الـ CLF إلى الـ CLF المرجعي الأصلي.

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

1. التوصيف النظري: تقديم تحليل مفصل لشروط وجود واستقرار نقاط التوازن في أطر CLF-QP متعددة الـ CBF، مع تعميم نتائج الـ CBF المنفردة السابقة.
2. توافق CLF-CBF: تقديم التعريف الرسمي للتوافق واشتقاق الشروط الضرورية والكافية للـ CLFs والـ CBFs التربيعية في الأنظمة الخطية (LTI) والأنظمة عديمة الانجراف باستخدام نظرية مصفوفة متعددة الحدود.
3. دالة Q ومتعددات حدود الاستقرار: تطوير أدوات $q(\lambda)$ و $S(\lambda)$ للتنبؤ عدد واستقرار التوازنات الحدودية تحليلياً دون الحاجة للمحاكاة.
4. استراتيجية التحكم التكيفي: اقتراح طريقة مبتكرة لحساب CLF متوافق ومتحكم ديناميكي يغير هندسة الـ CLF بسلاسة للقضاء على حالات الجمود مع الحفاظ على السلامة.

4. النتائج

تحقق المؤلفون من صحة طريقتهم من خلال محاكاة عددية على أنظمة LTI ثنائية الأبعاد:

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

5. الأهمية

تعالج هذه الدراسة حداً أساسياً في التحكم الحرج للسلامة: المقايضة بين السلامة والقدرة على الإنجاز (Liveness).

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