Local Safety Filters for Networked Systems via Two-Time-Scale Design

यहाँ एमिलियानो डैल'अनेसेज़ (Emiliano Dall'Anese) के शोध पत्र "Local Safety Filters for Networked Systems via Two-Time-Scale Design" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र नेटवर्क्ड डायनेमिकल सिस्टम्स (जैसे पावर ग्रिड, परिवहन नेटवर्क, रोबोटिक स्वार्म्स) में कंट्रोल बैरियर फंक्शन (CBF) आधारित सेफ्टी फिल्टर्स को लागू करने की चुनौती का समाधान करता है।

• मुख्य संघर्ष (The Core Conflict): जबकि CBFs नाममात्र के कंट्रोलर (nominal controller) में न्यूनतम संशोधन करके फॉरवर्ड इनवेरियंस (सुरक्षा) की औपचारिक गारंटी प्रदान करते हैं, उनके मानक कार्यान्वयन के लिए एक वैश्विक अनुकूलन समस्या (Quadratic Program, या QP) को हल करने की आवश्यकता होती है।
• बाधा (The Bottleneck): बड़े पैमाने के नेटवर्क वाले सिस्टम में, इस QP को केंद्रीकृत रूप से या उच्च संचार ओवरहेड के साथ वितरित रूप से हल करना अक्सर अव्यवहारिक होता है। इसके लिए निम्नलिखित की आवश्यकता होती है:
  1. वैश्विक अवस्था जानकारी (Global State Information): कपलिंग टर्म्स की गणना करने के लिए पूरे नेटवर्क की अवस्था $x$ का ज्ञान।
  2. सटीक सिस्टम मॉडल (Exact System Models): वेक्टर फील्ड्स $F(x)$ और बाह्य विक्षोभों (exogenous disturbances) $w$ का सटीक ज्ञान।
  3. उच्च संचार दर (High Communication Rates): वास्तविक समय में सब-सिस्टम्स के बीच सुरक्षात्मक कार्यों के समन्वय के लिए।
• लक्ष्य (The Goal): इस शोध पत्र का उद्देश्य पूर्णतः स्थानीय सुरक्षा फिल्टर (fully local safety filters) को डिजाइन करना है जो केवल स्थानीय अवस्था मापों और स्थानीय डेरिवेटिव अनुमानों पर निर्भर करते हैं, बिना किसी वैश्विक अवस्था जानकारी या संचार की आवश्यकता के, साथ ही परिणामी सुरक्षा गारंटी में होने वाले ट्रेड-ऑफ (समझौते) को भी स्पष्ट करता है।

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

प्रस्तावित समाधान टू-टाइम-स्केल डिज़ाइन (two-time-scale design) का उपयोग करता है जो सिंगुलर परटर्बेशन थ्योरी (singular perturbation theory) से प्रेरित है। यह दृष्टिकोण आदर्श स्टैटिक सेफ्टी फिल्टर को एक डायनेमिक सिस्टम द्वारा अनुमानित करता है जो प्लांट के सापेक्ष एक तेज़ टाइम-स्केल पर विकसित होता है।

A. सिस्टम मॉडल (System Model)

सिस्टम में $N$ जुड़े हुए सब-सिस्टम्स शामिल हैं:
$$\dot{x}_i = f_i(x) + B_i u_i + w_i$$
जहाँ $x$ वैश्विक अवस्था है, $u$ इनपुट है, और $w$ एक विक्षोभ (disturbance) है। सुरक्षा को स्थानीय सुरक्षित सेटों $S_i = \{x_i : h_i(x_i) \geq 0\}$ द्वारा परिभाषित किया गया है।

B. आदर्श फिल्टर (The Ideal Filter - Baseline)

आदर्श सुरक्षा फिल्टर $s(x)$ उस QP का समाधान है जो सुरक्षा शर्त (CBF condition) को पूरा करने के लिए नाममात्र कंट्रोल $\kappa(x)$ को न्यूनतम रूप से संशोधित करता है। विशिष्ट सेपरेबल स्ट्रक्चर के लिए, इसका क्लोज्ड-फॉर्म समाधान है:
$$s_i(x) = d_i(x_i) \cdot \text{ReLU}(-\eta_i(x))$$
जहाँ $\eta_i(x)$ वैश्विक अवस्था $x$ और विक्षोभ $w$ पर निर्भर करता है, जो इसे नॉन-लोकल बनाता है।

