Robot Teams Sharing a Load: Compositional Decay Certificates

जब रोबोटों का एक समूह एक भारी वस्तु को उठाने के लिए मिलकर काम करता है, तो वे केवल स्वतंत्र मशीनों के संग्रह के रूप में कार्य नहीं करते हैं। इसके बजाय, वे एक एकल, मजबूती से जुड़े यांत्रिक तंत्र (mechanical system) का निर्माण करते हैं। वह वस्तु जिसे वे पकड़े हुए हैं, उन्हें आपस में जोड़ती है, और जिस जमीन पर वे खड़े हैं, वह उनके हिलने-डुलने के तरीके को प्रतिबंधित करती है। यदि एक रोबोट उस तरह से हिलने की कोशिश करता है जो दूसरों या भौतिकी के नियमों के विपरीत हो, तो पूरी टीम प्रतिरोध करती है। यह बलों का एक जटिल जाल बनाता है जहाँ मिशन की सुरक्षा और स्थिरता इस बात पर निर्भर करती है कि हर एक हिस्सा सामंजस्य के साथ काम करे। इंजीनियरों ने लंबे समय से जाना है कि यदि वे यह सिद्ध कर सकें कि सिस्टम स्थिर है, तो वे ऐसे नियंत्रक (controllers) डिजाइन कर सकते हैं जो रोबोट्स को सही रास्ते पर रखें। हालांकि, पूरे दल के लिए इस स्थिरता को सिद्ध करने के लिए आमतौर पर एक विशाल, केंद्रीकृत गणना की आवश्यकता होती थी जो पूरे समूह को एक विशाल, अविभाज्य मशीन के रूप में मानती थी। यह दृष्टिकोण गणनात्मक रूप से भारी है और इसमें रोबोट्स को जोड़ना या हटाना कठिन हो जाता है, या यह समझना मुश्किल होता है कि टीम का कौन सा हिस्सा सिस्टम को स्थिर रखने के लिए जिम्मेदार है।

फिनलैंड, दक्षिण कोरिया और संयुक्त राज्य अमेरिका के शोधकर्ताओं की एक टीम ने बिना पूरे सिस्टम को एक साथ हल किए, इन रोबोट टीमों की स्थिरता को सत्यापित करने का एक नया तरीका विकसित किया है। उनका कार्य, जो Automatica जर्नल में प्रस्तुत एक प्रीप्रिंट है, एक ऐसी विधि पेश करता है जहाँ प्रत्येक रोबोट केवल स्थानीय जानकारी का उपयोग करके टीम की स्थिरता में अपने योगदान को सिद्ध कर सकता है। शोधकर्ताओं ने पाया कि यदि रोबोट एक विशिष्ट वृक्ष-नुमा संरचना (tree-like structure) में व्यवस्थित हैं, तो वे प्रत्येक रोबोट अपना स्वयं का एक सरल परीक्षण कर सकता है, और यदि प्रत्येक रोबोट इसे पास कर लेता है, तो पूरी टीम किसी भी क्षय दर (decay rate) के लिए स्थिर रहने की गारंटी देती है जो केंद्रीकृत सीमा से कम हो। यह सोचने के पुराने तरीके से एक महत्वपूर्ण बदलाव है, जिसमें एक केंद्रीय कंप्यूटर को प्रत्येक जोड़ और पहिये के व्यवहार को एक साथ गणना करने की आवश्यकता होती थी। टीम ने दिखाया कि यह स्थानीय दृष्टिकोण कई सामान्य टीम आकृतियों के लिए काम करता है, जिससे वे ऐसे नियंत्रक डिजाइन कर सकते हैं जो पहले की तुलना में काफी कम ऊर्जा और डैम्पिंग (damping) का उपयोग करते हैं। हालांकि, उन्होंने नोट किया कि सटीक केंद्रीकृत दर प्राप्त करने के लिए एक विशिष्ट शर्त आवश्यक है: असेंबली को आसन्न कोशिकाओं (adjacent cells) द्वारा साझा किए गए प्रत्येक संयुक्त वेग (combined velocity) को साकार करने में सक्षम होना चाहिए; इसके बिना, स्थानीय परीक्षण अधिकतम दर प्राप्त नहीं कर पाएंगे।

