Constricting Tubes for Prescribed-Time Safe Control

यहाँ गॉडगिनमैथ (Gadginmath), अलिभोय (Allibhoy), और पास्कुएलेटी (Pasqualetti) के शोध पत्र "Constricting Tubes for Prescribed-Time Safe Control" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र इनपुट बाधाओं (input constraints) वाले कंट्रोल-एफ़िन सिस्टम (control-affine systems) के लिए निर्धारित-समय नियंत्रण (prescribed-time control) की चुनौती को संबोधित करता है। विशिष्ट लक्ष्य एक डायनेमिकल सिस्टम को उपयोगकर्ता द्वारा निर्दिष्ट समय सीमा $T$ तक एक प्रारंभिक अवस्था $x(0)$ (जो एक लक्षित सुरक्षित सेट $\mathcal{C}$ के बाहर स्थित है) से $\mathcal{C}$ में लाना और $t \geq T$ के लिए उसे वहीं बनाए रखना है।

मुख्य चुनौतियाँ:

• इनपुट बाधाएँ (Input Constraints): मौजूदा निर्धारित-समय विधियाँ अक्सर ऐसे समय-परिवर्तनीय गेन (time-varying gains) पर निर्भर करती हैं जो $t \to T$ होने पर अनंत (diverge) की ओर जाते हैं। यह कठोर इनपुट सीमाओं (जैसे, $|u| \leq u_{max}$) के तहत व्यवहार्यता (feasibility) सुनिश्चित करना असंभव बना देता है।
• स्केलेबिलिटी (Scalability): पारंपरिक हैमिल्टन-जेकोबी (Hamilton-Jacobi - HJ) रीचैबिलिटी विधियाँ औपचारिक गारंटी तो प्रदान करती हैं, लेकिन वे "डायमेंशनलिटी के अभिशाप" (curse of dimensionality) से ग्रस्त होती हैं, जिसमें ग्रिड-आधारित विवेकीकरण (discretization) की आवश्यकता होती है जो अवस्था आयाम (state dimension) के साथ तेजी से बढ़ता है।
• एसिम्प्टोटिक बनाम परिमित-समय (Asymptotic vs. Finite-Time): मानक कंट्रोल बैरियर फंक्शन्स (CBFs) सुरक्षा सुनिश्चित करते हैं (फॉरवर्ड इनवेरिएंस), लेकिन वे केवल एसिम्प्टोटिक रूप से रिकवरी प्राप्त करते हैं, एक निश्चित समय के भीतर नहीं।

2. कार्यप्रणाली: संकुचित ट्यूब फ्रेमवर्क (Methodology: The Constricting Tube Framework)

लेखक एक नवीन फ्रेमवर्क प्रस्तावित करते हैं जो निर्धारित-समय रिकवरी समस्या को एक समय-परिवर्तनीय "सुरक्षा ट्यूब" (safety tube) की फॉरवर्ड इनवेरिएंस समस्या में बदल देता है।

A. संकुचित CBF परिभाषा (Constricting CBF Definition)

एक स्थिर सुरक्षित सेट $\mathcal{C} = \{x \mid h(x) \geq 0\}$ के बजाय, लेखक एक समय-निर्भर रिलैक्सेशन परिभाषित करते हैं:
$$\tilde{h}(x, t) = h(x) + r(x(0), t)$$
जहाँ $r(x(0), t)$ एक संकुचन अनुसूची (constriction schedule) है जो निम्नलिखित शर्तों को पूरा करता है:

1. प्रारंभिक समावेशन (Initial Containment): $r(x(0), 0) = \max(0, -h(x(0)))$, जो यह सुनिश्चित करता है कि प्रारंभिक अवस्था रिलैक्स्ड सेट $\tilde{\mathcal{C}}(0)$ के भीतर है।
2. लक्ष्य रिकवरी (Target Recovery): $r(x(0), T) = 0$, जो यह सुनिश्चित करता है कि ट्यूब समय $T$ पर ठीक लक्षित सेट $\mathcal{C}$ में सिमट जाए।
3. एकदिशता (Monotonicity): $\dot{r} \leq 0$, जिसका अर्थ है कि ट्यूब समय के साथ सिकुड़ती है।

"ट्यूब" $\tilde{\mathcal{C}}(t) = \{x \mid \tilde{h}(x, t) \geq 0\}$ है। यदि कोई कंट्रोलर सिस्टम को इस सिकुड़ते हुए ट्यूब के भीतर रखता है, तो यह गारंटी है कि सिस्टम समय $T$ पर $\mathcal{C}$ में होगा।

