⚡ electrical engineering

Certified Closed-Loop Control for Packet Networks: A Compositional Certification Framework

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

मूल लेखक: Muhammad Bilal, Jon Crowcroft, Xiaolong Xu, Huaming Wu

प्रकाशित 2026-06-02

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Muhammad Bilal, Jon Crowcroft, Xiaolong Xu, Huaming Wu

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

एक व्यस्त हवाई अड्डे की कल्पना करें जहाँ विमान (डेटा पैकेट) लगातार आ रहे हैं और उन्हें उनके गंतव्य तक भेजने के लिए रनवे (नेटवर्क लिंक) की आवश्यकता है। लक्ष्य यातायात को सुचारू रूप से चलाना है ताकि न तो जाम (कंजेशन) लगे और न ही कोई विमान रनवे पर बहुत लंबे समय तक फंसा रहे (स्टारवेशन)।

आधुनिक नेटवर्क में, हम अक्सर "स्मार्ट पायलट" (AI या एडेप्टिव एल्गोरिदम) का उपयोग करते हैं जो यह तय करते हैं कि अगला विमान कब उड़ान भरेगा। ये पायलट सीखने और अनुकूल होने में माहिर होते हैं, लेकिन वे गलतियाँ भी कर सकते हैं। कभी-कभी, एक स्मार्ट पायलट भ्रमित हो सकता है, एक साथ बहुत अधिक विमान भेजने की कोशिश कर सकता है, या अनजाने में एक छोटे विमान को अनदेखा कर सकता है, जिससे भारी देरी या दुर्घटना हो सकती है।

यह शोध पत्र एक समाधान प्रस्तावित करता है: द सर्टिफाइड ऑपरेटर (प्रमाणित संचालक)। एक सख्त एयर ट्रैफिक कंट्रोलर के बारे में सोचें जो स्मार्ट पायलट और रनवे के बीच खड़ा है।

यह प्रणाली कैसे काम करती है, इसे सरल अवधारणाओं में विभाजित किया गया है:

1. "स्मार्ट पायलट" बनाम "सख्त कंट्रोलर"

प्रपोजर (स्मार्ट पायलट): यह वह AI या एल्गोरिदम है जो सुझाव देता है कि आगे क्या करना है। यह डेटा को देखता है और कहता है, "चलिए रनवे A से 100 विमान भेजते हैं!"
सर्टिफाइड ऑपरेटर (कंट्रोलर): यह सुरक्षा गार्ड है। यह पायलट के सुझाव पर आँख मूंदकर भरोसा नहीं करता। विमानों के वास्तव में चलने से पहले, कंट्रोलर पायलट के सुझाव की एक सख्त नियमों की सूची (एक "प्रमाणपत्र") के विरुद्ध जाँच करता है।

2. सुरक्षा जाँच (सर्टिफिकेशन)

हर बार जब पायलट एक सुझाव देता है, तो कंट्रोलर एक त्वरित जाँच करता है। वह तीन मुख्य प्रश्न पूछता है:

क्या हम टकराएंगे? (सुरक्षा/Safety): यदि हम ये विमान भेजते हैं, तो क्या रनवे इतना भर जाएगा कि विमानों का ढेर लग जाएगा और वे कभी आगे नहीं बढ़ पाएंगे?
क्या सभी के साथ निष्पक्ष व्यवहार हो रहा है? (स्थिरता/Stability): यदि हम ये विमान भेजते हैं, तो क्या एक छोटा, महत्वपूर्ण विमान हमेशा के लिए एक विशाल कार्गो जेट के पीछे फंस जाएगा?
क्या हमारे पास ईंधन है? (व्यवहार्यता/Feasibility): क्या हमारे पास वास्तव में उतना रनवे स्पेस है जितना पायलट ने माँगा है?

3. तीन संभावित परिणाम

जाँच के आधार पर, कंट्रोलर एक तीन में से एक उत्तर देता है:

