Output Feedback Backup Control Barrier Functions: Safety Guarantees Under Input Bounds and State Estimation Error

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

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

تتناول الورقة البحثية التحدي الحرج المتمثل في ضمان السلامة للأنظمة التحكمية غير الخطية الخاضعة لقيدين رئيسيين:

1. قيود المدخلات: مدخلات التحكم $u$ مقيدة ضمن مجموعة محدودة $U$ (مثل تشبع المشغلات/Actuator Saturation).
2. خطأ تقدير الحالة: الحالة الحقيقية $x$ غير معروفة وغير قابلة للقياس مباشرة. يجب أن يعتمد المتحكم فقط على الحالة المقدرة $\hat{x}$ المستمدة من قياسات استشعار مشوبة بالضجيج.

الصعوبة الجوهرية:
تفترض دوال حاجز التحكم (CBFs) ودوال حاجز التحكم الاحتياطي (bCBFs) التقليدية عادةً المعرفة التامة بالحالة. عندما تتوفر فقط الحالة المقدرة $\hat{x}$:

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

الهدف هو تصميم متحكم يضمن بقاء الحالة الحقيقية $x(t)$ داخل المجموعة الآمنة $C_S$ لجميع الأوقات، باستخدام الحالة المقدرة $\hat{x}(t)$ فقط مع احترام قيود المدخلات.

2. المنهجية

يقترح المؤلفون دوال حاجز التحكم الاحتياطي بالتغذية الراجعة للمخرجات (O-bCBFs). وتوسع المنهجية إطار عمل bCBF القياسي من خلال إدخال "غلاف عدم اليقين" حول التدفق المقدر لمراعاة أخطاء تقدير الحالة.

المكونات الرئيسية:

1. نموذج النظام:

   • الديناميكيات الحقيقية: $\dot{x} = f(x) + g(x)u$
   • القياس: $y = z(x) + v(t)$ (حيث $v(t)$ هو ضجيج محدود).
   • المُقدِّر (Estimator): $\dot{\hat{x}} = f(\hat{x}) + g(\hat{x})u + r(t, \hat{x}, y)$، حيث $r$ هو حد التصحيح (مثل مرشح كالمان أو مراقب لونبرجر).
   • الافتراض: المُقدِّر "محدود الخطأ"، بمعنى أن $\|x(t) - \hat{x}(t)\| \leq \delta_x(t, \bar{e}_0)$.

2. المتحكم الاحتياطي والمجموعة:

   • يتم تعريف مجموعة احتياطية $C_B \subseteq C_S$ (على سبيل المثال، مستوى مجموعة لدالة ليابونوف).
   • يتم تصميم متحكم احتياطي $k_b$ بحيث إذا دخل النظام إلى $C_B$، فإنه يظل آمنًا.
   • المتانة: تم تصميم المتحكم الاحتياطي ليكون متيناً تجاه "الاضطراب الافتراضي" الناتج عن الفرق بين الحالة الحقيقية والحالة المقدرة ($k_b(\hat{x}) - k_b(x)$).

3. طريقتان لانتشار التدفق:
   تقدم الورقة تقنيتين متميزتين لبناء مجموعة آمنة $bC_I(t)$ تعتمد كلياً على الحالة المقدرة $\hat{x}$، بحيث إذا كانت $\hat{x} \in bC_I(t)$، فإن الحالة الحقيقية $x$ مضمونة السلامة.

   • الطريقة 1: السلامة ذات الحلقة المفتوحة (Open-Loop Safety)

     • تقوم بنشر الحالة المقدرة للأمام في الزمن باستخدام المتحكم الاحتياطي دون حد تصحيح المُقدِّر (الابتكار/Innovation).
     • تبني "أنبوباً" حول هذا التدفق المقدر ذي الحلقة المفتوحة.
     • التضييق (Tightening): يتم تضييق المجموعة الآمنة عن طريق طرح هامش $\epsilon$ مشتق من أسوأ حالة انحراف بين التدفق الحقيقي مفتوح الحلقة والتدفق المقدر مفتوح الحلقة.
     • الحد: تستخدم متراجحات Grönwall-Bellman لتحديد انحراف التدفق بناءً على ثوابت ليبشيتز (Lipschitz constants) لـ $f$ و $g$.

   • الطريقة 2: السلامة ذات الحلقة المغلقة (Closed-Loop Safety)

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