B. कंट्रोल सिंथेसिस (Control Synthesis)

नियंत्रण इनपुट $u$ को प्रत्येक टाइमस्टेप पर एक क्वाड्रेटिक प्रोग्राम (QP) को हल करके संश्लेषित किया जाता है ताकि नियंत्रण प्रयास (control effort) को न्यूनतम किया जा सके और संकुचित CBF स्थिति को संतुष्ट किया जा सके:
$$L_f h(x) + L_g h(x) u + \dot{r}(x(0), t) \geq -\gamma(\tilde{h}(x, t))$$
यहाँ, $\dot{r}$ एक "अंदरूनी दबाव" (inward pressure) के रूप में कार्य करता है जो अवस्था को लक्ष्य की ओर धकेलता है। अन्य विधियों के विपरीत, यह बाधा $u$ के प्रति एफ़ाइन (affine) है और यह अवस्था आयाम पर निर्भर नहीं करती है (प्रति टाइमस्टेप केवल एक बाधा)।

C. इनपुट बाधाओं के तहत व्यवहार्यता विश्लेषण (Feasibility Analysis under Input Constraints)

एक महत्वपूर्ण योगदान व्यवहार्यता के लिए एक क्लोज्ड-फॉर्म स्थिति का व्युत्पन्न है। लेखक बैरियर अथॉरिटी (Barrier Authority) $\sigma(x)$ को परिभाषित करते हैं, जो इनपुट सीमा $u_{max}$ को देखते हुए बैरियर फंक्शन के अधिकतम बढ़ने की दर को दर्शाता है:
$$\sigma(x) = \max_{\|u\| \leq u_{max}} \dot{h}(x, u) = \|L_g h(x)\| u_{max} + L_f h(x)$$

उपपत्ति 2 (व्यवहार्यता और न्यूनतम रिकवरी समय):
एक रैखिक संकुचन अनुसूची $r(t) = r_0(1 - t/T)$ के लिए, नियंत्रण समस्या तभी व्यवहार्य है यदि:
$$T \geq T_{min} = \frac{r_0}{\sigma_{min}}$$
जहाँ $r_0$ प्रारंभिक उल्लंघन है और $\sigma_{min}$ ट्यूब पर सबसे खराब स्थिति वाली बैरियर अथॉरिटी है। यह एक डिज़ाइन-टाइम प्रमाणन (design-time certificate) प्रदान करता है: यदि डेडलाइन $T$ सिस्टम की कंट्रोल अथॉरिटी के सापेक्ष बहुत कम है, तो समस्या प्रमाणित रूप से अव्यावहारिक (infeasible) है।

D. विस्तार (Extensions)

• उच्च-क्रम CBFs (HOCBF): यह फ्रेमवर्क सापेक्ष डिग्री (relative degree) $k > 1$ वाले सिस्टमों के लिए उच्च-क्रम डेरिवेटिव्स के माध्यम से संकुचन अनुसूची को प्रसारित करके विस्तारित होता है।
• स्टोकेस्टिक सिस्टम (Stochastic Systems): यह नोट किया गया है कि यह फ्रेमवर्क स्टोकेस्टिक परिवेश (जैसे जेनेरेटिव सैंपलिंग मॉडल) में भी सामान्यीकृत हो सकता है।

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

1. संकुचित CBF फ्रेमवर्क: एक सिकुड़ती हुई ट्यूब की फॉरवर्ड इनवेरिएंस के माध्यम से निर्धारित-समय रिकवरी सुनिश्चित करने की एक विधि, जो सिंगुलर समय-परिवर्तनीय गेन (singular time-varying gains) की आवश्यकता को समाप्त करती है।
2. सीमित नियंत्रण प्रयास (Bounded Control Effort): अन्य निर्धारित-समय विधियों के विपरीत जहाँ डेडलाइन के पास नियंत्रण प्रयास बढ़ जाता है, यह फ्रेमवर्क डिज़ाइन द्वारा सीमित नियंत्रण प्रयास सुनिश्चित करता है, जिससे यह हार्ड इनपुट बाधाओं के अनुकूल बनता है।
3. एनालिटिक व्यवहार्यता प्रमाण (Analytic Feasibility Certificate): एक सत्यापन योग्य स्थिति ($T \geq T_{min}$) का व्युत्पन्न जो ऑफलाइन PDE समाधान या लयापुनोव विश्लेषण की आवश्यकता के बिना डेडलाइन, प्रारंभिक अवस्था और कंट्रोल अथॉरिटी को जोड़ता है।
4. स्केलेबिलिटी: यह विधि अवस्था आयाम के बावजूद प्रति टाइमस्टेप एक एकल एफ़ाइन बाधा लागू करती है, जो HJ रीचैबिलिटी के घातीय स्केलिंग (exponential scaling) की तुलना में रैखिक ($O(n)$) स्केलिंग प्रदान करती है।