🟢 सर्टिफाइड (हरा सिग्नल): पायलट का विचार सुरक्षित है। कंट्रोलर कहता है, "आगे बढ़ो!" विमान ठीक वैसे ही चलते हैं जैसा पायलट ने सुझाव दिया था।
🟡 एडजस्टेड (पीला सिग्नल): पायलट का विचार लगभग सही है, लेकिन थोड़ा खतरनाक है। कंट्रोलर इसे बस इतना बदल देता है कि यह सुरक्षित हो जाए। उदाहरण के लिए, "आप 100 विमान भेजना चाहते थे, लेकिन सुरक्षित रहने के लिए, आइए 90 ही भेजते हैं।" विमान चलते हैं, लेकिन एक छोटे सुधार के साथ।
🔴 इनफीजिबल (लाल सिग्नल): पायलट का विचार अभी सुरक्षित रूप से करना असंभव है (शायद रनवे बहुत भरा हुआ है, या अनुरोध बहुत पागलपन भरा है)। कंट्रोलर कहता है, "नहीं, हम ऐसा नहीं कर सकते।" दुर्घटना होने के बजाय, यह एक इमरजेंसी फॉलबैक पर स्विच हो जाता है। यह एक पूर्व-नियोजित, उबाऊ, लेकिन सुरक्षित कार्रवाई है (जैसे "केवल सबसे महत्वपूर्ण विमानों को भेजें") ताकि सिस्टम टूट न जाए।

4. "एनवेलप" (वादा)

यह सुनिश्चित करने के लिए कि यह प्रणाली पूरे नेटवर्क (न केवल एक हवाई अड्डे) में काम करे, कंट्रोलर एक एनवेलप (लिफाफा) का उपयोग करता है।

कल्पना करें कि एक एनवेलप एक वादा है कि अगले एक घंटे में कितने विमान आ सकते हैं।
कंट्रोलर को भविष्य के सटीक विवरण जानने की आवश्यकता नहीं है; उसे बस विमानों की अधिकतम संभव संख्या (एनवेलप) जानने की आवश्यकता है।
यदि पायलट इस एनवेलप के भीतर यातायात को संभालने का वादा करता है, तो कंट्रोलर सुरक्षा की गारंटी देता है। यदि यातायात अचानक विस्फोट करता है और एनवेलप को तोड़ देता है (एक "ब्रीच"), तो कंट्रोलर लाल झंडा उठाता है और श्रृंखला के अगले हवाई अड्डे को किए गए वादे देना बंद कर देता है।

5. यह क्यों महत्वपूर्ण है

यह शोध पत्र तर्क देता है कि हमें केवल "स्मार्ट पायलट" पर पूर्ण होने के लिए भरोसा नहीं करना चाहिए। सबसे अच्छा AI भी बुरा दिन बिता सकता है, भ्रमित हो सकता है, या खराब ट्रैफिक से धोखा खा सकता है।

बीच में एक सर्टिफाइड ऑपरेटर रखकर:

सुरक्षा की गारंटी दी जाती है: भले ही AI एक आपदा का सुझाव दे, कंट्रोलर उसे रोक देता है।
निष्पक्षता लागू की जाती है: यातायात का कोई भी प्रकार सभी संसाधनों पर कब्जा नहीं कर सकता।
पारदर्शिता: यदि सिस्टम सुरक्षा की गारंटी नहीं दे सकता (क्योंकि ट्रैफिक बहुत ज्यादा है), तो यह दिखावा करने के बजाय तुरंत स्वीकार करता है।

निचोड़

लेखकों ने एक सिम्युलेटेड वातावरण (एक डिजिटल "बाइट-लेवल" बैकएंड) में इस प्रणाली का परीक्षण किया। उन्होंने पाया कि:

