2091 पेपर
यह शोध पत्र को-ब्यूची बैरियर सर्टिफिकेट्स (CBBCs) प्रस्तुत करता है, जो बाउंडेड सिंथेसिस से प्रेरित क्लासिक बैरियर सर्टिफिकेट्स का एक सामान्यीकरण है, ताकि यह सत्यापित किया जा सके कि डिस्क्रीट-टाइम डायनेमिकल सिस्टम्स एक दिए गए प्रेडिकेट पर एक सीमित संख्या में बार जाते हैं, जिसे बढ़ते हुए विज़िटेशन बाउंड्स के साथ उपयुक्त फलनों की पुनरावृत्ति खोज द्वारा किया जाता है।
यह शोध पत्र संक्रमण संभावनाओं (transition probabilities) में एपिस्टेमिक अनिश्चितता (epistemic uncertainty) को संभालने के लिए रोबस्ट कंकरेंट स्टोकेस्टिक गेम्स (विशेष रूप से इंटरवल सीएसजी) प्रस्तुत करता है, जो जीरो-सम और नॉन-जीरो-सम उद्देश्यों के वर्स्ट-केस रोबस्ट वेरिफिकेशन के लिए एक सैद्धांतिक ढांचा और कुशल एल्गोरिदम प्रदान करता है, जिन्हें PRISM-games मॉडल चेकर में कार्यान्वित किया गया है और बड़े बेंचमार्क पर सत्यापित किया गया है।
यह शोध पत्र कुरोमोतो सिंक्रोनाइज़ेशन सिस्टम के लिए वेरिएशनल ऑप्टिमाइज़ेशन और मल्टीमॉडल डिकपलिंग पर आधारित एक एडेप्टिव इनर्शियल कंट्रोल रणनीति प्रस्तावित करता है, जो विभिन्न प्रकार के विक्षोभों के तहत विविध जटिल नेटवर्क टोपोलॉजी में स्थिरता को महत्वपूर्ण रूप से बढ़ाता है और संवेदनशीलता को कम करता है।
यह शोध पत्र बहुचर अनुकूलन (multivariable optimization) के लिए एक स्टैटिक इवेंट-ट्रिगर न्यूटन-आधारित एक्सट्रीमम सीकिंग रणनीति प्रस्तावित करता है जो नियत किए जा सकने वाले एक्सपोनेंशियल कन्वर्जेंस रेट्स प्राप्त करने के लिए एक रिकाटी-आधारित हेसियन इनवर्स एस्टीमेटर का उपयोग करता है, जो पारंपरिक ग्रेडिएंट-आधारित और निरंतर रूप से संचालित विधियों की तुलना में कंट्रोल अपडेट फ्रीक्वेंसी को काफी कम कर देता है।
यह शोध पत्र एक स्केलेबल अनिश्चितता परिमाणीकरण ढांचे का प्रस्ताव करता है जो संचित प्रोसुमर फ्लेक्सिबिलिटी के लिए कैलिब्रेटेड, परिमित-नमूना भविष्यवाणी अंतराल उत्पन्न करने हेतु मोंटे कार्लो ड्रॉपआउट को कॉन्फॉर्मल प्रेडिक्शन के साथ एकीकृत करता है, जिससे डिमांड रिस्पांस एग्रीगेटर्स को P90 जैसे सख्त नियामक मानकों को विश्वसनीय रूप से पूरा करने में सक्षम बनाया जा सके और ओवरबिडिंग जोखिमों को काफी कम करते हुए सहायक सेवा बाजारों में पूर्ण-सूचना लाभ का 70% तक प्राप्त किया जा सके।
यह शोध पत्र कन्वेक्सिफाइड (convexified) ReLU डीप न्यूरल नेटवर्क के लिए एक गणनात्मक रूप से कुशल लीनियर प्रोग्रामिंग पुनर्गठन प्रस्तावित करता है जो पावर सिस्टम अनुकूलन समस्याओं में उनके सुलभ और उच्च-सटीक एकीकरण को सक्षम बनाता है, जैसा कि मौजूदा विधियों की तुलना में डेनिश टर्शियरी कैपेसिटी मार्केट बिडिंग केस स्टडी में बेहतर प्रदर्शन द्वारा प्रदर्शित किया गया है।
यह शोध पत्र एक रैंक-वन रिमानियन सबस्पेस डिसेंट एल्गोरिदम प्रस्तावित करता है जो सममित धनात्मक निश्चित समाधानों के लिए बड़े पैमाने के, घने गैररेखीय मैट्रिक्स समीकरणों को कुशलतापूर्वक हल करने हेतु प्रति-इटरेशन लागत और इटरेशन बाउंड प्राप्त करता है, जो तक के आयामों वाली समस्याओं पर मौजूदा विधियों से बेहतर प्रदर्शन करता है।
यह शोध पत्र SPARK को प्रस्तुत करता है, जो एक ओपन-सोर्स, मॉड्यूलर बेंचमार्क और कंट्रोल फ्रेमवर्क है जिसे कॉन्फ़िगर करने योग्य सुरक्षित एल्गोरिदम, सिमुलेशन वातावरण और अनुसंधान एवं वास्तविक दुनिया की तैनाती दोनों के लिए निर्बाध हार्डवेयर एकीकरण प्रदान करके ह्यूमनॉइड रोबोटों की सुरक्षा सुनिश्चित करने के लिए डिज़ाइन किया गया है।
यह शोध पत्र 6G नेटवर्क में वितरित एज लर्निंग के लिए एक समय-निर्भर संयुक्त संचार शेड्यूलिंग और संसाधन आवंटन ढांचे का प्रस्ताव करता है जो ऊर्जा बाधाओं के तहत पूर्णता समय को कम करने के लिए उच्च-बैंडविड्थ ट्रैफ़िक के साथ टाइमस्लॉट-वार संसाधन साझाकरण को अनुकूलित करके कठोर राउंड-वाइज डिजाइनों की अक्षमताओं को दूर करता है।
यह शोध पत्र एक प्रत्यक्ष डेटा-संचालित नियंत्रण ढांचे का प्रस्ताव करता है जिसमें एक नवीन 3DSF और SACBF-आधारित सुरक्षा प्रमाणपत्र शामिल है जो बाधाओं के तहत मॉडल-मुक्त शिक्षण-आधारित नियंत्रण के लिए औपचारिक गारंटी प्रदान करने हेतु प्रदर्शन अनुकूलन को सुरक्षा प्रवर्तन से अलग करता है।