Encirclement Guaranteed Finite-Time Capture against Unknown Evader Strategies

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

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

تتناول الورقة مشكلة المطاردة والهروب في بيئة مستوية غير محدودة ثنائية الأبعاد ($\mathbb{R}^2$) تتضمن:

• الوكلاء: فريق من $n$ من المطاردين ($n \geq 3$) ومراوغ واحد.
• الديناميكيات: يتحرك كل من المطاردين والمراوغ بسرعات قصوى ثابتة ($v_i$ للمطاردين، $\mu_m$ للمراوغ). يتحكم المطاردون في زوايا اتجاههم، بينما يتحكم المراوغ في كل من سرعته واتجاهه.
• القيود والافتراضات:
  • استراتيجية المراوغ المحددة (السرعة والاتجاه في أي لحظة) مجهولة بالنسبة للمطاردين، رغم أن سرعته القصوى $\mu_m$ معلومة.
  • تم ضبط وضعية المطاردين بحيث يكون المراوغ بالفعل داخل غلافهم المحدب ($e(0) \in H(0)$).
  • يُفترض أن المطاردين غير فائضين عن الحاجة (جميعهم يساهمون في الغلاف المحدب).
• الأهداف: يجب على المطاردين تحقيق هدفين متزامنين:
  1. الإحاطة: الحفاظ على وجود المراوغ داخل الغلاف المحدب لمواقع المطاردين في جميع الأوقات ($e(t) \in H(t)$).
  2. الالتقاط في زمن محدد: ضمان وصول مطارد واحد على الأقل إلى مسافة $r_c$ (نصف قطر الالتقاط) من المراوغ خلال زمن محدد $t_c$، بغض النظر عن استراتيجية المراوغ.

2. المنهجية

يقترح المؤلفون استراتيجية تحكم لامركزية تعتمد على التثليث الهندسي وتحليل استقرار ليابونوف.

أ. شرط الإحاطة القائم على المساحة

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

• التثليث: يتم تقسيم الغلاف المحدب إلى $n$ من المثلثات، حيث يتكون كل مثلث من المراوغ ($e$) واثنين من المطاردين المتتاليين ($p_j, p_k$).
• المساحة الموقعة ($A_{jk}$): تُعرف مساحة المثلث $\triangle ep_jp_k$ باتفاقية إشارة محددة (ترتيب عكس عقارب الساعة).
  • $A_{jk} > 0$: المراوغ داخل الغلاف.
  • $A_{jk} = 0$: المراوغ على الحافة $p_jp_k$ (الحافة النشطة).
  • $A_{jk} < 0$: المراوغ قد هرب عبر الحافة.
• ضمان الإحاطة: لمنع الهروب، يجب أن يكون المشتق الزمني للمساحة غير سالب ($\dot{A}_{jk} \geq 0$) كلما كانت $A_{jk} = 0$.
• استراتيجية الحافة النشطة: عندما تصبح حافة ما نشطة، ينتقل المطاردان المقابلان من المطاردة القياسية إلى مناورة محددة. يتحركان بحيث تشكل نواقل السرعة الخاصة بهما زوايا محددة ($\phi_j, \phi_k$) بالنسبة لاتجاه المراوغ.
  • الشرط: تُضمن الإحاطة إذا كان $v_j d_{ek} \sin \phi_j + v_k d_{ej} \sin \phi_k \geq d_{jk} \mu_m$.
  • الاستراتيجية المبسطة: إذا كان لجميع المطاردين سرعة وحدة ($v_i=1$) و $\mu_m \leq 1$، فإن المطاردين يتحركون ببساطة نحو الخارج من الحافة عند زوايا $\phi \in [\sin^{-1}(\mu_m), \pi - \sin^{-1}(\mu_m)]$. هذا قرار لامركزي يتطلب فقط معرفة الموقع المحلي.

ب. استراتيجية الالتقاط في زمن محدد

بمجرد ضمان الإحاطة، يستنتج المؤلفون شروطاً لضمان تقلص المسافة بين المطاردين والمراوغ إلى الصفر في زمن محدد.

• الافتراض: المطاردون أسرع بشكل صارخ من المراوغ ($v_i = 1 > \mu_m$).
• دالة ليابونوف: يعرّف المؤلفون $V = \sum_{i=1}^n \|p_i - e\|$، وهي مجموع المسافات من جميع المطاردين إلى المراوغ.
• قانون التحكم ذو المرحلتين:
  1. مرحلة الداخل: عندما يكون المراوغ داخل الغلاف تماماً، يستخدم جميع المطاردين المطاردة النقية (الاتجاه مباشرة نحو المراوغ).
  2. مرحلة الحافة: عندما يلمس المراوغ حافة ما، ينتقل المطاردان النشطان إلى "استراتيجية الإحاطة" المحددة (التحرك نحو الخارج عند الزاوية $\phi$)، بينما يستمر المطاردون غير النشطين في المطاردة النقية.
• إثبات التقارب: من خلال تحليل $\dot{V}$، يوضح المؤلفون أن دالة ليابونوف تتناقص بمعدل ثابت محصور بـ $-n(1-\mu_m)$. وهذا يضمن التقارب في زمن محدد إلى نصف قطر الالتقاط $r_c$.
• الحد الأعلى: يتم اشتقاق حد تحليلي صريح للحد الأعلى لزمن الالتقاط $t_c$:
  $$t_c \leq \frac{V_0 - n r_c}{n(1 - \mu_m)}$$
  حيث $V_0$ هو مجموع المسافات الأولي.

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

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

4. النتائج العددية

تحقق المؤلفون من صحة الاستراتيجية باستخدام محاكاة MATLAB مع 3 مطاردين ومراوغ واحد ($\mu_m = 0.7$ م/ث، $v_i = 1$ م/ث، $r_c = 0.3$ م).

• سياسات المراوغ المختبرة:
  • الجشع (Greedy): يتحرك بعيداً عن أقرب مطارد.
  • التبديل (Switching): يتنقل بين التحرك نحو أقرب حافة وبين الداخل.
  • العشوائي (Random): حركة غير منتظمة تشبه حركة البشر.
  • الثابت (Stationary): لا يتحرك.
  • الرابط الأقرب (Closest Link): يتحرك ويبقى على أقرب حافة.
• الأداء:
  • نجحت الاستراتيجية المقترحة في الحفاظ على الإحاطة وتحقيق الالتقاط في جميع السيناريوهات.
  • أزمنة الالتقاط: كانت أزمنة الالتقاط الفعلية أقل بكثير من الحدود العليا النظرية (على سبيل المثال، ~1.2 ثانية فعلي مقابل 3.1 ثانية كحد أعلى).
  • المقارنة مع أحدث ما توصل إليه العلم:
    • تمت المقارنة مع نهج التحكم التنبئي بالنماذج (MPC) القوي القائم على مجموعة القطاع المضمونة الإحاطة (EGSS) (من العمل السابق [12]).
    • النتيجة: نجحت الطريقة المقترحة في التقاط المراوغ في ~1.15 ثانية، بينما استغرق نهج MPC حوالي 42 ثانية.
    • السبب: عانى نهج MPC من قيود قطاعية صارمة حدت من قدرة المطاردين على التحرك مباشرة نحو المراوغ أثناء مراحل الحافة، بينما تسمح الاستراتيجية الهندسية المقترحة بتقارب أكثر مباشرة مع الحفاظ على الاحتواء.

5. الأهمية

هذا العمل مهم لعدة أسباب:

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