دوال الحاجز اللزجة: ربط إطار دالة حاجز التحكم وإطار قابلية الوصول هاملتون-جاكوبي في نظرية التحكم الآمن

المعلومات الأساسية

• معرّف الورقة: 2510.09929
• العنوان: Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory
• المؤلفون: Dylan Hirsch, Jaime Fernández Fisac, Sylvia Herbert
• التصنيف: eess.SY (الأنظمة والتحكم)، cs.SY (الأنظمة والتحكم)
• تاريخ النشر: 11 أكتوبر 2025 (نسخة أولية على arXiv)
• رابط الورقة: https://arxiv.org/abs/2510.09929

الملخص

تعتبر دوال حاجز التحكم (CBFs) وقابلية الوصول هاملتون-جاكوبي (HJR) إطارين أساسيين في نظرية التحكم الآمن. تقليدياً، يُنظر إلى هذين الإطارين كطرق مختلفة، حيث يركز الأول على تصميم متحكمات آمنة مثلى، بينما يوفر الثاني شروطاً كافية للسلامة. قدمت الأعمال السابقة مفهوم دالة قيمة حاجز التحكم (CB-VF)، المعرّفة بشكل مشابه لدوال القيمة الأخرى المدروسة في HJR، لكن بخصائص معينة من CBF. تنطلق هذه الورقة من اتجاه آخر، حيث تعمّم دوال CBFs إلى دوال "لزجة" غير قابلة للاشتقاق. يوضح المؤلفون الارتباط العميق بين دوال CBFs اللزجة و CB-VFs، مما يربط بين إطاري CBF و HJR. من خلال هذا الجسر، يقيّم المؤلفون دوال CBFs اللزجة بدقة كدوال توفر ضمانات سلامة من نوع CBF (الثبات تحت التحكم والاقتراب السلس من الحدود). علاوة على ذلك، يُظهرون الخصائص النظرية الممتازة لدوال CBFs اللزجة، بما في ذلك الإغلاق المثالي تحت عمليات الحد الأقصى والنهايات.

السياق البحثي والدافع

خلفية المشكلة

1. فصل الإطارين الرئيسيين للتحكم الآمن: يعتبر CBF و HJR إطارين رئيسيين في نظرية التحكم الآمن، لكن يُنظر إليهما تقليدياً كطرق مستقلة عن بعضهما
2. قيود دوال CBF التقليدية: تتطلب دوال CBF التقليدية قابلية الاشتقاق المستمر، وهو شرط صارم جداً في بعض التطبيقات، مما يحد من قابليتها للتطبيق
3. غياب الربط النظري: يفتقد الإطار النظري الموحد لفهم الارتباطات الداخلية بين هاتين الطريقتين

دافع البحث

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

المساهمات الأساسية

1. إدخال مفهوم دوال CBFs اللزجة: تعميم دوال CBF التقليدية إلى دوال غير قابلة للاشتقاق، تحتاج فقط إلى تحقيق عدم المساواة CBF بالمعنى اللزج
2. بناء جسر نظري: إثبات التكافؤ الكامل بين دوال CBFs اللزجة و CB-VFs المستقلة عن الزمن، مما يربط بين إطاري CBF و HJR
3. توصيف كامل للضمانات الأمنية: إثبات أن دوال CBFs اللزجة هي بالضبط الدوال المستمرة التي توفر "ضمان الحاجز" (Barrier Guarantee)
4. توسيع نظرية CB-VF: توسيع CB-VF من الخصم الأسي إلى الخصم غير الخطي المحدد بواسطة دوال من الفئة K
5. تحليل الخصائص النظرية: إثبات خصائص ممتازة لدوال CBFs اللزجة مثل الإغلاق تحت عمليات الحد الأقصى والنهايات

شرح الطريقة

التعريفات والإعدادات الأساسية

ضع في الاعتبار نظام الديناميكا: $\dot{x} = f(x,u)$

حيث $f : \mathbb{R}^n \times U \to \mathbb{R}^n$ دالة Lipschitz، و $U \subset \mathbb{R}^m$ مجموعة مدخلات التحكم المسموحة المضغوطة.

تعريف CBF التقليدي

الدالة $h : \mathbb{R}^n \to \mathbb{R}$ هي دالة حاجز تحكم فيما يتعلق بدالة من الفئة K بـ $\alpha$، إذا كانت قابلة للاشتقاق بشكل مستمر وتحقق: $\max_{u \in U} \nabla h(x) \cdot f(x,u) \geq -\alpha(h(x))$ لجميع $x \in \mathbb{R}^n$ التي تحقق $h(x) > 0$.

الابتكار الأساسي: دوال CBFs اللزجة

تعريف دالة CBF اللزجة