जब "स्मार्ट पायलट" अच्छा काम कर रहा था, तो कंट्रोलर ने सुझावों को मुश्किल से छुआ (यह तेज़ और कुशल था)।
जब "स्मार्ट पायलट" लापरवाह व्यवहार कर रहा था (या एक "एडवर्सरियल" बुरा पात्र था), तो कंट्रोलर ने स्थिति को संभाला, बड़े विलंब को रोका और नेटवर्क को स्थिर रखा।
यह प्रणाली वास्तविक समय (मिलीसेकंड की गति) में चलने के लिए पर्याप्त तेज़ है, जो इसे वास्तविक कंप्यूटर नेटवर्क के लिए व्यावहारिक बनाती है।

संक्षेप में, यह शोध पत्र नेटवर्क ट्रैफिक के लिए एक सुरक्षा जाल (सेफ्टी नेट) बनाता है। यह हमें डेटा प्रबंधित करने के लिए स्मार्ट, एडेप्टिव AI का उपयोग करने की अनुमति देता है, लेकिन यह सुनिश्चित करता है कि AI ऐसी गलती न करे जिससे पूरा सिस्टम क्रैश हो जाए।

तकनीकी सारांश: पैकेट नेटवर्क के लिए प्रमाणित क्लोज्ड-लूप कंट्रोल (Certified Closed-Loop Control)

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

पैकेट नेटवर्क नियंत्रित डायनेमिकल सिस्टम के रूप में कार्य करते हैं जो विच्छेदन (discontinuities), विलंबित अवलोकन (delayed observations) और आंशिक स्टेट जानकारी द्वारा अभिलक्षित होते हैं। जबकि एडेप्टिव या लर्निंग-ड्रिवन कंट्रोलर (प्रोपोजर्स) प्रदर्शन को बढ़ा सकते हैं, उनमें अंतर्निहित गारंटी का अभाव होता है; एक असुरक्षित प्रस्ताव क्यू स्टार्वेशन (queue starvation), टेल-डिले स्पाइक्स (tail-delay spikes), या अस्थिरता का कारण बन सकता है। मौजूदा सुरक्षा तंत्र अक्सर कंट्रोलर के इच्छित कार्य का विश्लेषण करते हैं या उन ऑफलाइन धारणाओं पर भरोसा करते हैं जो रनटाइम तनाव, विलंबित टेलीमेट्री, या प्रतिकूल ट्रैफिक बदलावों के तहत लागू नहीं होती हैं।

मुख्य समस्या यह है कि कैसे एक एडेप्टिव प्रपोजिंग को पैकेट क्यूज़ के लिए सख्त, ऑनलाइन-चेकेबल गारंटियों के साथ इस तरह से जोड़ा जाए कि वह एक नेटवर्क में कंपोज़ (compose) हो सके। विशेष रूप से, पेपर यह सुनिश्चित करने का प्रयास करता है कि डेटाप्लेन पर वास्तव में निष्पादित किया गया कार्य सुरक्षा और स्थिरता बाधाओं (constraints) को पूरा करता है, चाहे प्रोपोज़र की गुणवत्ता या प्रकृति कुछ भी हो (जो कि ह्यूरिस्टिक, लर्नड, या एजेंटिक हो सकता है)।

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

पेपर एक सर्टिफाइड ऑपरेटर (Certified Operator) आर्किटेक्चर का प्रस्ताव करता है जो किसी भी प्रोपोज़र और डेटाप्लेन के बीच स्थित होता है। यह ऑपरेटर एक रनटाइम सेफ्टी फ़िल्टर के रूप में कार्य करता है, जो प्रत्येक कंट्रोल टिक पर एक कॉन्फ़िगरेशन-कंपाइल्ड सर्टिफिकेट को लागू करता है।

मुख्य तंत्र:

