A Leader-Follower Approach for The Attitude Synchronization of Multiple Rigid Body Systems on $SO(3)$

तकनीकी सारांश: SO(3) पर एकाधिक कठोर पिंड प्रणालियों के अभिवृत्ति तुल्यकालन (Attitude Synchronization) के लिए एक लीडर-फॉलोअर दृष्टिकोण

समस्या का निरूपण
यह शोध पत्र $SO(3)$पर विकसित होने वाली$N$ विषम (heterogeneous) कठोर पिंड प्रणालियों के लीडर-फॉलोअर अभिवृत्ति तुल्यकालन समस्या को संबोधित करता है। उद्देश्य एक विकेंद्रीकृत नियंत्रण टॉर्क $\tau_i$ को प्रत्येक एजेंट के लिए डिजाइन करना है ताकि सभी कठोर पिंड अपनी अभिवृत्तियों को एक स्थिर वांछित ओरिएंटेशन $R_0$ के साथ सिंक्रोनाइज़ कर सकें और उनकी कोणीय वेग शून्य की ओर अभिसरित (converge) हो सकें। इस समस्या की एक महत्वपूर्ण बाधा यह है कि वांछित अभिवृत्ति $R_0$ केवल एक एकल एजेंट (लीडर, इंडेक्स 1) को ज्ञात है, जबकि शेष एजेंटों (फॉलोअर्स) को केवल स्थानीय सूचना विनिमय का उपयोग करके तुल्यकालन प्राप्त करना होगा। संचार टोपोलॉजी को एक अनडिरेक्टेड (undirected), कनेक्टेड और असायक्लिक ग्राफ (एक ट्री) के रूप में मॉडल किया गया है। ये प्रणालियाँ विषम हैं, जिसका अर्थ है कि उनके पास विशिष्ट जड़त्व मैट्रिक्स (inertia matrices) $J_i$ हैं।

कार्यप्रणाली
प्रस्तावित समाधान एक वितरित नियंत्रण कानून (distributed control law) का उपयोग करता है जो अभिवृत्ति के रोटेशन मैट्रिक्स प्रतिनिधित्व पर सीधे कार्य करता है, जिससे उन पैरामीट्रिकरणों (parameterizations) से बचा जा सके जो सिंगुलैरिटी या गैर-विशिष्टता (non-uniqueness) से ग्रस्त होते हैं, जैसे कि यूलर कोण (Euler angles), मॉडिफाइड रॉड्रिग्स पैरामीटर्स (MRPs), या यूनिट क्वाटरनियन।

1. ग्राफ-थ्योरेटिक सेटअप: लेखक स्थिरता विश्लेषण को सुगम बनाने के लिए अनडिरेक्टेड ट्री ग्राफ के किनारों (edges) के लिए एक आभासी ओरिएंटेशन को परिभाषित करते हैं। किसी भी किनारे $k$ के लिए, जो एजेंट $i$ और $j$ को जोड़ता है, एक सापेक्ष अभिवृत्ति $\bar{R}_k = R_j^\top R_i$ को परिभाषित किया जाता है।
2. नियंत्रण नियम डिजाइन: प्रत्येक एजेंट $i$ के लिए नियंत्रण टॉर्क $\tau_i$ को स्थानीय सापेक्ष अभिवृत्ति त्रुटियों और कोणीय वेग डैम्पिंग का उपयोग करके निर्मित किया जाता है:
   $$\tau_i = -k_{\bar{R}_0}\psi(A_{1,0}R_0^\top R_1) - k_{\bar{R}}\sum_{j \in \mathcal{N}(i)}\psi(A_{i,j}R_j^\top R_i) - k_\omega \omega_i$$
   यहाँ, $\psi(\cdot)$ ली एलब्रा (Lie algebra) पर प्रोजेक्शन से प्राप्त $so(3)$से$\mathbb{R}^3$का एक मानचित्र है,$A_{i,j}$ विशिष्ट आइगेनवैल्यू वाले धनात्मक निश्चित (positive definite) मैट्रिक्स हैं, और $k$ धनात्मक गेन्स (gains) हैं। $R_0$ वाला पद केवल लीडर (एजेंट 1) के लिए सक्रिय है।
