⚡ electrical engineering

Input-to-State Safe Backstepping: Robust Safety-Critical Control with Unmatched Uncertainties

यह शोध पत्र 'ऑप्टिमल डिके कंट्रोल बैरियर फंक्शन्स' (Optimal Decay Control Barrier Functions) के साथ 'आईएसएसएफ' (ISSf) की अवधारणा का सामान्यीकरण करके और इसे 'स्ट्रिक्ट-फीडबैक' (strict-feedback) एवं 'डुअल-रिलेटिव-डिग्री' (dual-relative-degree) प्रणालियों पर लागू करके, अनमैच्ड अनिश्चितताओं (unmatched uncertainties) के अधीन गैररेखीय प्रणालियों में 'इनपुट-टू-स्टेट सेफ्टी' (input-to-state safety) सुनिश्चित करने के लिए एक रचनात्मक ढांचे का प्रस्ताव करता है।

मूल लेखक: Max H. Cohen, Pio Ong, Aaron D. Ames

प्रकाशित 2026-02-04

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Max H. Cohen, Pio Ong, Aaron D. Ames

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक कार चला रहे हैं जिसे दुर्घटना से बचने के लिए एक विशिष्ट लेन (सुरक्षित क्षेत्र) के भीतर रहना आवश्यक है। अब, दो समस्याओं की कल्पना करें:

सड़क फिसलन भरी है: हवा के झोंके या ऊबड़-खाबड़ रास्ते (विक्षोभ/disturbances) हैं जो कार को अनिश्चित रूप से धकेल रहे हैं।
स्टीयरिंग में देरी है: आप केवल पहिया घुमाकर कार की स्थिति को तुरंत ठीक नहीं कर सकते। इसके बजाय, पहिया घुमाने से पहले कार का कोण बदलता है, और फिर वह कोण कार की स्थिति को बदल देता है। इसे "मिसमैच्ड" (mismatched) समस्या कहा जाता है क्योंकि आपका नियंत्रण इनपुट (स्टीयरिंग) सीधे समस्या (स्थिति) पर प्रहार नहीं करता है।

यह शोध पत्र एक नया "स्मार्ट ड्राइविंग सिस्टम" (एक नियंत्रण एल्गोरिदम) प्रस्तुत करता है जो गारंटी देता है कि कार सुरक्षित रहेगी, भले ही सड़क फिसलन भरी हो और स्टीयरिंग में देरी हो।

यहाँ बताया गया है कि उन्होंने इसे कैसे किया, सरल उपमाओं का उपयोग करते हुए:

1. समस्या: "अनमैच्ड" (Unmatched) विक्षोभ

कई सुरक्षा प्रणालियों में, यदि हवा का एक झोंका कार को धकेलता है, तो स्टीयरिंग व्हील तुरंत उसे रोकने के लिए वापस धक्का दे सकता है। यह एक "मैच्ड" समस्या है।
हालाँकि, ड्रोन या रोबोट जैसे जटिल मशीनों में, हवा ड्रोन के शरीर को धकेल सकती है, लेकिन मोटर केवल उसके झुकाव (tilt) को नियंत्रित कर सकती है। मोटरों को पहले ड्रोन को झुकाना होगा, जो फिर शरीर को हिलाएगा। विक्षोभ शरीर पर प्रहार करता है, लेकिन नियंत्रण केवल झुकाव को छूता है। यह एक "अनमैच्ड अनिश्चितता" (unmatched uncertainty) है। यह एक लुढ़कती हुई गेंद को रोकने के लिए फर्श को नियंत्रित करने जैसा है जिस पर वह लुढ़क रही है; आपको फर्श को एक विशिष्ट तरीके से हिलाना होगा ताकि अंततः गेंद रुक सके।

2. समाधान: एक लचीले स्प्रिंग के साथ "सुरक्षा जाल"