इनपुट: प्रत्येक टिक $t$ पर, एक प्रोपोज़र विलंबित टेलीमेट्री के आधार पर एक कैंडिडेट एक्शन $\tilde{u}(t)$ उत्सर्जित करता है।
सर्टिफिकेशन: ऑपरेटर $\tilde{u}(t)$ को एक यूनिफाइड सर्टिफिकेट से प्राप्त प्रमाणित व्यवहार्य सेट (certified feasible set) $U_{cert}(t)$ पर प्रोजेक्ट करता है।
आउटपुट: ऑपरेटर एक निष्पादित एक्शन $u(t)$ $u (t)$ , एक एक्सपोर्टेड एनवेलप $\bar{z}(t)$ $\overset{z}{ˉ} (t)$ (डाउनस्ट्रीम कंपोजिशन के लिए), और एक स्टेटस फ्लैग ( $\sigma(t)$ $σ (t)$ ) लौटाता है।
- CERTIFIED: एक्शन सभी बाधाओं को पूरा करता है।
- INFEASIBLE: बाधाओं को पूरा करना संभव नहीं है; ऑपरेटर एक "स्लैक-मिनिमाइजिंग फॉलबैक" (इमरजेंसी पॉलिसी) निष्पादित करता है और उल्लंघन की तीव्रता की रिपोर्ट करता है।
- MISSING: आवश्यक इनपुट्स (एनवेलप्स या स्टेट बाउंड्स) अनुपलब्ध हैं।

सर्टिफिकेट घटक:
फ्रेमवर्क तीन प्रकार के बाधाओं को प्रति-टिक ऑप्टिमाइज़ेशन समस्या में एकीकृत करता है:

टाइप B (बैरियर/सेफ्टी): बैकलॉग कैप्स ( $q_i(t) \le Q_{max}$ ) को लागू करता है ताकि ओवरफ्लो को रोका जा सके। इसमें प्रोटेक्टेड क्लासेज के लिए सर्विस फ्लोर्स और मिटिगेशन कैप्स के लिए लीनियर कंस्ट्रेंट्स शामिल हैं।
टाइप A (ड्रिफ्ट/स्टेबिलिटी): फोस्टर-लयापुनोव ड्रिफ्ट (Foster–Lyapunov drift) स्थितियों को लागू करता है। यदि कोई क्यू एक उच्च थ्रेशोल्ड ( $q_i(t) \ge Q_{hi}$ ) से ऊपर जाती है, तो सर्विस रेट आगमन एनवेलप प्लस एक मार्जिन ( $\epsilon$ ) से अधिक होना चाहिए, जिससे स्थिरता सुनिश्चित होती है।
टाइप C (कंपोजिशन): एक एक्सपोर्टेड एनवेलप $\bar{z}(t)$ निर्यात करता है जो आउटफ्लो के ऊपरी स्तर (upper bound) का प्रतिनिधित्व करता है। डाउनस्ट्रीम मॉड्यूल इन निर्यातित बाउंड्स का उपयोग अपने आगमन संबंधी धारणाओं (arrival assumptions) के रूप में करते हैं, जिससे मॉड्यूलर रीजनिंग सक्षम होती है।

वास्तविक दुनिया के बाधाओं का प्रबंधन:

विलंबित टेलीमेट्री और एक्चुएशन: ऑपरेटर विलंबित काउंटर्स और घोषित आगमन एनवेलप्स का उपयोग करके कंजर्वेटिव बैकलॉग बाउंड्स का निर्माण करता है। यह "एक्चुएशन डिले" ( $\tau_u$ ) को ध्यान में रखते हुए बाधाओं को भविष्य के समय पर प्रोजेक्ट करता है जब एक्शन वास्तव में प्रभावी होगा।
सर्विस ट्रैकिंग: यह पहचानते हुए कि वास्तविक शेड्यूलर (जैसे WFQ, DRR) पैकेटाइजेशन या बैचिंग के कारण लक्षित दरों को पूरी तरह से साकार नहीं कर सकते हैं, मॉडल एक सर्विस-ट्रैकिंग फैक्टर $\kappa \in [\kappa_{min}, 1]$ पेश करता है। गारंटियाँ रियलाइज्ड रिमूवल से जुड़ी होती हैं, जो इस फैक्टर द्वारा बद्ध (bounded) होती हैं।
इनफीजिबिलिटी सिमेंटिक्स: चुपचाप विफल होने के बजाय, ऑपरेटर एक रिलैक्स्ड प्रोजेक्शन हल करता है जो स्लैक को मिनिमाइज करता है जब बाधाएं संरचनात्मक रूप से असंभव (जैसे गंभीर ओवरलोड के तहत) होती हैं। यह एक ऑडिटेबल सिग्नल प्रदान करता है।

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

