⚡ electrical engineering

Steering with Contingencies: Combinatorial Stabilization and Reach-Avoid Filters

تقدم هذه الورقة إطار تحكم قابلاً للتطبيق يفرض متطلبات الاستقرار التوافقي والوصول-التجنب من أجل التوجيه نحو هدف رئيسي مع ضمان القدرة على التحول إلى $r$ على الأقل من أصل $p$ من المواقع البديلة، وذلك باستخدام مرشحات قائمة على الأمثلة مع $p+1$ فقط من القيود لمنع الانفجار التوافقي وتمكين التبديل الآمن في الوقت الفعلي.

المؤلفون الأصليون: Yana Lishkova, Pio Ong, Sander Tonkens, Sylvia Herbert, Aaron D. Ames

نُشر 2026-04-07

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Yana Lishkova, Pio Ong, Sander Tonkens, Sylvia Herbert, Aaron D. Ames

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

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

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

إليك تفصيل لحلها باستخدام تشبيهات بسيطة:

1. المشكلة: "الانفجار التوافقي" (Combinatorial Explosion)

تخيل أن لديك 10 أماكن هبوط محتملة لطائرة بدون طيار ( $p=10$ )، وتريد التأكد من أنه بغض النظر عن مكان طيران الطائرة، يمكنها دائمًا الوصول إلى 3 منها على الأقل ( $r=3$ ).

إذا حاولت فحص كل مجموعة ممكنة من 3 أماكن من أصل 10، فسيتعين على الكمبيوتر فحص 120 سيناريو مختلفاً في وقت واحد. وإذا كان لديك 20 مكاناً، فسيصل عدد المجموعات إلى الآلاف. هذا ما يسمى بـ "الانفجار التوافقي". إنه يشبه محاولة حل لغز تتضاعف فيه قطع اللغز كل ثانية؛ سيتوقف الكمبيوتر عن العمل، وستتحطم الطائرة.

2. الحل: "المصفاة السحرية"

ابتكر المؤلفون "مصفاة" خاصة (مجموعة من القواعد التي يتبعها الكمبيوتر) تعمل مثل شرطي المرور. فبدلاً من فحص كل مجموعة من خطط الطوارئ، تستخدم المصفاة حيلة رياضية ذكية لفحص $p+1$ شيئاً فقط (في مثالنا، 11 شيئاً فقط).

فكر في الأمر كالتالي:

الطريقة القديمة: تسأل، "هل يمكنني الوصول إلى المجموعة 1؟ المجموعة 2؟ المجموعة 3؟ ... المجموعة 120؟" (بطيئة جداً!)
الطريقة الجديدة: تسأل، "هل أنا في منطقة حيث يمكنني الوصول إلى 3 أماكن على الأقل؟" (سريعة وسهلة!)

تضمن المصفاة بقاء الروبوت داخل "فقاعة آمنة" تضمن استمرار استيفاء هذا الشرط دائماً.

3. أداتان مختلفتان لمهمتين مختلفتين

أ. مصفاة "الاستقرار" (للطيران المستقر)

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

ب. مصفاة "القنبلة الموقوتة" (للموارد المحدودة)

التشبيه: تخيل أن بطاريتك تنفد. لديك 10 محطات شحن، لكن بطاريتك تحتضر. مع مرور الوقت، تتقلص "المنطقة القابلة للوصول" لكل محطة.
كيف تعمل: تستخدم هذه المصفاة ما يسمى "وصول هاميلتون-جاكوبي" (Hamilton-Jacobi Reachability). إنها تشبه الفقاعة التي تتقلص. تتحقق المصفاة باستمرار: "هل موقعي الحالي داخل الفقاعات المتتقلصة لثلاث محطات شحن على الأقل؟" إذا انخفض مستوى البطارية، تصبح الفقاعات أصغر. تقوم المصفاة بتوجيه الروبوت بحيث لا يعلق أبداً في مكان لا يمكنه فيه الوصول إلا إلى محطتين فقط. إنها تجبر الروبوت على البقاء في "المنطقة الآمنة" حيث لا تزال 3 خيارات متاحة.

4. لماذا يعد هذا أمراً مهماً؟

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

الملخص

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

إليك ملخص تقني مفصل لورقة البحث بعنوان: "التوجيه مع خطط الطوارئ: الاستقرار التوافقي ومرشحات الوصول-التجنب" (Steering with Contingencies: Combinatorial Stabilization and and Reach-Avoid Filters).

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

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

