Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance

तकनीकी सारांश: अंतरिक्ष यान टकराव बचाव के लिए हैमिल्टन-जैकबी पहुँच योग्यता (Hamilton–Jacobi Reachability)

समस्या विवरण
स्पेसएक्स के स्टारलिंक जैसे लो-अर्थ ऑर्बिट (LEO) तारामंडल का तीव्र विस्तार, मौजूदा अंतरिक्ष यातायात प्रबंधन (STM) संरचनाओं के लिए चुनौती पेश कर रहा है। पारंपरिक ग्राउंड-आधारित संघर्ष निवारण और रणनीतिक युद्धाभ्यास योजना भविष्य के तारामंडलों (संभावित रूप से 42,000 अंतरिक्ष यान) के पैमाने के लिए अपर्याप्त है। यह शोध पत्र एक नियंत्रित उपग्रह और उसी गोलाकार कक्षा के भीतर एक असहयोगी या द्वितीयक उपग्रह के बीच टकराव बचाव को संभालने के लिए स्वचालित, गणितीय रूप से सुदृढ़ सुरक्षा परतों की आवश्यकता को संबोधित करता है। मुख्य चुनौती यह निर्धारित करना है कि टकराव से बचने के लिए कब बचाव युद्धाभ्यास (evasive maneuvers) शुरू किया जाना चाहिए, ताकि असहयोगी उपग्रह के अज्ञात इरादों और सीमित विक्षोभों (disturbances) के बावजूद सुरक्षा सुनिश्चित की जा सके।

कार्यप्रणाली
लेखक हैमिल्टन-जैकबी (HJ) पहुँच योग्यता विश्लेषण पर आधारित एक औपचारिक ढांचे का प्रस्ताव करते हैं, जिसे एक ज़ीरो-सम डिफरेंशियल गेम (zero-sum differential game) के रूप में तैयार किया गया है।

1. गतिशीलता और मॉडलिंग (Dynamics and Modeling):

   • सापेक्ष गति को रेडियल-टैन्जेंशियल-नॉर्मल (RTN) फ्रेम में प्लेनर हिल-क्लोहेसी-विल्टशायर (HCW) डायनेमिक्स का उपयोग करके मॉडल किया गया है, जो कक्षीय गति का एक स्थानीय रैखिक सन्निकटन (locally linear approximation) प्रदान करता है।
   • सिस्टम स्टेट $X = [x, y, \dot{x}, \dot{y}]^\top$ टैन्जेंशियल और रेडियल स्थितियों तथा वेगों का प्रतिनिधित्व करता है।
   • प्लेयर 1 (नियंत्रित उपग्रह): टकराव से बचने के लिए सीमित नियंत्रण इनपुट (त्वरण $u$) लागू करता है।
   • प्लेयर 2 (असहयोगी उपग्रह): इसे एक सीमित प्रतिकूल विक्षोभ (adversarial disturbance) $d$ के रूप में मॉडल किया गया है, जिसका इरादा अज्ञात है, जो सबसे खराब स्थिति वाले सापेक्ष त्वरण का प्रतिनिधित्व करता है।

2. हाइब्रिड सिस्टम आर्किटेक्चर:
   निर्णय लेने की प्रक्रिया को तीन असतत मोड (discrete modes) वाले एक हाइब्रिड ऑटोमेटन के रूप में मॉडल किया गया है:

   • $q_{nom}$: नाममात्र (Nominal) स्टेशन-कीपिंग या कक्षा में बने रहना।
   • $q_{eva}$: सक्रिय टकराव-बचाव युद्धाभ्यास का निष्पादन।
   • $q_{ret}$: प्रक्षेपवक्र रिकवरी (trajectory recovery) चरण।
     इन मोडों के बीच संक्रमण (transitions) बैकवर्ड रीचेबल सेट (BRS) और सुरक्षित रिकवरी क्षेत्रों के सापेक्ष सिस्टम की स्थिति के आधार पर "गार्ड कंडीशंस" द्वारा नियंत्रित होते हैं।

3. पहुँच योग्यता (Reachability) फॉर्मूलेशन:

   • लक्ष्य सेट ($T$): फेडरल कम्युनिकेशंस कमीशन (FCC) के न्यूनतम अलगाव मानकों का उल्लंघन करने वाली असुरक्षित सापेक्ष कॉन्फ़िगरेशन के सेट के रूप में परिभाषित किया गया है (एक भौतिक टकराव क्षेत्र)।
   • बैकवर्ड रीचेबल सेट (BRS): इसे हैमिल्टन-जैकबी-आइसैक (HJI) आंशिक अंतर समीकरण (PDE) के माध्यम से गणना किया जाता है। BRS उन सभी प्रारंभिक अवस्थाओं को दर्शाता है जहाँ से, प्लेयर 1 के इष्टतम नियंत्रण के बावजूद, टकराव अपरिहार्य है।
   • सुरक्षा गारंटी: BRS के बाहर की स्थितियाँ प्रमाणित रूप से टकराव-मुक्त प्रक्षेपवक्रों की अनुमति देती हैं। BRS की सीमा महत्वपूर्ण स्विचिंग सतह के रूप में कार्य करती है; यदि सिस्टम की स्थिति इस सीमा के करीब पहुँचती है, तो हाइब्रिड ऑटोमेटन रक्षात्मक मोड ($q_{eva}$) में संक्रमण को ट्रिगर करता है।

