Safe Control of Feedback-Interconnected Systems via Singular Perturbations

यहाँ स्टेफ़ानो डी ग्रेगोरियो, गुइडो कार्नेवले और ग्यूसेप नोटारस्टेफ़ानो के शोध पत्र "Singular Perturbations के माध्यम से Feedback-Interconnected Systems का सुरक्षित नियंत्रण" का विस्तृत तकनीकी सारांश दिया गया है।

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

आधुनिक स्वायत्त प्रणालियों (autonomous systems) में अक्सर ऐसे फीडबैक-इंटरकनेक्टेड सबसिस्टम्स शामिल होते हैं जो काफी अलग-अलग समय-पैमानों (timescales) पर विकसित होते हैं। उदाहरण के लिए:

• रोबोटिक सिस्टम: धीमी यांत्रिक गति (स्थिति/वेग) और तेज़ विद्युत गति (मोटर करंट) के बीच की अंतःक्रिया।
• ऑप्टिमाइज़ेशन-आधारित नियंत्रण: एक भौतिक प्लांट (धीमा) जो एक ऑनलाइन ऑप्टिमाइज़ेशन एल्गोरिदम (तेज़) के साथ इंटरैक्ट करता है जो नियंत्रण इनपुट की गणना करता है।

इन परिदृश्यों में, सुरक्षा बाधाएं (जैसे, बाधाओं से बचना, जॉइंट लिमिट का सम्मान करना) आमतौर पर केवल धीमी अवस्थाओं (slow states) पर निर्भर करती हैं। हालाँकि, पूर्ण उच्च-आयामी इंटरकनेक्टेड सिस्टम के लिए कंट्रोल बैरियर फंक्शन्स (CBFs) को डिजाइन करना कम्प्यूटेशनल रूप से महंगा और अक्सर अव्यवहार्य होता है क्योंकि इसमें अज्ञात या जटिल कपलिंग डायनेमिक्स शामिल होते हैं।

मुख्य चुनौती जिसका समाधान किया गया है वह यह है: हम केवल एक कम-क्रम (reduced-order) मॉडल के लिए डिज़ाइन किए गए सुरक्षा प्रमाण पत्र (CBF) का उपयोग करके एक पूर्ण फीडबैक-इंटरकनेक्टेड सिस्टम की सुरक्षा कैसे सुनिश्चित कर सकते हैं?

2. कार्यप्रणाली (Methodology)

लेखक सिंगुलर परटर्बेशन थ्योरी (timescale separation) पर आधारित एक औपचारिक ढांचा प्रस्तावित करते हैं ताकि एक कम-क्रम वाले मॉडल से सुरक्षा प्रमाण पत्र को पूर्ण सिस्टम तक "लिफ्ट" (lift) किया जा सके।

A. सिस्टम मॉडलिंग (System Modeling)

सिस्टम को एक छोटे पैरामीटर $\epsilon > 0$ के साथ सिंगुलरली परटर्बड सिस्टम के रूप में मॉडल किया गया है:

• धीमा सबसिस्टम (Slow Subsystem): $\dot{x} = f(x, z, u)$
• तेज़ सबसिस्टम (Fast Subsystem): $\epsilon \dot{z} = g(z, x, u)$
  • $x$: धीमी अवस्था (जैसे, स्थिति)।
  • $z$: तेज़ अवस्था (जैसे, करंट, ऑप्टिमाइज़ेशन वेरिएबल्स)।
  • $u$: नियंत्रण इनपुट।

B. मुख्य धारणाएँ (Key Assumptions)

1. सुरक्षा परिभाषा: सुरक्षा केवल धीमी अवस्था $x$ के माध्यम से एक सेट $S_x$ द्वारा परिभाषित है। समग्र सुरक्षित सेट $S = \{(x, z) \mid x \in S_x\}$ है।
2. इक्विलिब्रियम मैनिफोल्ड (Equilibrium Manifold): तेज़ सबसिस्टम एक निरंतर अवकलनीय (continuously differentiable) इक्विलिब्रियम फंक्शन $z_{eq}(x, u)$ स्वीकार करता है, जहाँ $0 = g(z_{eq}, x, u)$।
3. कम-क्रम सुरक्षा (Reduced-Order Safety): एक रोबस्ट CBF $h(x)$ और एक कंट्रोलर $\pi(x)$ मौजूद है जो कम किए गए सिस्टम $\dot{x} = f(x, z_{eq}(x, \pi(x)), \pi(x))$ के लिए एक सख्त मार्जिन $\eta > 0$ के साथ सुरक्षा स्थिति को संतुष्ट करता है।
4. तेज़ स्थिरता (Fast Stability): "बाउंड्री लेयर सिस्टम" (स्थिर धीमी अवस्थाओं के साथ तेज़ डायनेमिक्स) एक ग्लोबल एक्सपोनेंशियल रूप से स्थिर (globally exponentially stable) है, जिसे एक ल्यपुनोव फंक्शन $U(\tilde{z})$ द्वारा अभिलक्षित किया गया है।