الدالة المستمرة $h : \mathbb{R}^n \to \mathbb{R}$ هي دالة حاجز تحكم لزجة فيما يتعلق بدالة من الفئة K بـ $\alpha$، إذا كانت لكل $x \in \mathbb{R}^n$ التي تحقق $h(x) > 0$، عدم المساواة $\max_{u \in U} \nabla h(x) \cdot f(x,u) \geq -\alpha(h(x))$ تتحقق بالمعنى اللزج.

المعنى اللزج: لأي دالة قابلة للاشتقاق بشكل مستمر $\phi : \mathbb{R}^n \to \mathbb{R}$، إذا كان $h - \phi$ له حد أقصى محلي عند $x$، فإن $\max_{u \in U} \nabla \phi(x) \cdot f(x,u) \geq -\alpha(h(x))$

ضمان الحاجز (Barrier Guarantee)

الدالة المستمرة $B : \mathbb{R}^n \to \mathbb{R}$ توفر ضمان حاجز فيما يتعلق بدالة محلية Lipschitz من الفئة K بـ $\alpha$، إذا كان لكل $\theta \in [0,1)$ ولكل $x \in \mathbb{R}^n$ التي تحقق $B(x) > 0$، يوجد $u \in U$ بحيث لجميع $t \geq 0$: $B(x_x^u(t)) \geq \beta_\alpha(\theta B(x), t)$

حيث $\beta_\alpha$ دالة من الفئة KL المرتبطة بـ $\alpha$.

توسيع دالة قيمة حاجز التحكم (CB-VF)

بالنظر إلى دالة مستمرة $g : \mathbb{R}^n \to \mathbb{R}_{\geq 0}$ ودالة محلية Lipschitz من الفئة K بـ $\alpha$، يتم تعريف CB-VF $v : \mathbb{R}^n \times \mathbb{R}_{\geq 0} \to \mathbb{R}_{\geq 0}$ بشكل ضمني بـ: $\beta_\alpha(v(x,T), T) = \sup_{u \in U} \min_{t \in [0,T]} \beta_\alpha(g(x_x^u(t)), T-t)$

النتائج النظرية الرئيسية

النظرية 1: توصيف HJ-PDE لـ CB-VF

CB-VF $v$ هي الحل اللزج الوحيد لـ HJ-PDE: $\max\left\{\frac{\partial}{\partial T}v - H_\alpha(x,v,\nabla v), v - g(x)\right\} = 0$

حيث Hamiltonian $H_\alpha(x,r,\lambda) = \max_{u \in U} \lambda \cdot f(x,u) + \alpha(r)$.

النظرية 2: نتيجة التكافؤ الأساسية

لدالة محلية Lipschitz من الفئة K بـ $\alpha$ ودالة مستمرة $h : \mathbb{R}^n \to \mathbb{R}_{\geq 0}$، القضايا التالية متكافئة:

1. $h$ هي دالة حاجز تحكم لزجة فيما يتعلق بـ $\alpha$
2. $h$ هي حل لزج لـ HJ-PDE $-\min\{H_\alpha(x,h,\nabla h), 0\} = 0$
3. دالة CB-VF المقابلة مستقلة عن الزمن، أي $v(\cdot, T) \equiv h(\cdot)$ لجميع $T \geq 0$
4. $h$ توفر ضمان حاجز فيما يتعلق بـ $\alpha$

خصائص التركيب لدوال CBFs اللزجة

النظرية 3: إغلاق الحد الأقصى

إذا كانت $h_1, h_2$ كلاهما دالة حاجز تحكم لزجة فيما يتعلق بدالة من الفئة K بـ $\alpha$، فإن $\max\{h_1, h_2\}$ هي أيضاً دالة حاجز تحكم لزجة فيما يتعلق بـ $\alpha$.

النظرية 4: إغلاق النهايات

إذا كانت $h_1, h_2, \ldots$ متسلسلة من دوال حاجز التحكم اللزجة فيما يتعلق بدالة من الفئة K بـ $\alpha$، و $h_i \to h$ تقارب محلي منتظم، فإن $h$ هي أيضاً دالة حاجز تحكم لزجة فيما يتعلق بـ $\alpha$.

نقاط الابتكار التقني

1. تطبيق نظرية الحل اللزج

• إدخال مفهوم الحل اللزج من نظرية المعادلات التفاضلية الجزئية إلى نظرية CBF
• تجنب المتطلبات الصارمة للاشتقاق المستمر في دوال CBF التقليدية
• الحفاظ على الخصائص الأساسية لضمانات السلامة

2. ربط الإطارات

• بناء ارتباطات ثنائية الاتجاه بين CBF و HJR
• تحقيق التوحيد النظري من خلال CB-VF كوسيط
• توفير طرق مختلفة لفهم التحكم الآمن من زاويتين

3. توسيع الخصم غير الخطي