फॉर्मल मॉडल: पैकेट क्यूज़ के लिए एक डिलेड क्लोज्ड-लूप मॉडल और एक सर्टिफाइड-ऑपरेटर इंटरफेस जो कॉन्फ़िगरेशन को प्रति-टिक बाधाओं में संकलित करता है।
यूनिफाइड कंस्ट्रेंट्स: बैकलॉग कैप्स, सर्विस फ्लोर्स/कैप्स, स्पष्ट ड्रिफ्ट-आधारित स्थिरता, और एक्सपोर्टेड एनवेलप्स के माध्यम से कंपोजिशनल कॉन्ट्रैक्ट्स को सपोर्ट करने वाला एक फ्रेमवर्क।
सैद्धांतिक गारंटी:
- ऑपरेटर-लेवल सेफ्टी: यह सिद्ध है कि यदि ऑपरेटर CERTIFIED रिपोर्ट करता है और इनपुट्स वैध हैं, तो बैकलॉग सुरक्षित सीमाओं के भीतर रहता है।
- कंपोजिशनल सेफ्टी और स्टेबिलिटी: केवल एक्सपोर्टेड एनवेलप्स का उपयोग करके फीड-फॉरवर्ड DAG नेटवर्क्स के लिए सिद्ध।
- साइक्लिक क्लोजर: एक परिणाम जो दिखाता है कि साइक्लिक नेटवर्क एक "स्मॉल-गेन" स्थिति (रूटिंग/एक्सपोर्ट गेन मैट्रिक्स का स्पेक्ट्रल रेडियस < 1) के तहत एक अद्वितीय फिक्स्ड-पॉइंट एनवेलप समाधान प्राप्त करते हैं।
विफलता के सिमेंटिक्स: ब्रीच (एनवेलप उल्लंघन), इनफीजिबिलिटी (कंस्ट्रेंट उल्लंघन), और मिसिंग इंफॉर्मेशन के स्पष्ट परिभाषाएं, जो यह सुनिश्चित करती हैं कि सिस्टम तनाव के तहत भी परिभाषित और ऑडिट करने योग्य बना रहे।

4. परिणाम और मूल्यांकन (Results and Evaluation)

मूल्यांकन एक बाइट-लेवल क्लोज्ड-लूप पायथन बैकएंड में किया गया था, जो लो-लेवल लिनक्स शेड्यूलर कार्यान्वयन विवरण के बजाय सर्टिफिकेशन बाउंड्री पर केंद्रित था।