4. प्रयोगात्मक परिणाम (Experimental Results)

फ्रेमवर्क को तीन अलग-अलग परिदृश्यों पर सत्यापित किया गया:

• 16-डायमेंशनल मल्टी-एजेंट सिस्टम:

  • सेटअप: 8 डिकपल्ड एजेंट (16D अवस्था) एक संयुक्त बैरियर फंक्शन के साथ।
  • परिणाम: विधि ने सभी एजेंटों को $T=6.4$s तक सफलतापूर्वक लक्ष्य सेट में पहुँचाया।
  • तुलना: एक मानक प्रिस्क्राइब्ड-टाइम CLF विधि [5] के विरुद्ध। प्रस्तावित विधि सुचारू, सीमित नियंत्रण प्रयास (पीक $\approx 3.66$) बनाए रखती है, जबकि बेसलाइन विधि डाइवरजिंग गेन के कारण लगातार सीमा ($\approx 28.28$) के पास संतृप्त (saturate) रहती है। HJ रीचैबिलिटी को इस आयाम के लिए अव्यवहारिक माना गया।

• यूनिसाइकिल रीच-अवॉइड (गैर-रेखीय):

  • सेटअप: एक यूनिसाइकिल मॉडल (गैर-रेखीय डायनेमिक्स) जिसे सीधे पथ पर एक बाधा से बचते हुए लक्ष्य तक पहुँचना था।
  • परिणाम: इसे MPC फ्रेमवर्क में एकीकृत किया गया। प्लानर ने बाधा के चारों ओर सफलतापूर्वक नेविगेट किया और डेडलाइन पर ठीक लक्ष्य तक पहुँचा, साथ ही रीच और अवॉइड दोनों बाधाओं का एक साथ सम्मान किया।

• डबल इंटीग्रेटर (HOCBF):

  • सेटअप: एक सापेक्ष-डिग्री-2 वाला सिस्टम।
  • परिणाम: इसने HOCBF विस्तार का प्रदर्शन किया, यह दिखाते हुए कि कंट्रोलर डेडलाइन को लागू कर सकता है भले ही एक नाममात्र PD कंट्रोलर ऐसा करने में विफल रहा हो, और इनपुट सीमाओं का सम्मान भी किया।

5. महत्व और प्रभाव (Significance and Impact)

यह शोध पत्र सुरक्षा गारंटी और समय संबंधी बाधाओं के बीच के एक महत्वपूर्ण अंतर को पाटता है।

• व्यावहारिकता: डाइवरजिंग कंट्रोल गेन से बचकर, यह विधि हार्ड एक्ट्यूएटर लिमिट्स (जैसे रोबोट, सैटेलाइट, स्वायत्त वाहन) वाले वास्तविक दुनिया के सिस्टम के लिए सीधे तौरable है।
• कंप्यूटेशनल दक्षता: यह HJ रीचैबिलिटी के लिए एक स्केलेबल विकल्प प्रदान करता है, जिससे उच्च-आयामी प्रणालियों के लिए रियल-टाइम सिंथेसिस संभव होता है जहाँ पारंपरिक विधियाँ विफल हो जाती हैं।
• डिज़ाइन निश्चितता: क्लोज्ड-फॉर्म $T_{min}$ इंजीनियरों को यह पहले से निर्धारित करने की अनुमति देता है कि क्या उनका विशिष्ट मिशन डेडलाइन उनके हार्डवेयर की कंट्रोल अथॉरिटी के आधार पर प्राप्त करने योग्य है, जिससे ट्रायल-एंड-एरर ट्यूनिंग या पोस्ट-हॉक वेरिफिकेशन की आवश्यकता समाप्त हो जाती है।

संक्षेप में, "कन्स्ट्रिक्टिंग ट्यूब" दृष्टिकोण सख्त भौतिक सीमाओं के तहत भी, एक निश्चित समय के भीतर सिस्टम को सुरक्षित सेटों में धकेलने के लिए एक कठोर, स्केलेबल और कम्प्यूटेशनल रूप से कुशल समाधान प्रदान करता है।