4. تخليق المتحكم (O-bCBF-QP):
   يتم صياغة برنامج تربيعي (QP) لإيجتاد مدخل تحكم $u$ يقوم بـ:

   • تقليل الانحراف عن المتحكم الأساسي (الاسمي) $k_p$.
   • استيفاء قيود السلامة المستمدة من دوال الحاجز المضيقة.
   • ضمان القابلية (Feasibility Guarantee): يثبت المؤلفون أنه إذا كانت الحالة المقدرة ضمن المجموعة المنشأة $bC_I(t)$، فإن المتحكم الاحتياطي $k_b(\hat{x})$ يكون دائماً حلاً متاحاً لـ QP. وبالتالي، لن يصبح الـ QP غير قابل للحل أبداً، مما يضمن القابلية التكرارية (Recursive Feasibility).

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

1. ضمانات سلامة رسمية تحت التغذية الراجعة للمخرجات: تقدم الورقة أول إطار عمل صارم لـ bCBFs يضمن سلامة الحالة الحقيقية تحت قيود المدخلات وأخطاء تقدير الحالة، دون افتراض المعرفة التامة بالحالة.
2. إثبات القابلية التكرارية: تثبت الورقة أن مدخل تحكم متاح موجود دائماً للحفاظ على السلامة، حتى مع وجود مدخلات محدودة وعدم يقين في الحالة. ويتم تحقيق ذلك من خلال بناء مجموعة آمنة بناءً على الحالة المقدرة التي تعني بالضرورة سلامة الحالة الحقيقية.
3. حدود تدفق متميزة:
   • اشتقاق حدود تدفق الحلقة المفتوحة المناسبة للأنظمة الخطية أو الأنظمة ذات ثوابت ليبشيتز صغيرة لخريطة المدخلات.
   • اشتقاق حدود تدفق الحلقة المغلقة المناسبة للأنظمة غير الخطية، من خلال الاستفادة من خصائص الانكماش لتقليل التحفظ (Conservatism).
4. آلية التضييق (Tightening Mechanism): تقديم طريقة منهجية لـ "تضييق" قيود السلامة (عبر $\epsilon_\tau$ و $\epsilon_b$) بناءً على أسوأ حالة لانتشار خطأ التقدير، مما يضمن أن استيفاء القيد على التقدير يعني استيفاءه على الحالة الحقيقية.

4. النتائج (المحاكاة العددية)

يتحقق المؤلفون من النهج باستخدام دراستي حالة:

• دراسة الحالة 1: المكامل المزدوج (نظام خطي)

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

• دراسة الحالة 2: دوران المركبة الفضائية (نظام غير خطي)

  • الإعداد: جسم صلب يتبع معادلات دوران أويلر، مع قياسات جيروسكوب مشوبة بالضجيج وقيود على عزم الدوران. تم تصميم المتحكم الأساسي عمداً لانتهاك السلامة.
  • النتيجة: منع متحكم O-bCBF السرعة الزاوية الحقيقية من تجاوز حد السلامة.
  • المقارنة: فشل نهج الـ bCBF الاحتياطي "التقليدي" (الذي يستخدم $\hat{x}$ كـ $x$)، مما تسبب في خروج الحالة الحقيقية من المجموعة الآمنة. حافظ نهج O-bCBF المقترح على السلامة من خلال مراعاة غلاف خطأ التقدير.

5. الأهمية

يسد هذا العمل فجوة حرجة بين ضمانات السلامة النظرية والتطبيق العملي في الأنظمة المستقلة في العالم الحقيقي.

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

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