Encirclement Guaranteed Finite-Time Capture against Unknown Evader Strategies

यहाँ शोध पत्र "Encirclement Guaranteed Finite-Time Capture against Unknown Evader Strategies" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र एक दो-आयामी, असीमित समतल वातावरण ($\mathbb{R}^2$) में पीछा करने और बचने (pursuit-evasion) की समस्या को संबोधित करता है, जिसमें शामिल हैं:

• एजेंट: $n$ पीछा करने वालों (pursuers) की एक टीम ($n \geq 3$) और एक अकेला भागने वाला (evader)।
• गतिशीलता (Dynamics): पीछा करने वाले और भागने वाला दोनों ही निरंतर अधिकतम गति ($v_i$ पीछा करने वालों के लिए, $\mu_m$ भागने वाले के लिए) के साथ चलते हैं। पीछा करने वाले अपने हेडिंग कोणों (heading angles) को नियंत्रित करते हैं, जबकि भागने वाला अपनी गति और हेडिंग दोनों को नियंत्रित करता है।
• बाधाएं और धारणाएं:
  • भागने वाले की विशिष्ट रणनीति (किसी भी क्षण की गति और हेडिंग) पीछा करने वालों को ज्ञात नहीं है, हालांकि इसकी अधिकतम गति $\mu_m$ ज्ञात है।
  • पीछा करने वालों को इस तरह से शुरू किया गया है कि भागने वाला पहले से ही उनके उत्तल आवरण (convex hull) के भीतर है ($e(0) \in H(0)$)।
  • माना जाता है कि पीछा करने वाले गैर-अनावश्यक (non-redundant) हैं (सभी उत्तल आवरण में योगदान देते हैं)।
• उद्देश्य: पीछा करने वालों को दो उद्देश्यों को एक साथ प्राप्त करना होगा:
  1. घेराबंदी (Encirclement): पीछा करने वालों की स्थितियों के उत्तल आवरण (convex hull) के भीतर भागने वाले को हर समय सख्ती से बनाए रखना ($e(t) \in H(t)$)।
  2. परिमित-समय कैप्चर (Finite-Time Capture): यह गारंटी देना कि कम से कम एक पीछा करने वाला एक परिमित समय $t_c$ के भीतर भागने वाले से दूरी $r_c$ (कैप्चर त्रिज्या) तक पहुँच जाए, चाहे भागने वाले की रणनीति कुछ भी हो।

2. कार्यप्रणाली (Methodology)

लेखक ज्यामितीय त्रिकोणीकरण (geometric triangulation) और लियापुनोव स्थिरता विश्लेषण (Lyapunov stability analysis) पर आधारित एक विकेंद्रीकृत नियंत्रण रणनीति (decentralized control strategy) का प्रस्ताव करते हैं।

A. क्षेत्र-आधारित घेराबंदी की स्थिति (Area-Based Encirclement Condition)

घेराबंदी के तर्क का मूल भाग पीछा करने वालों और भागने वाले द्वारा बनाए गए उत्तल आवरण के त्रिकोणीकरण पर निर्भर करता है।

• त्रिकोणीकरण (Triangulation): उत्तल आवरण को $n$ त्रिभुजों में विभाजित किया गया है, जिनमें से प्रत्येक एक भागने वाले ($e$) और दो क्रमिक पीछा करने वालों ($p_j, p_k$) द्वारा बनाया गया है।
• चिह्नित क्षेत्रफल (Signed Area - $A_{jk}$): त्रिभुज $\triangle ep_jp_k$ का क्षेत्रफल एक विशिष्ट चिह्न परंपरा (counter-clockwise क्रम) के साथ परिभाषित किया गया है।
  • $A_{jk} > 0$: भागने वाला हुल (hull) के अंदर है।
  • $A_{jk} = 0$: भागने वाला किनारे $p_jp_k$ पर है (सक्रिय किनारा/active edge)।
  • $A_{jk} < 0$: भागने वाला किनारे से बाहर निकल गया है।
