Safe Output Regulation of Coupled Hyperbolic PDE-ODE Systems

यहाँ जी वांग और मिर्सलोव क्रिस्टिक के शोध पत्र "Safe Output Regulation of Coupled Hyperbolic PDE-ODE Systems" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का निरूपण (Problem Formulation)

यह शोध पत्र युग्मित (coupled) $2 \times 2$ हाइपरबोलिक PDE द्वारा मॉडल किए गए प्रणालियों के एक वर्ग के लिए सुरक्षित आउटपुट रेगुलेशन (safe output regulation) समस्या को संबोधित करता है, जो एक ODE सबसिस्टम के साथ परस्पर जुड़े हुए हैं।

• सिस्टम संरचना: प्लांट में एक स्ट्रिक्ट-फीडबैक लीनियर ODE सबसिस्टम (जो उदाहरण के तौर पर एक पेलोड या वाहन की गतिशीलता को दर्शाता है) शामिल है, जो दो काउंटर-ट्रांसपोर्टिंग हाइपरबोलिक PDEs (जो तरंग जैसी गतिशीलता, जैसे कि एक केबल, को दर्शाते हैं) के साथ जुड़ा हुआ है।
• विक्षोभ (Disturbances): सिस्टम PDE डोमेन और ODE में पूरे क्षेत्र में कार्य करने वाले पूर्णतः वितरित विक्षोभों (fully distributed disturbances) के साथ-साथ बाहरी संदर्भ संकेतों (reference signals) और एक एक्सोजेनस मॉडल (जैसे साइनुसोइडल या स्थिर संकेत) द्वारा उत्पन्न विक्षोभों के अधीन है।
• नियंत्रण उद्देश्य (Control Objective):
  1. आउटपुट रेगुलेशन: सिस्टम आउटपुट (विशेष रूप से नियंत्रण इनपुट से सबसे दूर स्थित अवस्था) को वांछित संदर्भ संकेत को ट्रैक करने के लिए प्रेरित करना और घातीय अभिसरण (exponential convergence) सुनिश्चित करना।
  2. सुरक्षा (Safety): यह सुनिश्चित करना कि विनियमित आउटपुट एक समय-परिवर्तनीय सुरक्षित क्षेत्र के भीतर रहे, जिसे बैरियर फंक्शन $h(e(t), t) \geq 0$ द्वारा परिभाषित किया गया है।
  3. मजबूती (Robustness): अमापनीय अवस्थाओं (unmeasurable states) (दोनों PDE और ODE अवस्थाओं) और अज्ञात बाहरी विक्षोभों को संभालना।
  4. बचाव क्षमता (Rescue Capability): यदि सिस्टम सुरक्षित क्षेत्र से बाहर शुरू होता है, तो नियंत्रक को यह गारंटी देनी चाहिए कि अवस्था उपयोगकर्ता द्वारा निर्धारित एक निर्दिष्ट समय (prescribed time) के भीतर सुरक्षा में वापस आ जाए।

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

लेखक एक नियंत्रण ढांचा प्रस्तावित करते हैं जो बैकस्टेपिंग (Backstepping), कंट्रोल बैरियर फंक्शन्स (CBFs), और ऑब्जर्वर डिज़ाइन को एकीकृत करता है।

A. नॉमिनल स्टेट-फीडबैक डिज़ाइन

1. निर्देशांक रूपांतरण (Coordinate Transformations):
   • प्रथम रूपांतरण: ODE सबसिस्टम को ट्रैकिंग एरर डायनेमिक्स को सुगम बनाने के लिए एक चेन ऑफ इंटीग्रेटर्स के रूप में परिवर्तित करता है।
   • द्वितीय रूपांतरण (CBF निर्माण): ट्रैकिंग एरर और उसके डेरिवेटिव के आधार पर बैरियर फंक्शन्स ($h_1, \dots, h_n$) की एक श्रृंखला का निर्माण करता है। यह ODE को एक हाई-रिलेटिव-डिग्री CBF संरचना में बदल देता है। एक विशिष्ट सहायक फलन $\sigma(t)$ को उन प्रारंभिक अवस्थाओं को संभालने के लिए पेश किया जाता है जो पहले से ही असुरक्षित हैं, जिससे एक निश्चित समय $t_a$ के भीतर "बचाव" (rescue) सुनिश्चित होता है।
   • तृतीय रूपांतरण (Backstepping): PDE सबसिस्टम पर एक बैकस्टेपिंग रूपांतरण लागू करता है ताकि इन-डोमेन कपलिंग टर्म्स को अलग किया जा सके और एक्सोजेनस सिग्नल मॉडल पर निर्भरता को समाप्त किया जा सके। यह मूल सिस्टम को एक टारगेट सिस्टम में मैप करता है, जिसमें एक स्थिर ODE (CBF चेन) और शून्य बाउंड्री कंडीशन वाले डीकप्ल्ड ट्रांसपोर्ट PDEs शामिल हैं।