प्रदर्शन: सर्टिफिकेशन स्टेप (प्रोजेक्शन को हल करना) कंप्यूटेशनल रूप से कुशल है, जिसमें 128 क्यूज़ के लिए लगभग 37–52 µs लगते हैं, जो मिलीसेकंड-स्केल कंट्रोल इंटरवल्स की अनुमति देता है।
प्रोपोजर्स के प्रति मजबूती:
- बेनाइन प्रोपोजर्स (बैकलॉग-प्रोपोर्शनल या रैंडम) के लिए, ऑपरेटर न्यूट्रल रहता है, न्यूनतम सुधार के साथ एक्शन्स को पास करता है।
- एडवर्सरियल प्रोपोजर्स (स्टार्वेशन पैदा करने के लिए डिज़ाइन किए गए) के लिए, ऑपरेटर बैरियर और ड्रिफ्ट कंस्ट्रेंट्स को लागू करके p99/p99.9 डिले टेल्स को काफी कम करता है और थ्रूपुट को बहाल करता है।
डिलेज का प्रबंधन: विलंबित टेलीमेट्री और एक्चुएशन के तहत, ऑपरेटर बाधाओं को वर्स्ट-केस डिले विंडो पर संकलित करके, डायरेक्ट एग्जीक्यूशन या नेइव क्लिपिंग में देखे जाने वाले "थ्रेशोल्ड एक्सकर्शन" को रोकता है।
एनवेलप मिसमैच: सिस्टम सही ढंग से ब्रीच की पहचान करता है और रिपोर्ट करता है जब घोषित एनवेलप्स आशावादी (actual ट्रैफिक द्वारा वायलेटेड) होते हैं, जिससे डाउनस्ट्रीम मॉड्यूल को अमान्य कॉन्ट्रैक्ट्स पर निर्भर होने से रोका जा सके।
ओवरलोड: ओवरलोड के तहत, सिस्टम "इमरजेंसी मोड" में ट्रांजिशन करता है, जो सुरक्षा बाधाओं का चुपचाप उल्लंघन करने के बजाय INFEASIBLE रिपोर्ट करता है और स्लैक को क्वांटिफाई करता है।
प्रायोरिटी इन्वर्जन: फ्रेमवर्क स्पष्ट सर्विस फ्लोर्स को फर्स्ट-क्लास कंस्ट्रेंट्स के रूप में लागू करके प्रायोरिटी इन्वर्जन (जहाँ बल्क ट्रैफिक लेटेंसी-सेंसिटिव ट्रैफिक को स्टार्व कर देता है) को सफलतापूर्वक रोकता है।

5. महत्व और दायरा (Significance and Scope)

पेपर का दावा है कि पैकेट-नेटवर्क कंट्रोल को केवल प्रस्ताव चरण पर ही नहीं, बल्कि निष्पादन के बिंदु पर प्रमाणित किया जाना चाहिए। इसका महत्व एक एडेप्टिव कंट्रोलर के इरादे (intent) को निष्पादित एक्शन की सुरक्षा से अलग करने में निहित है।

संयमित दावे: लेखक स्पष्ट रूप से कहते हैं कि यह कार्य सर्टिफिकेट कंपाइलर, सॉल्वर, या अंडरलाइंग डेटाप्लेन बैकएंड (जैसे लिनक्स कर्नेल या NIC हार्डवेयर) के मैकेनाइज्ड वेरिफिकेशन का दावा नहीं करता है। गारंटी घोषित एनवेलप्स, स्टेट बाउंड्स और सर्विस-ट्रैकिंग फैक्टर ( $\kappa_{min}$ ) की वैधता पर सशर्त है।
पोजीशनिंग: फ्रेमवर्क क्लासिकल नेटवर्क कैलकुलस (टोकन-बकेट कॉन्ट्रैक्ट्स का इनपुट के रूप में उपयोग करके) के साथ काम करने के लिए डिज़ाइन किया गया है, लेकिन यह प्रवर्तन (enforcement) को रनटाइम पर स्थानांतरित करता है। यह "एनवेलप" को केवल एक स्टेटिक बाउंड के लिए ऑफलाइन धारणा के रूप में नहीं, बल्कि प्रति-टिक सर्टिफिकेशन इंटरफेस के लिए एक डायनेमिक इनपुट के रूप में मानता है।
भविष्य का कार्य: पेपर में सर्विस-ट्रैकिंग फैक्टर को वास्तविक हार्डवेयर (Linux HTB, DRR, प्रोग्रामेबल स्विच) पर स्थापित करने और ट्रांसलेशन वैलिडेशन या मशीन-चेक्ड प्रूफ के माध्यम से ट्रस्टेड कंप्यूटिंग बेस को मजबूत करने की आवश्यकता को पहचाना गया है।

संक्षेप में, पेपर पैकेट नेटवर्क में रनटाइम एश्योरेंस के लिए एक कठोर, कंपोजिशनल फ्रेमवर्क प्रदान करता है, यह सुनिश्चित करता है कि भले ही प्रोपोज़र त्रुटिपूर्ण हो या नेटवर्क तनाव में हो, निष्पादित क्रियाएं ऑडिट करने योग्य सुरक्षा और स्थिरता सीमाओं के भीतर रहती हैं।