Safety-Critical Control via Recurrent Tracking Functions

إليك ملخص تقني مفصل لورقة البحث بعنوان "التحكم في الحالات الحرجة للسلامة عبر دوال التتبع المتكررة" (Safety-Critical Control via Recurrent Tracking Functions) من تأليف جيكسيان ليو وإنريكي مالادا.

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

تتناول الورقة تحدي تخليق وحدات تحكم للحالات الحرجة للسلامة (safety-critical controllers) للأنظمة غير الخطية عالية الرتبة (مثل المركبات الجوية، والروبوتات التي تسير على أرجل).

• الصعوبة الجوهرية: إن بناء دوال حاجز التحكم (Control Barrier Functions - CBFs) صالحة للأنظمة عالية الأبعاد والمعقدة هو أمر مستعصٍ حاسوبياً.
• نهج التحكم الطبقي: أحد الاستراتيجيات الشائعة هي تصميم دوال CBF على نموذج منخفض الرتبة (RoM) (يلتقط الحالات الحرجة للسلامة) واستخدام وحدة تحكم منخفضة المستوى لتتبع هذا المرجع على النموذج كامل الرتبة (FoM).
• عنق الزجاجة: يتطلب التحكم الطبقي التقليدي أن يحقق خطأ التتبع بين الـ FoM والـ RoM شرط اضمحلال ليابونوف رتيب (التقارب الأسي). وتوجد طرق منهجية لبناء دوال تتبع رتيبة كهذه فقط للأنظمة كاملة الفعل (fully-actuated). أما بالنسبة للأنظمة ناقصة الفعل (underactuated) أو المعقدة، فإن فرض الاضمحلال الرتيب الصارم غالباً ما يكون مستحيلاً أو مفرط التحفظ، مما يعيق النشر العملي.

2. المنهجية

يقترح المؤلفون إطار عمل يقوم بتخفيف شرط اضمحلال ليابونوف الصارم (الرتيب) إلى شرط تكرار زمني محدد (finite-time recurrence condition).

أ. دوال التتبع المتكررة (RTFs)

بدلاً من اشتراط تناقص خطأ التتبع بشكل مستمر، يقدم المؤلفون دوال التتبع المتكررة (RTFs).

• التعريف: تتطلب الـ RTF أن يتناقص خطأ التتبع أسياً فقط عند لحظات زمنية محددة تفصل بينها فجوة زمنية موحدة $\tau$.
• الرؤية الجوهرية: بالنسبة للأنظمة ذات أخطاء التتبع المستقرة أسياً، فإن أي معيار (norm) لخطأ التتبع (مثل $\|\dot{e}\|$) يعمل كـ RTF صالح. وهذا يلغي الحاجة إلى بناء دوال ليابونوف معقدة ورتيبة بشكل صريح.
• الآلية: يُسمح لخطأ التتبع بالانحراف عابراً (بالزيادة)، ولكن يجب أن يعود إلى قيمة أقل خلال الزمن $\tau$.

ب. دوال حاجز التحكم المتكررة (RCBFs)

يدمج إطار العمل دالة CBF الخاصة بالنموذج منخفض الرتبة (RoM) مع الـ RTF لإنشاء دالة حاجز متكررة ($h_V$) للنظام الكامل.

• البناء: يتم تعريف دالة الحاجز المدمجة كالتالي:
  $$h_V(z, \dot{e}) = -V(z, \dot{e}) + \alpha_e h(z)$$
  حيث أن:
  • $h(z)$ هي دالة الـ CBF للنموذج منخفض الرتبة (RoM).
  • $V(z, \dot{e})$ هي الـ RTF (تمثل خطأ التتبع).
  • $\alpha_e$ هو عامل قياس مشتق من ثوابت النظام.