2. नियंत्रण नियम (Control Law): नियंत्रण इनपुट को टारगेट सिस्टम को स्थिर करने के लिए स्पष्ट रूप से व्युत्पन्न किया जाता है, जिससे यह सुनिश्चित होता है कि बैरियर फंक्शन्स सकारात्मक बने रहें (सुरक्षा) और ट्रैकिंग एरर शून्य की ओर अभिसरित हो।

B. आउटपुट-फीडबैक डिज़ाइन (अनिश्चितताओं को संभालना)

चूंकि पूर्ण अवस्था का मापन अक्सर उपलब्ध नहीं होता है, इसलिए लेखक एक विस्तारित ऑब्जर्वर (extended observer) डिज़ाइन करते हैं:

1. ऑब्जर्वर संरचना: एक ऑब्जर्वर अमापनीय PDE अवस्थाओं ($z, w$), ODE अवस्थाओं ($Y$), और एक्सोजेनस डिस्टर्बेंस/रेफरेंस सिग्नल्स ($v$) का अनुमान लगाता है।
2. विक्षोभ अनुमान (Disturbance Estimation): ऑब्जर्वर वितरित विक्षोभों को पुनर्गठित करने के लिए मापने योग्य आउटपुट $z(1, t)$ और संदर्भ संकेत का उपयोग करता है।
3. त्रुटि सीमाएं (Error Bounds): ल्यपुनोव विश्लेषण (Lyapunov analysis) का उपयोग करके अनुमान त्रुटियों की स्पष्ट सीमाएं प्राप्त की जाती हैं। ये सीमाएं घातीय रूप से घटती हैं।
4. रोबस्ट सेफ कंट्रोलर: आउटपुट-फीडबैक नियंत्रण नियम वास्तविक अवस्थाओं को अनुमानित अवस्थाओं से बदल देता है और इसमें एक रोबस्टिफिकेशन टर्म (अनुमानित त्रुटि सीमा द्वारा स्केल किया गया साइन फंक्शन) जोड़ता है। यह टर्म अनुमान त्रुटियों को ध्यान में रखते हुए सुरक्षित सेट को थोड़ा सिकोड़ देता है, जिससे यह सुनिश्चित होता है कि अपूर्ण अवस्था ज्ञान के साथ भी सुरक्षा बनी रहे।

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

1. PDEs के लिए प्रथम सुरक्षित आउटपुट रेगुलेशन: यह कार्य सुरक्षित आउटपुट रेगुलेशन के लिए पहला परिणाम प्रस्तुत करता है, जो सुरक्षा अवधारणाओं (CBFs) को परिमित-आयामी ODEs से अनंत-आयामी PDE-ODE कैस्केड्स तक विस्तारित करता है।
2. वितरित विक्षोभों के साथ आउटपुट-फीडबैक: पिछले सुरक्षित नियंत्रण कार्यों के विपरीत, जिन्होंने पूर्ण अवस्था उपलब्धता मानी थी, यह शोध पत्र एक ऐसा नियंत्रक विकसित करता है जो अमापनीय PDE अवस्थाओं और पूर्णतः वितरित विक्षोभों को एक साथ संभाल सकता है।
3. सामान्य बैरियर फंक्शन्स और निर्धारित-समय बचाव (Prescribed-Time Rescue):
   • यह ढांचा सामान्य बैरियर फंक्शन्स का समर्थन करता है (केवल सकारात्मकता तक सीमित नहीं है)।
   • यह एक तंत्र पेश करता है जो गारंटी देता है कि यदि सिस्टम एक असुरक्षित अवस्था में शुरू होता है, तो इसे उपयोगकर्ता-निर्धारित समय $t_a$ के भीतर सुरक्षित क्षेत्र में "बचाया" जाएगा, न कि केवल सुरक्षित प्रारंभिक स्थिति से सुरक्षा बनाए रखेगा।
