Safe Adaptive Control of Parabolic PDE-ODE Cascades

तकनीकी सारांश: परवलयिक PDE-ODE कैस्केड का सुरक्षित अनुकूली नियंत्रण (Safe Adaptive Control of Parabolic PDE-ODE Cascades)

समस्या का निरूपण (Problem Formulation)
यह शोध पत्र एक श्रेणी के कैस्केडेड सिस्टम के नियंत्रण को संबोधित करता है जिसमें एक परवलयिक आंशिक अवकल समीकरण (PDE) और एक साधारण अवकल समीकरण (ODE) शामिल है। प्लांट को एक नियंत्रणीय कैनोनिकल रूप में एक रैखिक ODE द्वारा मॉडल किया गया है, जो प्रसार (diffusion) और प्रतिक्रिया (reaction) पदों वाले एक परवलयिक PDE के साथ जुड़ा हुआ है। संबोधित की गई एक महत्वपूर्ण चुनौती दोनों सबसिस्टम में पैरामीट्रिक अनिश्चितताओं की उपस्थिति है (विशेष रूप से PDE सबसिस्टम में प्रतिक्रिया गुणांक $\lambda$ और ODE सबसिस्टम में इनपुट गेन $b$)।

नियंत्रण का उद्देश्य दोआयामी है:

1. स्थिरीकरण (Stabilization): सभी प्लांट अवस्थाओं (दोनों PDE अवस्था $u(x,t)$ और ODE अवस्था $Y(t)$) को शून्य पर अभिसरित (converge) करना।
2. सुरक्षा (Safety): एक बैरियर फंक्शन $h(y_1(t), t) \geq 0$ द्वारा परिभाषित अवस्था बाधाओं को लागू करना, जहाँ $y_1$, ODE की पहली अवस्था है। नियंत्रक को यह सुनिश्चित करना चाहिए कि यदि सिस्टम एक सुरक्षित सेट में शुरू होता है, तो वह सुरक्षित रहे; यदि यह एक असुरक्षित सेट में शुरू होता है, तो उसे उपयोगकर्ता द्वारा निर्धारित सीमित समय के भीतर सुरक्षित क्षेत्र में वापस लाया जाए।

कार्यप्रणाली (Methodology)
प्रस्तावित समाधान अनुकूली नियंत्रण बैरियर फंक्शन्स (aCBFs) को बैकस्टेपिंग (Backstepping) डिजाइन और एक बैच लीस्ट-स्क्वेयर्स आइडेंटिफिकेशन (BaLSI) योजना के साथ एकीकृत करता है।

1. नाममात्र सुरक्षित नियंत्रण डिजाइन (Nominal Safe Control Design):

   • निर्देशांक रूपांतरण (Coordinate Transformation): ODE को एक रैखिक रूपांतरण मैट्रिक्स $T_z$ का उपयोग करके इंटीग्रेटर्स की एक श्रृंखला में परिवर्तित किया जाता है। एक उच्च-सापेक्ष-डिग्री (high-relative-degree) CBF फ्रेमवर्क को रूपांतरित ODE अवस्थाओं ($z_i$) पर लागू किया जाता है ताकि बैरियर फंक्शन्स की एक श्रृंखला $h_i$ का निर्माण किया जा सके।
   • प्रारंभिक असुरक्षित अवस्थाओं को संभालना: एक समय-परिवर्तनीय सहायक फलन $\sigma(t)$ पेश किया जाता है। यदि प्रारंभिक अवस्था असुरक्षित ($h \leq 0$) है, तो $\sigma(t)$ एक अस्थायी बैरियर बनाता है जो अवस्था को पूर्व-निर्धारित समय $t_a$ के भीतर सुरक्षित क्षेत्र में वापस लाता है।
   • PDE बैकस्टेपिंग: एक बैकस्टेपिंग रूपांतरण का उपयोग मूल अस्थिर PDE-ODE कैस्केड को एक लक्ष्य प्रणाली (target system) में मैप करने के लिए किया जाता है। यह लक्ष्य प्रणाली एक स्थिर ODE (बैरियर डायनेमिक्स द्वारा नियंत्रित) और एक डैम्पिंग टर्म के साथ एक स्थिर हीट इक्वेशन से बनी होती है।
   • नियंत्रण नियम (Control Law): सीमा नियंत्रण इनपुट $U(t)$ को अस्थिर करने वाले पदों को रद्द करने और सुरक्षा शर्तों को पूरा करने के लिए एक क्षयकारी सिग्नल (decaying signal) $\delta(t)$ इंजेक्ट करने के लिए डिज़ाइन किया गया है।