التحديات الرئيسية:

التعقيد التوافقي (Combinatorial Complexity): تتطلب الصيغ الساذجة فحص جميع التشكيلات الممكنة $\binom{p}{r}$ للأهداف، مما يؤدي إلى "انفجار توافقي" (Combinatorial Blow-up) يجعل الحسابات غير قابلة للتنفيذ.
القيود المنطقية: تفرض دوال الحاجز للتحكم (CBFs) القياسية منطق "و" (AND) (أي يجب تحقيق جميع القيود). بينما تتطلب هذه المشكلة منطق "على الأقل $r$ من أصل $p$ "، وهو منطق غير سلس ويصعب فرضه في التحسين في الوقت الفعلي.
الأهداف المتضاربة: يجب على النظام العمل في آن واحد على الاستقرار نحو نقطة اتزان محددة (أو الوصول إلى هدف ضمن أفق زمني معين) مع ضمان بقاء الحالة ضمن "منطقة الجذب الآمنة" (أو مجموعة الوصول-التجنب) لعدة أهداف بديلة.

2. المنهجية

يقترح المؤلفون إطارين متكاملين لحل هذه المشكلة، وكلاهما ينتج مرشحات برمجة تربيعية (QP) تحتوي فقط على $p+1$ من القيود، مما يتجنب الانفجار التوافقي.

أ. الاستقرار التوافقي (الأفق اللانهائي)

الأساس: يستخدم دوال ليابونوف للتحكم (CLFs) للاستقرار ودوال الحاجز التوافقية (CBFs) للسلامة.
الآلية:
1. دوال CLFs: لكل من الـ $p$ من نقاط الاتزان المرشحة، تُعرف دالة CLF محلية ( $V_j$ ) تحدد منطقة جذب (ROA) معتمدة.
2. بناء CBF: يتم تحويل هذه الـ CLFs إلى دوال حاجز ( $h_j = c_j - V_j$ ).
3. المنطق التوافقي: يتم تعريف "دالة محور" (Pivot Function) $\tilde{h}(x) = \text{max}^{(r)}\{h_j(x)\}$ ، والتي تمثل القيمة رقم $r$ من بين أكبر $p$ من الحواجز. الهدف هو إبقاء $\tilde{h}(x) \geq 0$ .
4. الاسترخاء (Relaxation): لضمان قابلية التنفيذ عندما يكون النظام بعيدًا عن الهدف المختار، يتم إدخال حد استرخاء يتضمن متغيرًا مساعدًا $\omega$ . يسم الله هذا بانتهاك القيود غير الحرجة مؤقتًا مع ضمان تحقيق $r$ من القيود على الأقل.
5. المرشح (Filter): يتم حل مسألة QP في كل خطوة زمنية لتقليل الانحراف عن المتحكم الاسمي مع الخضوع لـ:
  - قيد CLF واحد للهدف المختار.
  - $p$ من قيود CBF التوافقية لمجموعة الطوارئ.

ب. الوصول-التجنب التوافقي (الأفق المحدود)

الأساس: يستخدم تحليل وصول هاميلتون-جاكوبي (HJR)، وهو الأنسب لمشكلات الأفق المحدود ونفاد الموارد (مثل تقلص مناطق الجذب بسبب الوقود أو البطارية).
الآلية:
1. دوال القيمة: بدلاً من CLFs، تستخدم الطريقة دوال قيمة الوصول-التجنب ( $V_j(x, \tau)$ ) المستمدة من HJR، والتي تشفر القدرة على الوصول إلى هدف مع تجنب العوائق ضمن أفق زمني $\tau$ .
2. الآفاق الديناميكية: يأخذ الإطار في الاعتبار الآفاق الزمنية المتغيرة ( $\tau_1$ للهدف النشط، $\tau_2$ لأهداف الطوارئ) التي قد تتقلص بمرور الوقت.
3. المجموعة التوافقية: وبالمثل في حالة الاستقرار، يتم تعريف مجموعة توافقية حيث يجب أن تظل الحالة ضمن مجموعات الوصول-التجنب لـ $r$ من الأهداف على الأقل.
4. المرشح: يتم بناء مرشح يعتمد على QP لضمان وصول النظام إلى الهدف المختار مع الحفاظ على العضوية في مجموعة الوصول-التجنب التوافقية.

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