• منطق السلامة: المجموعة ذات المستوى الفوقي الصفري $S_V = \{h_V \geq 0\}$ هي مجموعة متكررة تحكمياً $\tau$. وهذا يعني أن المسارات قد تغادر مجموعة $S_V$ مؤقتاً (وبالتالي تغادر هامش السلامة الصارم للـ RoM)، ولكنها تضمن العودة إليها خلال الزمن $\tau$.
• الضمان: إذا كان خطأ التتبع يتقارب بشكل أسرع من اقتراب النظام من حدود السلامة (أي معدل التقارب $\beta >$ معدل اضمحلال السلامة $\alpha$)، فإن حالة الـ FoM الفعلية لن تدخل أبداً المنطقة غير الآمنة، حتى لو تم انتهاك المجموعة الوسيطة $S_V$ عابراً.

ج. المتانة تجاه الاضطرابات

تم توسيع إطار العمل للتعامل مع عدم اليقين في النموذج والاضطرابات الخارجية عبر السلامة من المدخلات إلى الحالة (Input-to-State Safety - ISSf).

• تُنمذج الاضطرابات كمدخلات محدودة تسبب إزاحة في حالة الاستقرار لخطأ التتبع.
• يتم توسيع مجموعة السلامة ($S_d$) لاستيعاب هذه الإزاحة، مما يضمن الحفاظ على السلامة حتى مع وجود أخطاء تتبع غير متلاشية، بشرما كانت شدة الاضطراب محدودة.

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

1. إطار عمل RTF: صياغة دوال التتبع المتكررة كنوع من التخفيف لشروط ليابونوف القياسية. وقد أثبتوا أنه بالنسبة للأنظمة المستمرة ليبشيتز (Lipschitz continuous) ذات التتبع المستقر أسياً، فإن أي معيار لخطأ التتبع يعد RTF صالحاً.
2. ضمانات سلامة نظرية: إثبات أنه إذا كانت الحالة الأولية تقع في المجموعة المتكررة $S_V$، فإن أي متحكم يحقق شرط الـ RTF يضمن بقاء الـ FoM في المجموعة الآمنة $S_{FoM}$ طوال الوقت.
3. التخليق المنهجي: طريقة لبناء شهادات سلامة للأنظمة عالية الرتبة دون الحاجة إلى دوال ليابونوف معقدة وخاصة بكل نظام، وذلك عبر الاستفادة من دوال بسيطة تعتمد على المعايير (norms).
4. التحقق العددي: تجربة إثبات مفهوم على نظام "مكامل مزدوج" (double-integrator) ثنائي الأبعاد يتنقل بين العوائق، مما يوضح أن الطريقة المقترحة تضمن السلامة حيث قد تفشل الطرق التقليدية الرتيبة أو تكون مفرطة التحفظ.

4. النتائج

• إعداد المحاكاة: وكيل ثنائي الأبعاد ($\ddot{z} = u$) يتنقل عبر عوائق دائرية. الـ RoM هو مكامل أحادي ($\dot{z} = v$).
• المقارنة: اختبر المؤلفون ثلاثة سيناريوهات مع معدلات اضمحلال سلامة مختلفة ($\alpha$):
  • $\alpha = 5$ (عدواني جداً): كانت دالة الـ CBF الخاصة بالـ RoM غير صالحة؛ واصطدم النظام بالعوائق.
  • $\alpha = 1$ (الحالة الأولية خارج $S_V$): بدأ النظام خارج مجموعة السلامة المتكررة $S_V$ وأصبح غير آمن في النهاية.
  • $\alpha = 0.5$ (صالح): كانت الحالة الأولية داخل $S_V$. أظهر خطأ التتبع انحرافات عابرة ولكنه حقق شرط التكرار. نجح النظام في التنقل عبر العوائق دون اصطدام.
• الملاحظة: أكدت النتائج أن معيار خطأ التتبع $\|\dot{e}\|$ يتقلص أسياً (محققاً شرط الـ RTF) وأن دالة الحاجز $h(t)$ تظل غير سالبة، مما يؤكد صحة ضمانات السلامة النظرية.

5. الأهمية

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