3. स्थिरता विश्लेषण:
   • लायापुनोव फलन (Lyapunov Function): एक पोटेंशियल फंक्शन $V$ का निर्माण किया गया है जो अभिवृत्ति त्रुटि मैट्रिसेस के ट्रेस और प्रणाली की गतिज ऊर्जा (kinetic energy) को जोड़ता है।
   • लासाल का इनवेरिएंस सिद्धांत (LaSalle's Invariance Principle): यह दिखाया गया है कि $V$ का समय अवकलज (time derivative) गैर-धनात्मक है ($\dot{V} = -k_\omega \|\omega\|^2 \leq 0$)। यह स्थापित करता है कि प्रक्षेपवक्र (trajectories) उस सबसे बड़े इनवेरिएंट सेट की ओर अभिसरित होते हैं जहाँ $\dot{V}=0$, जिसका अर्थ है $\omega = 0$।
   • इक्विलिब्रियम लक्षण वर्णन: विश्लेषण दो इक्विलिब्रियम सेटों की पहचान करता है: एक वांछित सेट $\Xi_d$ जहाँ सभी अभिवृत्तियाँ $R_0$ के साथ संरेखित होती हैं, और एक अवांछित सेट $\Xi_u$ जिसमें सैडल पॉइंट्स (saddle points) शामिल हैं जहाँ अभिवृत्तियाँ विशिष्ट अक्षों के चारों ओर $\pi$ के रोटेशन के साथ $R_0$ के साथ संरेखित होती हैं।
   • लगभग वैश्विक स्थिरता (Almost Global Stability): चेटाएव (Chetaev) के प्रमेय का उपयोग करते हुए, अवांछित इक्विलिब्रिया को अस्थिर सिद्ध किया गया है। इसके अलावा, इन अस्थिर बिंदुओं के आसपास सिस्टम को रैखिक (linearize) करके और यह प्रदर्शित करके कि जैकोबियन मैट्रिक्स में काल्पनिक अक्ष (imaginary axis) पर कोई आइगेनवैल्यू नहीं है, लेखक 'स्टेबल मैनिफोल्ड थ्योरम' का आह्वान करते हैं ताकि यह सिद्ध किया जा सके कि अवांछित इक्विलिब्रिया का स्टेबल मैनिफोल्ड शून्य लेबेग माप (zero Lebesgue measure) रखता है। फलस्वरूप, वांछित इक्विलिब्रियम लगभग वैश्विक रूप से स्पर्शोन्मुख रूप से स्थिर (almost globally asymptotically stable) है।

मुख्य योगदान

• प्रत्यक्ष SO(3) सूत्रीकरण: यह शोध पत्र एक ऐसी नियंत्रण रणनीति प्रस्तावित करता है जो स्थानीय पैरामीट्रिकरणों (जैसे MRPs की डोमेन ऑफ अट्रैक्शन को सीमित करना) या वैश्विक पैरामीट्रिकरणों (जैसे यूनिट क्वाटरनियन की अस्पष्टता) से बचते हुए सीधे रोटेशन मैट्रिसेस के साथ काम करती है।
• विषम प्रणालियाँ (Heterogeneous Systems): नियंत्रण कानून को विशिष्ट जड़त्व मैट्रिक्स वाले विषम कठोर पिंडों के लिए डिज़ाइन किया गया है, जो एक ऐसी स्थिति है जिसे पिछले कार्यों में अक्सर शिथिल (relaxed) रखा जाता है।
• ट्री टोपोलॉजी: विधि विशेष रूप से अनडिरेक्टेड, कनेक्टेड, असायक्लिक ग्राफ (ट्री) के लिए तैयार की गई है, जो स्थिरता सिद्ध करने के लिए इंसिडेंस मैट्रिक्स (incidence matrix) की विशिष्ट संरचना का लाभ उठाती है।
• स्थानीय ज्ञान के साथ लीडर-फॉलोअर: यह दृष्टिकोण संदर्भ अभिवृत्ति के लिए वैश्विक ज्ञान या ऑब्जर्वर की आवश्यकता के बिना, जिसे केवल एक एकल एजेंट को ज्ञात है, उसके प्रति तुल्यकांक प्राप्त करने में सफल होता है।

परिणाम
सैद्धांतिक परिणामों को 7 विषम कठोर पिंडों के नेटवर्क वाले संख्यात्मक सिमुलेशन के माध्यम से सत्यापित किया गया है।

• अभिसरण (Convergence): सिमुलेशन परिणाम दर्शाते हैं कि पड़ोसी एजेंटों के बीच सापेक्ष अभिवृत्तियाँ पहचान मैट्रिक्स (identity matrix) की ओर अभिसरित होती हैं, और सभी एजेंटों और लीडर के बीच सापेक्ष अभिवृत्तियाँ पहचान मैट्रिक्स की ओर अभिसरित होती हैं।
• वेग डैम्पिंग (Velocity Damping): सभी कोणीय वेग शून्य की ओर अभिसरित होते हैं।
• प्रदर्शन: प्रणाली विषम जड़त्व मैट्रिक्स और विविध प्रारंभिक स्थितियों के बावजूद स्थिर वांछित अभिवृत्ति $R_0$ के साथ सफलतापूर्वक सिंक्रोनाइज़ होती है, जो लगभग वैश्विक स्पर्शोन्मुख स्थिरता गारंटी की पुष्टि करती है।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह $SO(3)$पर लीडर-फॉलोअर अभिवृत्ति तुल्यकांकन समस्या के लिए **लगभग वैश्विक स्पर्शोन्मुख स्थिरता गारंटी** के साथ एक कठोर समाधान प्रदान करता है। लेखक इस बात पर जोर देते हैं कि मौजूदा साहित्य अक्सर स्थानीय पैरामीट्रिकरणों (जो डोमेन ऑफ अट्रैक्शन को सीमित करते हैं) या यूनिट क्वाटरनियन (जो अस्पष्टता पैदा करते हैं) पर निर्भर करता है, या केवल स्थानीय अभिसरण परिणाम प्रदान करता है। इसके विपरीत, यह कार्य एक ऐसी नियंत्रण रणनीति प्रदान करता है जो$SO(3)$ के अंतर्निहित ज्यामिति का सम्मान करती है और लगभग सभी प्रारंभिक स्थितियों से अभिसरण सुनिश्चित करती है।

लेखक नोट करते हैं कि वर्तमान कार्य स्थिर वांछित अभिवृत्तियों और असायक्लिक (ट्री) संचार ग्राफ तक सीमित है। वे भविष्य के अनुसंधान के लिए चुनौतीपूर्ण खुले प्रश्नों के रूप में समय-परिवर्तनीय वांछित अभिवृत्तियों, संचार विलंब (communication delays), और अधिक सामान्य ग्राफ टोपोलॉजी के विस्तार की पहचान करते हैं।