صياغة الطوارئ التوافقية: صاغت الورقة رسميًا "الاستقرار التوافقي" و"الاستهداف التوافقي"، مما يتطلب من النظام الحفاظ على إمكانية الوصول إلى $r$ من أصل $p$ من البدائل أثناء السعي نحو هدف أولي.
مرشحات QP قابلة للتنفيذ: اشتق المؤلفون مرشحات تفرض هذا المتطلب المنطقي المعقد باستخدام $p+1$ من القيود فقط (واحد للهدف النشط، و $p$ لمجموعة سلامة الطوارئ). وهذا يمنع التوسع الأسي المرتبط بالبرمجة الصحيحة المختلطة (MIP).
الاسترخاء من أجل قابلية التنفيذ: يضمن إدخال المتغيرات المساعدة ( $\omega$ ) وحدود الاسترخاء (باستخدام دوال ReLU و $\rho$ ) بقاء مسألة QP قابلة للتنفيذ حتى عندما يكون النظام خارج منطقة الجذب الصارمة للهدف المختار، بشرط أن يكون ضمن المجموعة التوافقية.
ضمانات الاستمرارية: تثبت الورقة أنه بموجب شروط الانتظام القياسية (شرط سلاتر)، فإن متحكم QP الناتج يكون مستمرًا، مما يضمن ديناميكيات الحلقة المغلقة جيدة التحديد ويمنع التذبذب (Chattering).
التبديل في الوقت الفعلي: يتيح الإطار التبديل الآمن والسريع بين الأهداف. إذا أصبح الهدف الأساسي غير آمن أو غير قابل للتنفيذ، يمكن للمتحكم التبديل فورًا إلى هدف طوارئ دون انتهاك ضمانات السلامة.

4. النتائج والمحاكاة

تم التحقق من صحة الإطار عبر مثالين متميزين:

المثال 1: نظام خطي (قائم على CLF):
- نظام خطي ثنائي الأبعاد مع 3 أهداف و3 عوائق.
- السيناريو: يتجه النظام نحو الهدف 1 ( $r=2$ ). عند $t=0.5s$ ، يتغير الهدف إلى الهدف 2. لاحقًا، تزداد قيمة $r$ لتصبح 3.
- النتيجة: انتهك المتحكم الاسمي (غير المفلتر) قيود العوائق. حافظ المرشح المقترح على المسار داخل مناطق الأمان لـ هدفين على الأقل (ولاحقًا 3)، مما سمح بالتبديل الآمن بين الأهداف دون تصادم.
المثال 2: هبوط طائرة (قائم على HJR):
- نموذج طائرة مبسط بخمس حالات يتنقل بين عوائق المباني للوصة إلى 6 مدارج (Runways).
- السيناريو: يجب على الطائرة الهبوط على مدرج محدد مع الحفاظ على إمكانية الوصول إلى $r$ من المدارج البديلة مع تقلص الأفق الزمني ( $\tau$ ).
- النتيجة:
  - مع $r=0$ ، اصطدم المتحكم الاسمي.
  - مع $r=2$ ، أجبر المرشح الطائرة على البقاء ضمن نطاق الوصول لمدرجين، مما أدى إلى مسار أكثر أمانًا وتحفظًا.
  - عندما أصبح الهدف الأساسي غير قابل للتنفيذ بسبب قصر الأفق الزمني، نجح المرشح في التبديل إلى مدرج طوارئ (الهدف 2) دون انتهاك السلامة.

5. الأهمية

يعد هذا العمل جسرًا بين نظرية الاستقرار (CLFs) ونظرية السلامة (CBFs/HJR) في سياق التخطيط المنطقي للطوارئ.

القابلية للتوسع: من خلال تقليل عدد القيود من التوسع الأسي ( $\binom{p}{r}$ ) إلى الخطي ( $p+1$ )، جعل هذا العمل التخطيط للطوارج في الوقت الفعلي أمرًا ممكنًا للأنظمة التي لديها العديد من البدائل المحتملة.
المتانة: يوفر ضمانًا رياضيًا بأن النظام لن "يحشر نفسه في زاوية"؛ فحتى لو فشلت الخطة الأساسية، يُضمن أن النظام لديه $r$ من خطط النسخ الاحتياطي المتاحة في جميع الأوقات.
القابلية للتطبيق: يجعل النهج المزدوج (CLF للأفق اللانهائي، HJR للأفق المحدود/قيود الموارد) الإطار قابلًا للتطبيق على مجموعة واسعة من المهام ذاتية التحكم، من أسراب الدرونز إلى هبوط المركبات الفضائية والقيادة الذاتية.

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