• घेराबंदी की गारंटी: भागने से रोकने के लिए, जब भागने वाला एक सक्रिय किनारे पर हो ($A_{jk}=0$), तो क्षेत्रफल का समय व्युत्पन्न (time derivative) गैर-ऋणात्मक होना चाहिए ($\dot{A}_{jk} \geq 0$)।
• सक्रिय किनारा रणनीति (Active Edge Strategy): जब कोई किनारा सक्रिय होता है, तो संबंधित दो पीछा करने वाले मानक पीछा करने के बजाय एक विशिष्ट युक्ति (maneuver) अपनाते हैं। वे इस तरह से चलते हैं कि उनके वेग वेक्टर (velocity vectors) भागने वाले की दिशा के सापेक्ष विशिष्ट कोण ($\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)]$ पर चलते हैं। यह एक विकेंद्रीकृत निर्णय है जिसके लिए केवल स्थानीय स्थिति के ज्ञान की आवश्यकता होती है।

B. परिमित-समय कैप्चर रणनीति (Finite-Time Capture Strategy)

एक बार घेराबंदी सुनिश्चित हो जाने के बाद, लेखक यह सुनिश्चित करने के लिए शर्तें निकालते हैं कि पीछा करने वालों और भागने वाले के बीच की दूरी एक परिमित समय में शून्य हो जाए।

• धारणा: पीछा करने वाले भागने वाले से स्पष्ट रूप से तेज़ हैं ($v_i = 1 > \mu_m$)।
• लियापुनोव फलन (Lyapunov Function): लेखक $V = \sum_{i=1}^n \|p_i - e\|$, यानी सभी पीछा करने वालों से भागने वाले की दूरियों का योग परिभाषित करते हैं।
• दो-चरणीय नियंत्रण नियम (Two-Phase Control Law):
  1. आंतरिक चरण (Interior Phase): जब भागने वाला हुल के भीतर होता है, तो सभी पीछा करने वाले शुद्ध पीछा (Pure Pursuit) का उपयोग करते हैं (सीधे भागने वाले की ओर हेडिंग)।
  2. किनारा चरण (Edge Phase): जब भागने वाला एक किनारे को छूता है, तो सक्रिय पीछा करने वाले विशिष्ट "घेराबंदी रणनीति" (कोण $\phi$ पर बाहर की ओर बढ़ना) पर स्विच करते हैं, जबकि निष्क्रिय पीछा करने वाले शुद्ध पीछा जारी रखते हैं।
• अभिसरण प्रमाण (Convergence Proof): $\dot{V}$ का विश्लेषण करके, लेखक दिखाते हैं कि लियापुनोव फलन एक स्थिर दर से घटता है जो $-n(1-\mu_m)$ द्वारा सीमित है। यह कैप्चर त्रिज्या $r_c$ तक परिमित-समय अभिसरण सुनिश्चित करता है।
• ऊपरी सीमा (Upper Bound): कैप्चर समय $t_c$ के लिए एक स्पष्ट विश्लेषणात्मक ऊपरी सीमा निकाली गई है:
  $$t_c \leq \frac{V_0 - n r_c}{n(1 - \mu_m)}$$
  जहाँ $V_0$ दूरियों का प्रारंभिक योग है।

3. मुख्य योगदान (Key Contributions)

1. एकीकृत ढांचा (Unified Framework): यह शोध पत्र "घेराबंदी" (लक्ष्य को भीतर रखना) और "कैप्चर" (दूरी को शून्य तक कम करना) के बीच के अंतर को पाटता है, और दोनों के लिए एक साथ गारंटी प्रदान करता है।
2. अज्ञात रणनीति के प्रति मजबूती (Unknown Strategy Robustness): गेम-थ्योरेटिक दृष्टिकोणों के विपरीत, जिन्हें प्रतिद्वंद्वी के उद्देश्य के ज्ञान की आवश्यकता होती है, यह रणनीति किसी भी भागने वाले की रणनीति (सबसे खराब स्थिति, यादृच्छिक या अनुकूलित नीतियों सहित) के विरुद्ध काम करती है, बिना भागने वाले की अगली चाल की भविष्यवाणी किए।
3. विकेंद्रीकृत कार्यान्वयन (Decentralized Implementation): नियंत्रण नियम विकेंद्रीकृत हैं। सक्रिय पीछा करने वालों को केवल भागने वाले और सक्रिय किनारे पर अपने निकटतम पड़ोसी की स्थिति जानने की आवश्यकता होती है; इसके लिए किसी वैश्विक समन्वय या केंद्रीकृत सर्वर की आवश्यकता नहीं है।
4. स्पष्ट विश्लेषणात्मक सीमाएँ (Explicit Analytic Bounds): शोध पत्र कैप्चर समय के लिए एक कठोर, बंद-रूप (closed-form) ऊपरी सीमा प्रदान करता है, जो अक्सर अनुभवजन्य या सिमुलेशन-आधारित दृष्टिकोणों में गायब रहता है।
5. ज्यामितीय अंतर्दृष्टि (Geometric Insight): घेराबंदी के लिए लियापुनोव-जैसे मीट्रिक के रूप में हस्ताक्षरित त्रिभुज क्षेत्रों (signed triangle areas) का उपयोग घेराबंदी समस्याओं के लिए एक नया ज्यामितीय दृष्टिकोण प्रदान करता है।