लेखक एक गणितीय उपकरण का उपयोग करते हैं जिसे कंट्रोल बैरियर फंक्शन (CBF) कहा जाता है। इसे सुरक्षित क्षेत्र के चारों ओर एक अदृश्य, लचीले सुरक्षा जाल के रूप में सोचें।

मानक सुरक्षा जाल: यदि आप जाल को छूते हैं, तो यह आपको पीछे खींच लेता है।
नया "ऑप्टिमल डिके" (Optimal Decay) जाल: लेखकों ने इस जाल में सुधार किया है। उन्होंने महसूस किया कि यदि आप सुरक्षित क्षेत्र के अंदर हैं, तो आपको जाल द्वारा खींचे जाने की चिंता करने की आवश्यकता नहीं है। आपको केवल तभी चिंता करने की आवश्यकता है जब आप किनारे को छू रहे हों या बाहर हों। उन्होंने एक "स्केलिंग फैक्टर" जोड़ा है (एक चर जिसे वे $\omega$ कहते हैं) जो एक स्मार्ट स्प्रिंग के रूप में कार्य करता है। यदि हवा तेज है, तो स्प्रिंग सख्त हो जाएगा या अलग तरह से खिंच जाएगा ताकि यह सुनिश्चित हो सके कि आपको सुरक्षित क्षेत्र से बाहर न धकेला जाए।

3. विधि: "बैकस्टेपिंग" (Backstepping) (सीढ़ी की उपमा)

"विलंबित स्टीयरिंग" की समस्या (जहाँ नियंत्रण सीधे सुरक्षा लक्ष्य तक नहीं पहुँचता) को संभालने के लिए, उन्होंने बैकस्टेपिंग (Backstepping) नामक तकनीक का उपयोग किया है।
कल्प_ना कीजिए कि आप एक सुरक्षित प्लेटफॉर्म (लक्ष्य) तक पहुँचने के लिए सीढ़ी चढ़ने की कोशिश कर रहे हैं।

चरण 1: आप सीधे ऊपर नहीं कूद सकते। पहले आपको नीचे के पायदान तक पहुँचना होगा। लेखक एक "आभासी नियंत्रक" (virtual controller) डिजाइन करते हैं जो ऐसा व्यवहार करता है जैसे नीचे का पायदान ही लक्ष्य हो। वे सुनिश्चित करते हैं कि यह पहला चरण सुरक्षित रहे।
चरण 2: एक बार जब पहला चरण सुरक्षित हो जाता है, तो वे उस पहले चरण को नया "आधार" मानते हैं और अगले भाग को पहले चरण के अनुरूप चलाने के लिए एक नियंत्रक डिजाइन करते हैं।
परिणाम: इस तरह चरण-दर-चरण सुरक्षा की सीढ़ी बनाकर, वे सुनिश्चित करते हैं कि भले ही नियंत्रण इनपुट सुरक्षा लक्ष्य से दूर हो, पूरा सिस्टम सुरक्षित रहे।

4. दो प्रकार के "लड्डू" (Ladders/सीढ़ियाँ)

यह शोध पत्र दो विशिष्ट प्रकार की मशीनों के लिए इस सीढ़ी को बनाने का तरीका दिखाता है:

स्ट्रिक्ट-फीडबैक सिस्टम (Strict-Feedback Systems): एक सख्त कमांड श्रृंखला की तरह। पहला हिस्सा दूसरे को नियंत्रित करता है, जो तीसरे को नियंत्रित करता है। (उदाहरण: एक इनवर्टेड पेंडुलम या संतुलन बनाने वाला रोबोट)।
डुअल-रिलेटिव-डिग्री सिस्टम (Dual-Relative-Degree Systems): एक ड्रोन की तरह जहाँ ऊपरी हिस्सा (स्थिति) निचले हिस्से (कोण) द्वारा नियंत्रित होता है, लेकिन निचले हिस्से की ऊपरी हिस्से को नियंत्रित करने की क्षमता निचले हिस्से की वर्तमान स्थिति पर निर्भर करती है। (उदाहरण: एक क्वाडरोटर ड्रोन)।