C. प्रस्तावित डायनेमिक फिल्टर (The Proposed Dynamic Filter)

वैश्विक जानकारी की आवश्यकता को समाप्त करने के लिए, लेखक एक डायनेमिक फिल्टर $z_i$ पेश करते हैं जो इनपुट सुधार (input correction) के रूप में कार्य करता है। इस डिज़ाइन में दो चरण शामिल हैं:

1. डायनेमिक रिलैक्सेशन (Dynamic Relaxation): एक तेज़ डायनेमिक सिस्टम पेश करें जहाँ $z_i$ आदर्श स्टैटिक फिल्टर $s_i(x)$ को ट्रैक करता है।
2. मापन-आधारित सन्निकटन (Measurement-Based Approximation): अज्ञात वैश्विक टर्म्स $\eta_i(x)$ को स्थानीय डेरिवेटिव अनुमानों ($\hat{\dot{x}}_i$) से बदलें।
   • संबंध $\dot{x}_i = f_i(x) + B_i z_i + w_i$ का उपयोग करते हुए, $f_i(x) + w_i$ को $\hat{\dot{x}}_i - B_i z_i$ के रूप में अनुमानित किया जाता है।
   • स्थानीय फिल्टर डायनेमिक्स को इस प्रकार परिभाषित किया गया है:
     $$\epsilon \dot{z}_i = -z_i + \tilde{s}_i(x_i, z_i; \hat{\dot{x}}_i)$$
   • यहाँ $\epsilon > 0$ एक छोटा पैरामीटर है जो टाइम-स्केल्स को अलग करता है। टर्म $\tilde{s}_i$ वैश्विक डायनेमिक्स के बजाय अनुमानित डेरिवेटिव $\hat{\dot{x}}_i$ (जैसे कि "डर्टी डेरिवेटिव्स") का उपयोग करता है।

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

• वैश्विक समन्वय के बिना स्थानीय कार्यान्वयन: यह शोध पत्र यह प्रदर्शित करता है कि कैसे ऐसे सुरक्षा फिल्टर बनाए जा सकते हैं जिन्हें सब-सिस्टम्स के बीच कोई संचार नहीं चाहिए और न ही वैश्विक नेटवर्क मॉडल या विक्षोभों का कोई ज्ञान चाहिए।
• स्पष्ट प्रक्षेपवक्र विचलन सीमाएँ (Explicit Trajectory Deviation Bounds): लेखक उन गणितीय सीमाओं को प्राप्त करते हैं जो डायनेमिक लोकल फिल्टर वाले सिस्टम और आदर्श सेंट्रलाइज्ड फिल्टर वाले सिस्टम के प्रक्षेपवक्र (trajectory) के बीच की दूरी को मापती हैं।
  • यह सीमा निम्नलिखित पर निर्भर करती है:
    1. टाइम-स्केल पैरामीटर $\epsilon$।
    2. डेरिवेटिव का अनुमान त्रुटि (estimation error) ($e = \dot{x} - \hat{\dot{x}}$)।
    3. "एक्टिवेशन टाइम" (वह अवधि जब सुरक्षा फिल्टर सक्रिय रूप से कंट्रोल को संशोधित कर रहा है)।
• ट्रेड-ऑफ का लक्षण वर्णन (Trade-off Characterization): परिणाम सुरक्षा क्षरण (safety degradation) और कार्यान्वयन क्षमता (implementability) के बीच के ट्रेड-ऑफ को स्पष्ट रूप से दर्शाते हैं। जैसे-जैसे $\epsilon \to 0$ होता है, डायनेमिक फिल्टर आदर्श फिल्टर के करीब पहुँच जाता है, लेकिन इससे माप शोर (measurement noise) के प्रति संवेदनशीलता बढ़ जाती है।
• प्रथम प्रक्षेपवक्र-स्तरीय लक्षण वर्णन (First Trajectory-Level Characterization): यह कार्य नेटवर्क्ड सिस्टम्स में स्थानीय रूप से लागू होने वाले CBF फिल्टर्स के लिए प्रक्षेपव oleh स्तर पर सुरक्षा क्षरण का पहला विश्लेषण प्रदान करता है।

4. सैद्धांतिक परिणाम (Theoretical Results)