इस खोज का मूल शोधकर्ताओं द्वारा स्थिरता की समस्या को तोड़ने के तरीके में निहित है। उन्होंने टीम को मॉड्यूल के एक संग्रह के रूप में माना, जहाँ प्रत्येक रोबोट एक मॉड्यूल है जिसके पास अपनी ऊर्जा का भंडारण और घर्षण तथा मोटर नियंत्रण के माध्यम से उस ऊर्जा को नष्ट करने की अपनी क्षमता है। शोधकर्ताओं ने दिखाया कि यदि एक रोबोट यह सिद्ध कर सकता है कि वह भार का एक विशिष्ट हिस्सा थामे हुए स्थिर है, और यदि टीम की संरचना इन स्थानीय प्रमाणों को बिना किसी अंतराल के जोड़ने की अनुमति देती है, तो पूरा संयोजन स्थिर है। उन्होंने सिद्ध किया कि यह "कंपोजिशनल" (compositional) दृष्टिकोण किसी भी ऐसी टीम आर्किटेक्चर के लिए काम करता है जो एक 'ज्वॉइन ट्री' (join tree) बनाता है, जो एक ऐसी संरचना है जहाँ रोबोटों के बीच के संबंध बंद लूप (closed loops) नहीं बनाते हैं। इन मामलों में, स्थानीय परीक्षण अधिकतम दर से नीचे के लिए वैश्विक परीक्षण जितने ही शक्तिशाली होते हैं, और वे अधिकतम दर प्राप्त करते हैं जब असेंबली साझा मॉड्यूल के संयुक्त वेग को साकार करती है। हालांकि, उन्होंने यह भी दिखाया कि यदि टीम की संरचना में एक लूप है, जैसे कि रोबोटों की एक रिंग, तो ऐसी स्थिति बनाना संभव है जहाँ स्थानीय परीक्षण पास हो जाते हैं लेकिन वैश्विक प्रणाली वास्तव में अस्थिर होती है। यह निष्कर्ष इस विचार को खारिज करता है कि स्थानीय परीक्षण हमेशा वैश्विक परीक्षणों की जगह ले सकते हैं; टीम का आकार मायने रखता है।

इन विचारों का परीक्षण करने के लिए, शोधकर्ताओं ने वास्तविक दुनिया के रोबोट मॉडल, जिनमें भुजाओं और पहियों वाले मोबाइल मैनिपुलेटर्स शामिल हैं, का उपयोग करके एक सिमुलेशन वातावरण बनाया। उन्होंने मिशन बनाए जहाँ दो और तीन रोबोटों की टीमों को एक रैक से एक लंबा बीम उठाना था, उसे एक दरवाजे से गुजारना था, एक रैंप पर चढ़ना था, और एक सपोर्ट पर रखना था। रोबोटों को तंग जगहों से गुजरना था और बीम के बदलते वजन को संभालना था बिना उसे गिराए या अपने जोड़ों पर अत्यधिक दबाव डाले। इन सिमुलेशन में, शोधकर्ताओं ने अपने नए स्थानीय डिजाइन पद्धति की तुलना पारंपरिक केंद्रीकृत विधियों से की। उन्होंने पाया कि स्थानीय पद्धति वैश्विक पद्धति के समान स्थिरता स्तर को प्रमाणित कर सकती है, लेकिन इसने उन्हें ऐसे नियंत्रक डिजाइन करने की अनुमति दी जो 40 से 44 प्रतिशत कम डैम्पिंग गेन (damping gain) का उपयोग करते हैं। डैम्पिंग एक बल है जो कंपन को रोकने के लिए गति का विरोध करता है; इसका कम उपयोग करने का अर्थ है कि रोबोट स्थिर रहते हुए भी अधिक स्वतंत्र रूप से और कुशलता से चल सकते हैं। सिमुलेशन ने दिखाया कि रोबोट पूरे मिशन को उच्च सटीकता के साथ पूरा कर सकते हैं, सर्वोत्तम मामलों में पेलोड स्थिति त्रुटि को 0ess 0.25 मिलीमीटर से नीचे रखते हुए।

शोधकर्ताओं ने यह भी पता लगाया कि क्या होता है जब रोबोट अप्रत्याशित घटनाओं का सामना करते हैं, जैसे कि भार को छोड़ना या अचानक फिर से उससे जुड़ जाना। उन्होंने एक गणितीय नियम, या 'रीसेट लॉ' (reset law) विकसित किया, जो कनेक्शन बदलने के क्षण में नियंत्रक की अपेक्षाओं को समायोजित करता है। यह नियम सुनिश्चित करता है कि जब कोई रोबोट भार छोड़ता है या पकड़ता है, तो सिस्टम में संचित ऊर्जा खतरनाक रूप से नहीं बढ़ती है। उनके परीक्षणों में, यह नियम पूरी तरह से काम करता है, जो विभिन्न मोड में संचालन के बीच स्विच करते समय भी सिस्टम को स्थिर रखता है। उन्होंने 'स्किड-स्टीयर्ड बेस' (skid-steered bases), जैसे टैंक, वाले रोबोटों को भी देखा जो पहियों के घूमने के बजाय फिसलने से मुड़ते हैं। इन रोबोटों के लिए, केवल मोटर पर्याप्त डैम्पिंग प्रदान नहीं कर सकती है। शोधकर्ताओं ने पाया कि पहियों और जमीन के बीच का घर्षण एक प्राकृतिक डैम्पर के रूप में कार्य करता है। इस घर्षण को अपनी गणनाओं में शामिल करके, वे प्रमाणित कर सके कि ये कठिन नियंत्रण वाले रोबोट भी स्थिर रहेंगे, बशर्ते घर्षण पर्याप्त मजबूत हो।