4. कठोर स्थिरता और सुरक्षा प्रमाण: शोध पत्र निम्नलिखित के लिए कठोर प्रमाण प्रदान करता है:
   • ट्रैकिंग एरर का शून्य की ओर घातीय अभिसरण।
   • ऑब्जर्वर त्रुटियों का शून्य की ओर घातीय अभिसरण।
   • विनियमित आउटपुट की गारंटीकृत सुरक्षा (इनवेरिएंस या परिमित-समय बचाव)।
   • सभी क्लोज्ड-लूप सिग्नल्स की परिबद्धता (Boundedness)।

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

प्रस्तावित विधि को केबल-सस्पेंडेड पेलोड के साथ UAV डिलीवरी परिदृश्य के माध्यम से सत्यापित किया गया:

• मॉडल: सिस्टम एक UAV (ODE) और एक केबल (Wave PDEs) को मॉडल करता है, जो हवा के विक्षोभों (वितरित) और पेलोड डायनेमिक्स के अधीन है।
• सिमुलेशन केस:
  • केस 1 (एक तरफा बैरियर): पेलोड को एक निश्चित संदर्भ रेखा से ऊपर रहना चाहिए। नियंत्रक ने सफलतापूर्वक संदर्भ को ट्रैक किया और सुरक्षा बनाए रखी। जब इसे असुरक्षित क्षेत्र में शुरू किया गया, तो पेलोड को निर्धारित सीमा के भीतर 1.85 सेकंड में सुरक्षित क्षेत्र में पहुँचा दिया गया।
  • केस 2 (दो-तरफा बैरियर): पेलोड को ऊपरी और निचले बैरियर्स द्वारा परिभाषित कॉरिडोर के भीतर रहना चाहिए। नियंत्रक ने संदर्भ को ट्रैक करते हुए दोनों बैरियर्स से टक्कर को सफलतापूर्वक रोका।
• प्रदर्शन:
  • ऑब्जर्वर ने वितरित अवस्थाओं और बाहरी विक्षोभों का सटीक अनुमान लगाया।
  • सिस्टम ओपन-लूप अस्थिरता को सिम्युलेट करने के लिए एंटी-डैम्पिंग पेश करने के बाद भी स्थिर रहा।
  • नियंत्रण इनपुट परिबद्ध (bounded) रहे और ट्रैकिंग एरर घातीय रूप से अभिसरित हुआ।

5. महत्व (Significance)

यह शोध पत्र सुरक्षित नियंत्रण (जो आमतौर पर ODE-आधारित होता है) और अनंत-आयामी प्रणालियों (PDEs) के बीच एक महत्वपूर्ण अंतर को पाटता है। इसका महत्व निम्नलिखित में निहित है:

• स्वायत्त सुरक्षा (Autonomous Safety): यह गारंटी प्रदान करना कि तरंग गतिशीलता (जैसे क्रेन, केबल के साथ UAV, तरल पाइप) द्वारा संचालित स्वायत्त प्रणालियाँ अज्ञात, वितरित पर्यावरणीय विक्षोभों की उपस्थिति में भी सुरक्षित रूप से कार्य कर सकती हैं।
• व्यावहारिक प्रयोज्यता: अमापनीय अवस्थाओं को संभालने की क्षमता इस समाधान को वास्तविक दुनिया के अनुप्रयोगों के लिए व्यवहार्य बनाती है जहाँ वितरित मापदंडों की पूर्ण अवस्था को सेंस करना असंभव है।
• निर्धारित-समय सुरक्षा: "बचाव" (rescue) क्षमता सुरक्षा आश्वासन का एक नया स्तर प्रदान करती है, जिससे सिस्टम को सुरक्षा बाधाओं के क्षणिक उल्लंघन से एक गारंटीकृत समय सीमा के भीतर उबरने की अनुमति मिलती है, जो उच्च-दांव वाले स्वायत्त संचालन के लिए अत्यंत महत्वपूर्ण है।

निष्कर्षतः, वांग और क्रिस्टिक ने एक मजबूत, सैद्धांतिक रूप से सुदृढ़ ढांचा विकसित किया है जो अनिश्चितता के तहत जटिल युग्मित PDE-ODE प्रणालियों के लिए सटीक प्रक्षेपवक्र ट्रैकिंग (trajectory tracking) और सख्त सुरक्षा अनुपालन दोनों सुनिश्चित करता है।