4. नियंत्रण रणनीतियाँ:

   • नाममात्र/रिकवरी: वांछित सापेक्ष स्थितियों और वेगों तक उपग्रह को ले जाने के लिए प्रोपोर्शनल-डेरिवेटिव (PD) नियंत्रण नियमों का उपयोग करता है।
   • बचाव युद्धाभ्यास (Evasive Maneuvers): RTN ज्यामिति के आधार पर चार विशिष्ट एस्केप मोड परिभाषित किए गए हैं:
     1. पॉजिटिव रेडियल थ्रस्ट (पीछे की ओर खिसकता है)।
     2. नेगेटिव रेडियल थ्रस्ट (आगे की ओर त्वरित करता है)।
     3. शुद्ध टैन्जेंशियल ब्रेकिंग।
     4. शुद्ध टैन्जेंशियल एक्सेलेरेशन।

प्रमुख योगदान

• औपचारिक सुरक्षा ढांचा: यह शोध पत्र अंतरिक्ष यान टकराव बचाव के लिए कठोर, वर्स्ट-केस सुरक्षा गारंटी प्रदान करने के लिए HJ पहुँच योग्यता को हाइब्रिड सुपरवाइजरी कंट्रोल लॉजिक के साथ एकीकृत करता है।
• प्रतिकूल मॉडलिंग (Adversarial Modeling): संभावabilistic स्क्रीनिंग विधियों के विपरीत, यह दृष्टिकोण असहयोगी उपग्रह को एक सीमित विक्षोभ के रूप में मानता है, जिससे दूसरे पक्ष के सबसे आक्रामक (सीमाओं के भीतर) युद्धाभ्यास के तहत भी सुरक्षा सुनिश्चित होती है।
• हाइब्रिड ऑटोमेटन डिज़ाइन: लेखक एक विशिष्ट स्विचिंग लॉजिक को परिभाषित करते हैं जो यह निर्धारित करता है कि नाममात्र संचालन को बचाव युद्धाभस के लिए कब छोड़ना है और स्टेशन-कीपिंग में कब वापस आना है, जो गणना किए गए रीचेबल सेट्स पर आधारित है।
• स्केलेबिलिटी विचार: यह ढांचा विकेंद्रीकृत आर्किटेक्चर को ध्यान में रखकर डिज़ाइन किया गया है, जो बड़े तारामंडलों के लिए व्यक्तिगत वाहन-स्तरीय संघर्ष निवारण के अनुकूल है।

परिणाम
लेखकों ने एक संशोधित लेवल सेट मेथड्स टूलबॉक्स का उपयोग करके संख्यात्मक सिमुलेशन के माध्यम से ढांचे को मान्य किया।

• सिमुलेशन पैरामीटर्स: सिमुलेशन ने 500 किमी LEO कक्षा को माना, नियंत्रित उपग्रह के लिए $\pm 0.1 \, \text{m/s}^2$ के सममित थ्रस्ट लिमिट, और असहयोगी उपग्रह के लिए $\pm 0.05 \, \text{m/s}^2$ के सीमित विक्षोभों को माना।
• सत्यापन: अध्ययन ने सफलतापूर्वक 2D और 3D कैप्चर सेट्स और बैकवर्ड रीचेबल ट्यूब्स की गणना की। परिणाम दर्शाते हैं कि हाइब्रिड ऑटोमेटन नाममात्र, रक्षात्मक और रिकवरी मोडों के बीच स्विचिंग सीमाओं को सही ढंग से पहचानता है।
• सुरक्षा सत्यापन: गणना किए गए सेट्स पुष्टि करते हैं कि BRS के बाहर की स्थितियाँ परिभाषित नियंत्रण नियमों और विक्षोभ सीमाओं के तहत टकराव-मुक्त प्रक्षेपवक्रों की अनुमति देती हैं।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह विशुद्ध रूप से संभाव्यता आधारित टकराव बचाव विधियों के मुकाबले एक गणितीय रूप से कठोर विकल्प प्रदान करता है। HJ पहुँच योग्यता का उपयोग करके, यह ढांचा स्पष्ट, वर्स्ट-केस सुरक्षा मार्जिन प्रदान करता है, जो भविष्य के बड़े पैमाने के उपग्रह तारामंडलों की स्थिरता के लिए महत्वपूर्ण है। लेखक इस बात पर जोर देते हैं कि उनका दृष्टिकोण "प्रमाणित सुरक्षित व्यवहारों" और "गणितीय रूप से सुदृढ़ पर्यवेक्षी निर्णयों" को सक्षम बनाता है।

शोध वर्तमान दायरे के संबंध में विनम्र बना हुआ है, जिसमें उल्लेख किया गया है कि:

• विश्लेषण प्लेनर (2D) HCW डायनेमिक्स तक सीमित है, जिसमें आउट-ऑफ-प्लेन मोशन, सेकुलर परम्यूटेशन्स (जैसे $J_2$), और नॉनलीन ऑर्बिटल प्रभावों को छोड़ दिया गया है।
• गणना किए गए रीचेबल सेट्स अपनाए गए रैखिक मॉडल के विशिष्ट औपचारिक गारंटी हैं।
• वर्तमान फॉर्मूलेशन रूढ़िवादी (conservative) है; यह मानता है कि सभी स्वीकार्य विक्षोभ वास्तविकताओं की संभावना है, जो असुरक्षित अवस्थाओं का अति-अनुमान (overapproximation) लगा सकता है।

लेखकों द्वारा पहचाने गए भविष्य के कार्यों में पूर्ण 3D सापेक्ष गति तक ढांचे का विस्तार करना, अधिक यथार्थवादी कक्षीय गड़बड़ियों को शामिल करना, और उच्च-आयामी रीचेबल सेट गणनाओं की कम्प्यूटेशनल जटिलता को संबोधित करने के लिए स्केलेबल अनुमान (जैसे डिकंपोजिशन या लर्नड वैल्यू फंक्शन्स) विकसित करना शामिल है।