अध्ययन केवल सिमुलेशन तक ही सीमित नहीं था। शोधकर्ताओं ने वास्तविक हार्डवेयर में पाई जाने वाली मामूली खामियों और देरी सहित अधिक यथार्थवादी स्थितियों में उनके प्रदर्शन को देखने के लिए दो अलग-अलग प्रकार के फिजिक्स इंजन पर अपने नियंत्रकों को चलाया। एक इंजन ने बाधाओं को पूर्ण माना, जबकि दूसरे ने वास्तविक दुनिया में देखे जाने वाले संपर्क गतिकी (contact dynamics) और अनुपालन (compliance) की अनुमति दी। अधिक यथार्थवादी वातावरण में, नियंत्रक अभी भी अच्छा प्रदर्शन करते रहे, हालांकि खामियों के कारण सिस्टम में संचित ऊर्जा थोड़ी अधिक थी। शोधकर्ताओं ने देखा कि नया 'फिटेड-रेफरेंस कंट्रोलर' (fitted-reference controller), जो रोबकार की मांगों को भौतिक रूप से संभव बनाने के लिए समायोजित करता है, पारंपरिक तरीकों से बेहतर प्रदर्शन करता है। इसने पेलोड की स्थिति में पीक एरर को मानक दृष्टिकोण की तुलना में 52 प्रतिशत तक कम कर दिया। यह सुधार विभिन्न रोबोट कॉन्फ़िगरेशन और मिशन प्रोफाइल में सुसंगत था।

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

शोधकर्ताओं ने अपने तरीके की सीमाओं की भी जांच की। उन्होंने दिखाया कि यदि रोबोट इस तरह व्यवस्थित हैं जो वृक्ष संरचना (tree structure) नहीं बनाते हैं, जैसे कि एक रिंग, तो स्थानीय परीक्षण स्थिरता की गारंटी देने के लिए पर्याप्त नहीं हैं। इन मामलों में, टीम प्रत्येक व्यक्तिगत रोबोट के दृष्टिकोण से स्थिर दिखाई दे सकती है, लेकिन उनके बीच की अंतःक्रियाएं अस्थिरता का कारण बन सकती हैं। यह एक महत्वपूर्ण अंतर है, क्योंकि यह इंजीनियरों को बताता है कि वे कब सरल स्थानीय पद्धति का उपयोग कर सकते हैं और कब उन्हें अधिक जटिल वैश्विक गणनाओं का सहारा लेना चाहिए। शोध पत्र एक स्पष्ट सेट प्रदान करता है जो यह निर्धारित करता है कि कौन से टीम आर्किटेक्चर नए तरीके के उपयोग के लिए सुरक्षित हैं।

अंतिम विश्लेषण में, यह कार्य प्रदर्शित करता है कि रोबोटों की जटिल टीमों को उनके घटक भागों में तोड़कर समझा और नियंत्रित किया जा सकता है, बशर्ते उन भागों के बीच के संबंध एक विशिष्ट पैटर्न का पालन करते हों। शोधकर्ताओं ने दिखाया है कि नियंत्रक डिजाइन करना संभव है जो कुशल और स्थिर दोनों हों, और पहले की तुलना में कम ऊर्जा और गणना शक्ति का उपयोग करते हैं। उनके निष्कर्ष वास्तविक दुनिया के वातावरण में रोबोट टीमों को तैनात करने के लिए एक व्यावहारिक मार्ग प्रदान करते हैं, जहाँ बदलने वाली स्थितियों के अनुकूल होने की क्षमता और कुशलता से कार्य करने की क्षमता आवश्यक है। अध्ययन पुष्टि करता है कि टीम की स्थानीय अंतःक्रियाओं और समग्र संरचना को समझकर, इंजीनियर ऐसी प्रणालियाँ बना सकते हैं जो न केवल कठिन कार्यों को करने में सक्षम हैं बल्कि स्वाभाविक रूप से स्थिर और सुरक्षित भी हैं। विभिन्न प्लेटफार्मों पर व्यापक सिमुलेशन और परीक्षण के माध्यम से सत्यापित परिणाम, सहयोगात्मक रोबोटिक्स की अगली पीढ़ी के लिए एक ठोस आधार प्रदान करते हैं।