5. सिमुलेशन क्या दिखाते हैं

लेखकों ने अपने सिद्धांत का परीक्षण दो डिजिटल मॉडलों पर किया:

बैलेंसिंग पेंडुलम (Balancing Pendulum): उन्होंने एक छड़ी का अनुकरण किया जो यादृच्छिक हवा के झोंकों के बीच सीधा खड़ा रहने की कोशिश कर रही थी। उन्होंने दिखाया कि उनके नए "स्मार्ट स्प्रिंग" (ऑप्टिमल डिके CBF) के साथ, छड़ी सीधी खड़ी रही, जबकि पुराने तरीकों में वह गिर जाती।
ड्रोन (Drone): उन्होंने एक ड्रोन का अनुकरण किया जो हवा के झोंकों के पास दीवार के पास उड़ रहा था। ड्रोन के कंप्यूटर ने हवा के खिलाफ मुकाबला करने के लिए उनके एल्गोरिदम का उपयोग करके खुद को सही ढंग से झुकाया, जिससे वह दीवार से टकराने से बच गया।

सारांश

यह शोध पत्र रोबोट और मशीनों को सुरक्षित रहने के लिए प्रोग्राम करने का एक नया तरीका पेश करता है। यह एक लचीले सुरक्षा जाल (ऑप्टिमल डिके CBF) को चरण-दर-चरण निर्माण विधि (बैकस्टेपिंग) के साथ जोड़ता है। यह जटिल मशीनों को सुरक्षित रहने में मदद करता है, भले ही:

उन्हें अप्रत्याशित बलों (हवा, घर्षण) द्वारा धकेला जा रहा हो।
उनके नियंत्रण सीधे समस्या को ठीक नहीं कर सकते (उन्हें मध्यवर्ती चरणों के माध्यम से काम करना पड़ता है)।

परिणामस्वरूप, यह एक ऐसी प्रणाली है जो केवल सुरक्षित रहने की उम्मीद नहीं करती, बल्कि गणितीय रूप से गारंटी देती है कि वह "अनमैच्ड" बाधाओं के बावजूद एक सुरक्षित सीमा के भीतर रहेगी।

तकनीकी सारांश: इनपुट-टू-स्टेट सेफ बैकस्टेपिंग (Input-to-State Safe Backstepping)

समस्या विवरण (Problem Statement)
अनमैच्ड डिस्टर्बेंस (unmatched disturbances) के तहत संचालित होने वाले नॉनलीनियर कंट्रोल सिस्टम में सुरक्षा सुनिश्चित करना एक महत्वपूर्ण चुनौती बनी हुई है। अनमैच्ड अनिश्चितताएं वे होती हैं जो कंट्रोल इनपुट द्वारा सीधे तौर पर निरस्त (cancel) नहीं की जा सकतीं क्योंकि वे कंट्रोल अथॉरिटी से भिन्न चैनलों के माध्यम से सिस्टम डायनेमिक्स में प्रवेश करती हैं। जबकि कंट्रोल बैरियर फंक्शन्स (CBFs) ने नोमिनल सेटिंग्स में सुरक्षा-महत्वपूर्ण नियंत्रण के लिए प्रभावशीलता सिद्ध की है, और अनमैच्ड डिस्टर्बेंस को संभालने के लिए इनपुट-टू-स्टेट सेफ (ISSf) CBFs विकसित किए गए हैं, अनमैच्ड अनिश्चितताओं वाले सिस्टम के लिए ISSf-CBFs का निर्माण करना कठिन है। पारंपरिक ISSf-CBF सत्यापन स्थितियाँ अत्यधिक कठोर हो जाती हैं जब कंट्रोल अथॉरिटी सुरक्षा सीमा (safety boundary) पर समाप्त हो जाती है, जिससे वे अक्सर उन सिस्टमों के लिए विफल हो जाती हैं जहाँ डिस्टर्बेंस कंट्रोल इनपुट की तुलना में अलग डायनेमिक्स के माध्यम से प्रवेश करते हैं।