• التعميم من الخصم الأسي إلى أي خصم محدد بدالة من الفئة K
• تعزيز القدرة التعبيرية وقابلية التطبيق لـ CB-VF

أمثلة التطبيق

المثال 1: دالة CBF غير قابلة للاشتقاق

ضع في الاعتبار النظام القياسي $\dot{x} = x + x + x^3/(1+|x|) \cdot u$، مع مجموعة التحكم $U = [-1,1]$.

عرّف $h(x) = 1 - |x|$ (دالة المسافة الموقعة إلى المجموعة غير الآمنة $(-\infty,-1] \cup [1,+\infty)$).

على الرغم من أن $h$ غير قابلة للاشتقاق عند $x = 0$، يمكن التحقق من أنها دالة حاجز تحكم لزجة فيما يتعلق بـ $\alpha(r) = r$.

الأهمية النظرية والقيمة العملية

الأهمية النظرية

1. الاكتمال: توصيف كامل لفئة الدوال التي يمكنها توفير ضمانات سلامة من نوع CBF
2. التوحيد: توحيد إطارين مهمين للتحكم الآمن على نفس الأساس النظري
3. التوسع: توفير مساحة تطوير أوسع لنظرية CBF

القيمة العملية

1. توسيع القابلية للتطبيق: السماح باستخدام دوال غير قابلة للاشتقاق كـ CBF، مما يطبق على مشاكل عملية أكثر
2. طرق التركيب: توفير طرق منهجية لبناء دوال CBF جديدة من دوال معروفة
3. المزايا الحسابية: الاستفادة من الطرق الحسابية لـ HJR لبناء CBF

القيود والاتجاهات المستقبلية

القيود

1. التعقيد الحسابي: قد يكون التحقق والبناء لدوال CBF اللزجة أكثر تعقيداً من الناحية الحسابية
2. تفاصيل التنفيذ: تركز الورقة بشكل أساسي على النتائج النظرية، وتحتاج الطرق الحسابية الفعلية إلى مزيد من البحث
3. التحقق من التطبيق: نقص التحقق من التطبيق على الأنظمة الفعلية الكبيرة

الاتجاهات المستقبلية

1. الطرق الحسابية: تطوير خوارزميات فعالة للتحقق والبناء لدوال CBF اللزجة
2. توسيع التطبيقات: التطبيقات المحددة في مجالات الروبوتات والقيادة الذاتية وغيرها
3. الأنظمة متعددة الوكلاء: التوسع إلى التحكم الآمن في الأنظمة متعددة الوكلاء
4. الأنظمة العشوائية: النظر في حالة الأنظمة الديناميكية العشوائية

التقييم المتعمق

المزايا

1. العمق النظري: بناء ارتباطات نظرية عميقة بين إطارين مهمين
2. الصرامة الرياضية: إثباتات كاملة ونتائج نظرية ذات أهمية كبيرة
3. الابتكار المفاهيمي: مفهوم دالة CBF اللزجة له أصالة وقيمة عملية
4. النظامية: توفير نظام نظري كامل وتحليل شامل للخصائص

أوجه القصور

1. نقص التحقق التجريبي: الورقة عمل نظرية بشكل أساسي، تفتقد التجارب الرقمية والتطبيقات العملية
2. الطرق الحسابية: لم توفر خوارزميات حسابية محددة أو طرق تنفيذ
3. تحليل التعقيد: نقص تحليل التعقيد الحسابي للطريقة

تقييم التأثير

1. القيمة الأكاديمية: مساهمة نظرية مهمة لنظرية التحكم الآمن
2. الإمكانات العملية: توسيع نطاق تطبيق CBF، بقيمة عملية مهمة
3. الأبحاث اللاحقة: وضع أساس نظري لأبحاث لاحقة في المجالات ذات الصلة

السيناريوهات القابلة للتطبيق

1. القيود الهندسية المعقدة: مشاكل التحكم بقيود أمان غير قابلة للاشتقاق
2. الأنظمة متعددة الأنماط: الأنظمة الهجينة ذات الديناميكا المتحولة
3. التحكم القوي: الأنظمة الحرجة للسلامة التي تحتاج إلى التعامل مع عدم اليقين
4. تخطيط المسار: مشاكل الملاحة والتفادي للروبوتات

المراجع

تستشهد الورقة بالأدبيات المهمة في نظرية التحكم الآمن، بما في ذلك:

• الأعمال الأساسية لنظرية CBF (Ames وآخرون)
• نظرية قابلية الوصول هاملتون-جاكوبي (Mitchell, Bayen, Tomlin)
• نظرية الحل اللزج (Bardi, Capuzzo-Dolcetta)
• الأعمال الأصلية لدالة قيمة حاجز التحكم (Choi وآخرون)

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