C. प्रस्तावित समाधान: कंपोजिट CBF (Proposed Solution: Composite CBF)

लेखक एक कंपोजिट कंट्रोल बैरियर फंक्शन $V(x, z)$ का निर्माण करते हैं जो कम-क्रम वाले सुरक्षा प्रमाण पत्र और तेज़ सबसिस्टम के स्थिरता गुणों को जोड़ता है:
$$V(x, z) := h(x) - U(z - z_{eq}(x, \pi(x)))$$

• तर्क (Logic): $h(x)$ वाला पद यह सुनिश्चित करता है कि धीमी अवस्था सुरक्षित रहे। $-U(\cdot)$ वाला पद एक "पेनल्टी" या "बफर" के रूप में कार्य करता है जो $x$ के स्वीकार्य क्षेत्र को इस आधार पर छोटा करता है कि तेज़ अवस्था $z$, अपने इक्विलिब्रियम $z_{eq}$ से कितनी दूर है।
• परिणाम: यदि टाइमस्केल सेपरेशन पैरामीटर $\epsilon$ पर्याप्त छोटा ($\epsilon < \bar{\epsilon}$) है, तो $V$ का ज़ीरो-सुपरलेवल सेट (जिसे $C_V$ कहा जाता है) फॉरवर्ड इनवेरिएंट (forward invariant) है। यह गारंटी देता है कि पूर्ण इंटरकनेक्टेड सिस्टम सुरक्षित रहेगा।

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

1. सुरक्षा लिफ्टिंग के लिए पहला औपचारिक ढांचा: यह सिंगुलर परटर्बेशन थ्योरी का उपयोग करके कम-क्रम वाले सुरक्षा प्रमाण पत्रों को सामान्य फीडबैक-इंटरकनेक्टेड सिस्टम तक लिफ्ट करने के लिए पर्याप्त स्थितियों को स्थापित करने वाला पहला कार्य है।
2. कंपोजिट CBF निर्माण: एक विशिष्ट कंपोजिट फंक्शन $V(x, z)$ का व्युत्पन्न जो धीमी सुरक्षा बाधा को तेज़ सबसिस्टम के अभिसरण (convergence) गुणों के साथ गणितीय रूप से जोड़ता है।
3. कम्प्यूटेशनल दक्षता: यह दृष्टिकोण अनुमति देता है कि ऑनलाइन सुरक्षा फ़िल्टर (जो आमतौर पर एक क्वाड्रेटिक प्रोग्राम होता है) को केवल निम्न-आयामी कम-क्रम वाले मॉडल के लिए हल किया जा जाए। पूर्ण सिस्टम की सुरक्षा यह सुनिश्चित करते हुए ए पोस्टेरियोरी (a posteriori) गारंटी दी जाती है कि $\epsilon$ पर्याप्त छोटा है।
4. सुरक्षा मार्जिन के माध्यम से मजबूती (Robustness): यह विधि कम-क्रम वाले डिज़ाइन में होने वाले व्यवधानों को सोखने के लिए स्पष्ट रूप से एक सुरक्षा मार्जिन $\eta$ का उपयोग करती है।

4. परिणाम और सत्यापन (Results and Validation)

शोध पत्र दो अलग-अलग संख्यात्मक सिमुलेशन के माध्यम से सिद्धांत को मान्य करता है:

A. जॉइंट मोटर डायनेमिक्स के साथ रोबोटिक आर्म