कार्यप्रणाली (Methodology)
यह शोध पत्र एक रचनात्मक ढांचा प्रस्तावित करता है जो अनमैच्ड अनिश्चितताओं को संबोधित करने के लिए इनपुट-टू-स्टेट सेफ्टी (ISSf) सिद्धांत और CBF बैकस्टेपिंग को एकीकृत करता है। यह कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

OD-CBFs के माध्यम से ISSf का सामान्यीकरण (Generalization of ISSf via Optimal Decay CBFs):
लेखक पहले एक 'ऑप्टिमल डिके ऑप्टिमल डिके ISSf-CBF' (OD-ISSf-CBF) की अवधारणा पेश करके ISSf ढांचे को सामान्यीकृत करते हैं। यह दृष्टिकोण दो तरीकों से मानक सत्यापन स्थितियों को शिथिल (relax) करता है:

ऑप्टिमल डिके वेरिएबल: यह क्लास- $\mathcal{K}$ फंक्शन $\alpha$ पर एक स्केलिंग फैक्टर $\omega$ (जो $\theta_d$ द्वारा नीचे से सीमित है) पेश करता है। यह एक अतिरिक्त निर्णय चर (decision variable) के रूप में कार्य करता है, जो बैरियर स्थितियों को संतुष्ट करने में लचीलापन प्रदान करता है।
सामान्यीकृत डिस्टर्बेंस मॉडल: यह मानते हुए कि डिस्टर्बेंस कंट्रोल चैनल के माध्यम से प्रवेश करते हैं (matched), यह ढांचा एक डिस्टर्बेंस इनपुट मैट्रिक्स $w(x)$ का उपयोग करता है। मजबूती (robustness) की स्थिति केवल बैरियर फंक्शन ग्रेडिएंट के प्रोजेक्शन ( $L_{wh}$ ) पर सत्यापित की जाती है, न कि पूर्ण ग्रेडिएंट पर।
सत्यापन शिथिलता (Verification Relaxation): एक प्रमुख सैद्धांतिक परिणाम (लेम्मा 3) यह दर्शाता है कि OD-ISSf-CBFs के लिए, शर्त को केवल सुरक्षित सेट के बाउंड्री और बाहरी भाग ( $h(x) \leq 0$ ) पर सत्यापित करने की आवश्यकता है, न कि पूरे डोमेन में। यदि सुरक्षित सेट के बाहर कंट्रोल अथॉरिटी गैर-शून्य है, तो शर्त स्वतः ही संतुष्ट हो जाती है।

अनमैच्ड अनिश्चितताओं के लिए बैकस्टेपिंग सिंथेसिस (Backstepping Synthesis for Unmatched Uncertainties):
उन सिस्टमों को संभालने के लिए जहाँ सुरक्षा फंक्शन $h$ के पास प्रत्यक्ष कंट्रोल अथॉरिटी नहीं होती है, यह शोध पत्र दो विशिष्ट श्रेणियों के सिस्टम के लिए ISSf-CBFs का निर्माण करने हेतु एक बैकस्टेपिंग प्रक्रिया का उपयोग करता है:

स्ट्रिक्ट-फीडबैक सिस्टम (Strict-Feedback Systems): स्ट्रिक्ट-फीडबैक फॉर्म में मौजूद सिस्टमों के लिए, यह विधि उच्च-क्रम की अवस्थाओं (higher-order states) को "वर्चुअल" कंट्रोल इनपुट के रूप में मानती है। पहले ऊपरी-परत के सब-सिस्टम के लिए एक स्मूथ कंट्रोलर डिज़ाइन किया जाता है ताकि OD-ISSF-CBF शर्त को पूरा किया जा सके। इसके बाद, वास्तविक अवस्था और वर्चुअल कंट्रोलर के विचलन को दंडित (penalize) करके एक कंपोजिट बैरियर फंक्शन बनाया जाता है। थ्योरम 2 स्थापित करता है कि यदि अगले स्तर का कंट्रोल गेन मैट्रिक्स फुल रो रैंक (full row rank) है, तो कंपोजिट फंक्शन पूर्ण सिस्टम के लिए एक वैध OD-ISSF-CBF है।
ड्यूल-रिलेटिव-डिग्री (DRD) सिस्टम: ऐसे सिस्टमों के लिए जो डिफरेंशियल फ्लैट सिस्टम (जैसे क्वाड्रोटर) के समान हैं, जहाँ ऊपरी-परत की डायनेमिक्स निचले-परत की अवस्था $\psi(\eta)$ पर निर्भर करती है, यह विधि उत्पाद $\psi(\eta)u_z$ को एक वर्चुअल इनपुट के रूप में देखती है। ऊपरी परत के लिए एक वर्चुअल कंट्रोलर डिज़ाइन किया जाता है, और एक वांछित निचले-परत की अवस्था $\eta_d$ का निर्माण किया जाता है ताकि कंट्रोल दिशाओं को इस वर्चुअल इनपुट के साथ संरेखित किया जा सके। एक कंपोजिट बैरियर फंक्शन, जो ऊपरी-परत की सुरक्षा और $\eta$ के $\eta_d$ से विचलन को जोड़ता है, एक OD-ISSF-CBF के रूप में दिखाया गया है (थ्योरम 3), बशर्ते सिस्टम मैट्रिसेस पर विशिष्ट रैंक स्थितियाँ पूरी हों।

कंट्रोलर कार्यान्वयन (Controller Implementation):
यह ढांचा एक क्वाड्रेटिक प्रोग्राम (QP) से प्राप्त फीडबैक कंट्रोलर प्रदान करता है जो एक नॉमिनल कंट्रोलर से विचलन को कम करने और शिथिल OD-ISSF-CBF शर्त को संतुष्ट करने के लिए कंट्रोल इनपुट $u$ और स्केलिंग फैक्टर $\omega$ को संयुक्त रूप से अनुकूलित (optimize) करता है। परिणामी कंट्रोलर स्थानीय रूप से लिप्सचिट्ज़ निरंतर (locally Lipschitz continuous) है और एक इन्फ्लेटेड सेफ सेट $S_\delta$ की फॉरवर्ड इनवेरिएंस (forward invariance) की गारंटी देता है, जहाँ इन्फ्लेशन का आकार डिस्टर्बेंस के परिमाण और चुने गए पैरामीटर्स $\varepsilon$ और $\theta_d$ पर निर्भर करता है।

प्रमुख योगदान (Key Contributions)
शोध पत्र निम्नलिखित प्राथमिक योगदानों का दावा करता है:

ISSf का सामान्यीकरण: एक नया ढांचा जो OD-CBFs और एक सामान्यीकृत डिस्टर्बेंस-इनपुट मॉडल का उपयोग करता है, जो डिस्टर्बेंस को क्षतिपूर्ति करने में अधिक लचीलापन प्रदान करता है, विशेष रूप से बाउंड्री/एक्सटीरियर पर सत्यापन को शिथिल करके।
रचनात्मक बैकस्टेपिंग प्रक्रिया: अनमैच्ड डिस्टर्बेंस वाले सिस्टम के लिए ISSf-CBFs को संश्लेषित करने के लिए एक व्यवस्थित विधि। इसमें स्ट्रिक्ट-फीडबैक और DRD सिस्टम के लिए पूर्ण तकनीकी उपचार शामिल है, जो बैकस्टेपिंग की प्रयोज्यता को स्टेबिलाइजेशन से सुरक्षा-महत्वपूर्ण नियंत्रण तक विस्तारित करता है।
मजबूत सुरक्षा गारंटी: सैद्धांतिक प्रमाण जो यह दर्शाते हैं कि संश्लेषित कंट्रोलर अनमैच्ड अनिश्चितताओं की उपस्थिति में भी सिस्टम को सुरक्षित सेट के एक सीमित पड़ोस (bounded neighborhood) के भीतर रखते हैं (ISSf), जिसमें डिस्टर्बेंस बाउंड पर्याप्त छोटे होने पर सख्त सुरक्षा बनाए रखने की क्षमता भी शामिल है।