• प्रपोजिशन 1 (फिल्टर एरर): यह स्थापित करता है कि डायनेमिक फिल्टर अवस्था $z(t)$ और आदर्श स्टैटिक फिल्टर $s(x(t))$ के बीच का अंतर सीमित (bounded) है। त्रुटि एक स्थिर मान (steady-state value) की ओर अभिसरित होती है जो डेरिवेटिव अनुमान त्रुटि और $\epsilon$ के समानुपाती है।
• थ्योरम 1 (ट्रैजेक्टरी डेविएशन): $\|x(t) - x_s(t)\|$ पर एक सीमा प्रदान करता है, जहाँ $x(t)$ डायनेमिक फिल्टर के तहत सिस्टम की अवस्था है और $x_s(t)$ आदर्श फिल्टर के तहत अवस्था है।
  • सीमा दिखाती है कि सुरक्षा उल्लंघन $\epsilon$ और अनुमान त्रुटियों के परिमाण के साथ बढ़ता है।
  • यह रेखांकित करता है कि सिस्टम की अंतर्निहित संकुचन दर ($c_F$) अनुमान त्रुटियों के प्रभाव को कम करने में मदद करती है।
  • महत्वपूर्ण रूप से, विचलन मुख्य रूप से उन अंतरालों के दौरान संचित होता है जहाँ सुरक्षा फिल्टर सक्रिय होता है (अर्थात, जब बाधाएं सख्त होती हैं)।

5. संख्यात्मक प्रयोग (Numerical Experiments)

इस कार्यप्रणाली को ग्रिड-फॉलोइंग इनवर्टर के साथ एक पावर ट्रांसमिशन सिस्टम (IEEE-14 बस सिस्टम) पर मान्य किया गया।

• परिदृश्य (Scenario): लोड स्टेप के बाद फ्रीक्वेंसी कंट्रोल (frequency control), जिसमें फ्रीक्वेंसी नादिर (frequency nadir) पर एक बाधा है ($\omega \geq 59.5$ Hz)।
• सेटअप (Setup):
  • आदर्श CBF फिल्टर (वैश्विक जानकारी की आवश्यकता)।
  • प्रस्तावित डायनेमिक लोकल फिल्टर (स्थानीय डर्टी डेरिवेटिव अनुमानों का उपयोग करता है)।
  • कोई फिल्टर नहीं (बेसलाइन)।
• निष्कर्ष (Findings):
  • जैसे-जैसे टाइम-स्केल पैरामीटर $\epsilon$ घटता है (उदाहरण के लिए, $\epsilon = 0.1$), डायनेमिक फिल्टर का प्रदर्शन आदर्श फिल्टर के अनुरूप हो जाता है।
  • छोटे $\epsilon$ के लिए सुरक्षा उल्लंघन व्यावहारिक रूप से नगण्य थे।
  • पूर्णतः स्थानीय कार्यान्वयन ने बिना किसी इंटर-एजेंट संचार के पूरे नेटवर्क में फ्रीक्वेंसी को सफलतापूर्वक नियंत्रित किया।

6. महत्व और निष्कर्ष (Significance and Conclusion)

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

• व्यावहारिकता: यह उन सिस्टम्स में सुरक्षा-महत्वपूर्ण नियंत्रण की तैनाती को सक्षम बनाता है जहाँ संचार सीमित है, विलंबता (latency) अधिक है, या वैश्विक मॉडल उपलब्ध नहीं हैं।
• मापने योग्य जोखिम (Quantifiable Risk): केवल एक "ब्लैक बॉक्स" स्थानीय समाधान देने के बजाय, यह शोध पत्र स्पष्ट सीमाएँ प्रदान करता है जो इंजीनियरों को विशिष्ट सुरक्षा आवश्यकताओं को पूरा करने के लिए $\epsilon$ और अनुमान सटीकता को ट्यून करने की अनुमति देती है।
• भविष्य की दिशाएँ: यह ढांचा स्मार्ट ग्रिड और स्वायत्त वाहन बेड़े जैसे जटिल बुनियादी ढांचों में विकेंद्रीकृत सुरक्षा के लिए द्वार खोलता है, जो केंद्रीकृत या भारी संचार वाले वितरित आर्किटेक्चर से आगे जाता है।

संक्षेप में, यह शोध पत्र सिद्ध करता है कि नेटवर्क्ड सिस्टम्स में स्थानीय सुरक्षा प्राप्त की जा सकती है, बशर्ते कि संचार और कम्प्यूटेशनल जटिलता में भारी कमी के लिए सुरक्षा मार्जिन (जिसे $\epsilon$ द्वारा नियंत्रित किया जाता है) के एक छोटे, मापने योग्य हिस्से का समझौता किया जाए।