• सेटअप: एक 2-DoF प्लेनर रोबोटिक आर्म जहाँ मैकेनिकल डायनेमिक्स धीमी है और मोटर इलेक्ट्रिकल डायनेमिक्स तेज़ है।
• कार्यान्वयन: एक सुरक्षा फ़िल्टर को कम किए गए मैकेनिकल मॉडल (इंडक्टेंस को अनदेखा करते हुए) के लिए डिज़ाइन किया गया था।
• परिणाम:
  • छोटे $\epsilon$ (तेज़ इलेक्ट्रिकल डायनेमिक्स) के लिए, रोबोट सफलतापूर्वक बाधाओं से बच गया और जॉइंट लिमिट का पालन किया।
  • जैसे-जैसे $\epsilon$ बढ़ा (धीमी इलेक्ट्रिकल डायनेमिक्स), तेज़ अवस्था इक्विलिब्रियम को पर्याप्त तेज़ी से ट्रैक नहीं कर सकी, जिससे सुरक्षा उल्लंघन हुआ।
  • इसने सिद्धांत द्वारा अनुमानित एक क्रिटिकल थ्रेशोल्ड $\bar{\epsilon}$ के अस्तित्व की पुष्टि की।

B. उप-इष्टतम सुरक्षित नियंत्रण (Suboptimal Safe Control - Optimization-Based)

• सेटअप: एक भौतिक प्लांट जिसे एक ऑनलाइन ऑप्टिमाइज़ेशन एल्गोरिदम (प्राइमल-ड्यूल ग्रेडिएंट फ्लो) द्वारा नियंत्रित किया जाता है, जो एक बाधित समस्या को हल कर रहा है।
• कार्यान्वयन: एल्गोरिदम तेज़ सबसिस्टम के रूप में कार्य करता है। सुरक्षा फ़िल्टर को यह मानते हुए डिज़ाइन किया गया था कि ऑप्टिमाइज़र तुरंत अभिसरित (converge) हो जाता है।
• परिणाम:
  • जब ऑप्टिमाइज़ेशन एल्गोरिदम तेज़ था (छोटा $\epsilon$), तो सिस्टम सुरक्षित रहा।
  • जब एल्गोरिदम धीमा था, तो सिस्टम ने सुरक्षा सीमाओं का उल्लंघन किया क्योंकि नियंत्रण इनपुट आवश्यक सुरक्षित मान के पीछे रह गया था।
  • परिणामों ने प्रदर्शित किया कि प्रस्तावित ढांचा एल्गोरिदम की गति और सुरक्षा गारंटी के बीच के ट्रेड-ऑफ को सही ढंग से भविष्यवाणी करता है।

5. महत्व (Significance)

• सिद्धांत और व्यवहार को जोड़ना: यह शोध पत्र नियंत्रण सिद्धांत के एक महत्वपूर्ण अंतर को संबोधित करता है जहाँ बहु-टाइमस्केल सिस्टम आम हैं, लेकिन सुरक्षा सत्यापन उपकरण (जैसे CBFs) अक्सर पूर्ण सिस्टम के लिए बहुत अधिक कम्प्यूटेशनल रूप से भारी होते हैं।
• स्केलेबिलिटी (Scalability): सुरक्षा फ़िल्टर डिज़ाइन को तेज़ डायनेमिक्स से अलग करके, यह विधि उच्च-आयामी प्रणालियों (जैसे, जटिल रोबोट, पावर ग्रिड) पर वास्तविक समय में उच्च-आयामी अनुकूलन समस्याओं को हल किए बिना, सुरक्षित रूप से तैनात करने में सक्षम बनाती है।
• सैद्धांतिक कठोरता: यह ल्यपुनोव विश्लेषण और सिंगुलर परटर्बेशन बाउंड्स के माध्यम से एक सुरक्षा प्रमाण प्रदान करता है, जो इंजीनियरिंग अभ्यास में अक्सर उपयोग किए जाने वाले ह्यूरिस्टिक अनुमानों से आगे जाता है।

संक्षेप में, यह शोध पत्र एक व्यवस्थित, गणितीय रूप से सिद्ध तरीका प्रदान करता है कि यदि कोई कंट्रोलर एक सरलीकृत मॉडल के लिए सुरक्षित है, तो वह पूर्ण भौतिक सिस्टम के लिए भी सुरक्षित रहता है, बशर्ते कि सिस्टम के "तेज़" भाग (एक्टुएटर्स, एल्गोरिदम) "धीमे" भागों (प्लांट डायनेमिक्स) की तुलना में पर्याप्त तेज़ी से कार्य करें।