2. अनुकूली विस्तार (Adaptive Extension):

   • पैरामीटर पहचान (Parameter Identification): चूंकि $\lambda$ और $b$ अज्ञात हैं, इसलिए नाममात्र नियंत्रक को पैरामीटर अनुमानों $\hat{\lambda}$ और $\hat{b}$ का उपयोग करके एक अनुकूली संस्करण द्वारा प्रतिस्थापित किया जाता है।
   • BaLSI योजना: एक ट्रिगर्ड बैच लीस्ट-स्क्वेयर्स आइडेंटिफायर का उपयोग किया जाता है। निरंतर अनुकूलन के विपरीत, यह योजना विशिष्ट समय अंतरालों $t_i$ पर पैरामीटर अपडेट करती है। विशिष्ट अंतरालों पर सिस्टम डायनेमिक्स को एकीकृत करके, एक रैखिक प्रतिगमन (linear regression) समस्या बनाई जाती है।
   • सीमित-समय सटीक पहचान (Finite-Time Exact Identification): प्रस्तावित ट्रिगरिंग तंत्र और उत्तेजना (excitation) स्थितियों के तहत एक प्रमुख सैद्धांतिक परिणाम यह है कि पैरामीटर अनुमान निश्चित समय में (विशेष रूप से पहले अपडेट इंस्टेंट $t_1$ पर) सटीक वास्तविक मानों की ओर अभिसरित होते हैं। यह अनंत समय के लिए निरंतर उत्तेजना (persistent excitation) की आवश्यकता को समाप्त करता है और $t_1$ के बाद पैरामीटर अनुमान त्रुटियों को हटा देता है।

3. स्थिरता और सुरक्षा विश्लेषण (Stability and Safety Analysis):

   • लक्ष्य प्रणाली की अवस्थाओं के शून्य की ओर घातीय अभिसरण (exponential convergence) को सिद्ध करने के लिए एक ल्यापुनोव (Lyapunov) फलन का निर्माण किया गया है।
   • सुरक्षा विश्लेषण यह प्रदर्शित करता है कि उच्च-सापेक्ष-डिग्री CBF स्थितियाँ संतुष्ट हैं। डिजाइन यह सुनिश्चित करता है कि यदि सुरक्षित रूप से प्रारंभ किया गया हो, तो बैरियर फंक्शन सभी समय के लिए गैर-ऋणात्मक बना रहता है; या यदि असुरक्षित रूप से प्रारंभ किया गया हो, तो निर्धारित समय $t_a$ के भीतर गैर-ऋणात्मक हो जाता है।

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