परिणाम और सिमुलेशन (Results and Simulations)
सैद्धांतिक परिणामों को दो बेंचमार्क सिस्टमों पर संख्यात्मक सिमुलेशन के माध्यम से सत्यापित किया गया है:

इनवर्टेड पेंडुलम (Inverted Pendulum): एक स्ट्रिक्ट-फीडबैक सिस्टम जो अनमैच्ड डिस्टर्बेंस के अधीन है। सिमुलेशन प्रदर्शित करते हैं कि प्रस्तावित कंट्रोलर पेंडुलम को सुरक्षित कोणीय सीमा के भीतर सफलतापूर्वक बनाए रखता है। परिणाम पैरामीटर $\varepsilon$ द्वारा नियंत्रित ट्रेड-ऑफ को दर्शाते हैं: $\varepsilon$ के छोटे मान अधिक मजबूती प्रदान करते हैं, जिससे प्रक्षेपवक्र (trajectory) सुरक्षित सेट के भीतर रहता है, जबकि बड़े मान प्रक्षेपवक्रम को सेट से बाहर जाने की अनुमति देते हैं लेकिन एक सीमित पड़ोस के भीतर रखते हैं, जो ISSf सिद्धांत के अनुरूप है।
प्लानर क्वाड्रोटर (Planar Quadrotor): एक ड्यूल-रिलेटिव-डिग्री सिस्टम जो हवा के झोंकों (अनमैच्ड डिस्टर्बेंस) के अधीन है। सिमुलेशन दिखाता है कि ड्रोन दीवार की बाधा की ओर सफलतापूर्वक नेविगेट करता है। जैसे ही ड्रोन सुरक्षा सीमा के करीब पहुँचता है, कंट्रोलर ओरिएंटेशन ( $\eta$ ) को समायोजित करता है ताकि थ्रस्ट वेक्टर को डिस्टर्बेंस के विरुद्ध संरेखित किया जा सके, जिससे अनमैच्ड अनिश्चितता का प्रभावी ढंग से मुकाबला किया जा सके। परिणाम पुष्टि करते हैं कि $\varepsilon$ का उचित चयन सुरक्षा सुनिश्चित करता है, जबकि बड़े मान सुरक्षा उल्लंघन की ओर ले जाते हैं।

महत्व (Significance)
यह शोध पत्र अनमैच्ड अनिश्चितताओं वाले सिस्टम के लिए CBF के संश्लेषण के रूप में एक निरंतर अंतराल (gap) के लिए एक रचनात्मक समाधान के रूप में इस कार्य को स्थापित करता है। बैकस्टेपिंग के माध्यम से स्ट्रिक्ट-फीडबैक और DRD सिस्टम की संरचनात्मक विशेषताओं का लाभ उठाकर, लेखक अनमैच्ड डायनेमिक्स द्वारा उत्पन्न चुनौतियों के बीच अनमैच्ड अनिश्चितताओं के लिए मजबूत सुरक्षा फिल्टर के व्यवस्थित निर्माण को सक्षम बनाते हैं। यह कार्य ISSf की सैद्धांतिक मजबूती और अनमैच्ड डायनेमिक्स द्वारा उत्पन्न व्यावहारिक संश्लेषण चुनौतियों के बीच के अंतर को पाटता है, जो अनिश्चित वातावरण में काम करने वाले क्वाड्रोटर और मैनिपुलेटर्स जैसे जटिल रोबोटिक प्लेटफॉर्म पर सुरक्षा-महत्वपूर्ण कंट्रोलर तैनात करने का मार्ग प्रशस्त करता है।