4. संख्यात्मक परिणाम (Numerical Results)

लेखकों ने 3 पीछा करने वालों और 1 भागने वाले ($\mu_m = 0.7$ m/s, $v_i = 1$ m/s, $r_c = 0.3$ m) के साथ MATLAB सिमुलेशन का उपयोग करके रणनीति को सत्यापित किया।

• परीक्षण किए गए भागने वाले की नीतियां (Tested Evader Policies):
  • लालची (Greedy): निकटतम पीछा करने वाले से दूर भागता है।
  • स्विचिंग (Switching): निकटतम किनारे और आंतरिक भाग के बीच बारी-बारी से चलता है।
  • यादृच्छिक (Random): अनिश्चित, मानव जैसा अप्रत्याशित व्यवहार।
  • स्थिर (Stationary): हिलता नहीं है।
  • निकटतम लिंक (Closest Link): निकटतम किनारे की ओर बढ़ता है और वहीं रहता है।
• प्रदर्शन (Performance):
  • प्रस्तावित रणनीति ने सभी परिदृश्यों में घेराबंदी बनाए रखी और कैप्चर हासिल किया।
  • कैप्चर समय: वास्तविक कैप्चर समय सैद्धांतिक ऊपरी सीमाओं से काफी कम था (जैसे, ~1.2s वास्तविक बनाम 3.1s सीमा)।
  • स्टेट-ऑफ-द-आर्ट के साथ तुलना:
    • इसे एन्सर्िकलमेंट गारंटीड सेक्टर सेट (EGSS) आधारित रोबस्ट MPC दृष्टिकोण (पूर्व कार्य [12] से) के विरुद्ध परखा गया।
    • परिणाम: प्रस्तावित विधि ने भागने वाले को ~1.15 सेकंड में कैप्चर किया, जबकि MPC दृष्टिकोण ने ~42 सेकंड का समय लिया।
    • कारण: MPC दृष्टिकोण कठोर सेक्टर बाधाओं से ग्रस्त था, जिसने किनारे चरणों के दौरान पीछा करने वालों की सीधे भागने वाले की ओर बढ़ने की क्षमता को सीमित कर दिया, जबकि प्रस्तावित ज्यामितीय रणनीति घेराबंदी बनाए रखते हुए अधिक प्रत्यक्ष अभिसरण की अनुमति देती है।

5. महत्व (Significance)

यह कार्य कई कारणों से महत्वपूर्ण है:

• सैद्धांतिक कठोरता: यह अज्ञात भागने वाले की रणनीतियों के विरुद्ध स्पष्ट समय सीमा के साथ घेराबंदी और परिमित-समय कैप्चर दोनों की एक साथ गारंटी प्रदान करने वाला पहला कार्य है।
• व्यावहारिक प्रयोज्यता: इसका विकेंद्रीकृत स्वरूप और भागने वाले की स्थिति की भविष्यवाणी करने की आवश्यकता न होना, इसे ड्रोन झुंड (drone swarms), ग्राउंड रोबोट निगरानी और सुरक्षा घेराबंदी जैसे वास्तविक दुनिया के अनुप्रयोगों के लिए अत्यधिक उपयुक्त बनाता है जहाँ संचार बैंडविड्थ सीमित है और विरोधी अप्रत्याशित है।
• दक्षता: रणनीति कम्प्यूटेशनल रूप से बहुत हल्की है (सरल त्रिकोणमितीय गणनाएँ) और जटिल अनुकूलन-आधारित विधियों जैसे MPC की तुलना में काफी तेज़ है, जैसा कि कैप्चर समय में क्रम-परिमाण (order-of-magnitude) सुधार से सिद्ध होता है।
• भविष्य की दिशाएँ: यह शोध पत्र 3D वातावरण, कई भागने वालों और गतिशील बाधाओं वाले परिदृश्यों में इन ज्यामितीय और लियापुनोव-आधारित तकनीकों को विस्तारित करने के मार्ग खोलता है।