1. अनुकूली PDE नियंत्रण के लिए कठोर सुरक्षा गारंटी: मौजूदा अनुकूली सीमा नियंत्रण विधियों के विपरीत, जो मुख्य रूप से स्थिरीकरण पर ध्यान केंद्रित करते हैं, यह कार्य पैरामीट्रिक अनिश्चितताओं के तहत कठोर सुरक्षा गारंटी प्रदान करता है।
2. सुरक्षित बैकस्टेपिंग का सामान्यीकरण: जबकि पिछले कार्यों (जैसे [12]) ने स्टेफन मॉडल्स (एक विशिष्ट परवलयिक PDE) के लिए सुरक्षित नियंत्रण को संबोधित किया था, यह कार्य इन-डोमेन अस्थिरताओं, युग्मित ODEs और सामान्य सुरक्षा बाधाओं वाले व्यापक वर्ग की समस्याओं तक इस ढांचे का विस्तार करता है।
3. परवलयिक PDE-ODE कैस्केड के लिए प्रथम सुरक्षित अनुकूली नियंत्रण: यह पेपर हाइपरबोलिक PDE-ODE कैस्केड्स (जैसे [42]) के लिए हाल के सुरक्षित अनुकूली नियंत्रण परिणामों से खुद को अलग करता है, जो मौलिक रूप से भिन्न डायनेमिक्स वाले परवलयिक सिस्टम को संबोधित करता है। लेखकों की जानकारी के अनुसार, यह परवलयिक PDE के लिए सुरक्षित अनुकूली नियंत्रण स्थापित करने वाला पहला परिणाम है।

परिणाम (Results)
एक दूसरे क्रम के ODE पर संख्यात्मक सिमुलेशन आयोजित किए गए जो एक परवलयिक PDE के साथ जुड़ा हुआ है। सिमुलेशन ने सैद्धांतिक दावों की पुष्टि की:

• स्थिरीकरण: सभी अवस्थाएँ ($u(x,t)$ और $Y(t)$) शून्य पर अभिसरित हुईं।
• सुरक्षा:
  • प्रारंभिक सुरक्षित मामले में, आउटपुट $y_1(t)$ ट्रांजिएंट के दौरान सुरक्षित क्षेत्र के भीतर रहा।
  • प्रारंभिक असुरक्षित मामले में, नियंत्रक ने निर्धारित समय $t_a$ (जैसे, 1 सेकंड) के भीतर आउटपुट को सुरक्षित क्षेत्र में सफलतापूर्वक वापस लाया।
• पैरामीटर पहचान: BaLSI योजना ने पहले ट्रिगरिंग समय पर अज्ञात पैरामीटर $\lambda$ और $b$ की सटीक पहचान प्राप्त की, जिसके बाद अनुकूली नियंत्रक नाममात्र (ज्ञात-पैरामीटर) नियंत्रक के समान व्यवहार करने लगा।
• प्रारंभिक स्थितियों के प्रति मजबूती: नियंत्रक ने चाहे सिस्टम सुरक्षित या असुरक्षित क्षेत्र से शुरू हुआ हो, और विभिन्न सुरक्षित बैरियर फंक्शन (रैखिक और घातीय क्षय) की परिभाषाओं के लिए प्रभावी ढंग से कार्य किया।

महत्व और दावे (Significance and Claims)
यह शोध पत्र स्वयं को वितरित पैरामीटर सिस्टम (distributed parameter systems) के नियंत्रण में एक महत्वपूर्ण कदम के रूप में प्रस्तुत करता है जहाँ सुरक्षा सर्वोपरि है। यह सुरक्षा-क्रिटिकल कंट्रोल (CBFs) और अनिश्चितताओं वाले अनंत-आयामी सिस्टम के लिए अनुकूली नियंत्रण के बीच के अंतर को पाटता है। लेखक इस बात पर जोर देते हैं कि सीमित-समय सटीक पैरामीटर पहचान को उच्च-सापेक्ष-डिग्री CBFs के साथ मिलाने से अनुकूली सुरक्षा नियंत्रण से जुड़े रूढ़िवाद (conservatism) को हटाने में मदद मिलती है, जिससे यह सुनिश्चित होता है कि एक बार पहचान चरण पूरा होने के बाद पैरामीटर अनुमान त्रुटियों से सुरक्षा समझौता नहीं किया जाता है। यह कार्य व्यावहारिक भौतिक प्रणालियों (जैसे कि परिचय में उल्लेखित तरल प्रवाह, ऊष्मा स्थानांतरण, रासायनिक प्रक्रियाएं) पर इन विधियों को लागू करने के लिए आधार तैयार करता है, हालांकि विशिष्ट हार्डवेयर कार्यान्वयन भविष्य के कार्य के लिए आरक्षित है।