🔢 mathematics

Revisiting The PBH Test: Fast Uncontrollability Certificates via Krylov Methods

यह शोध पत्र परिमित-क्षितिज पहुँच-योग्यता (finite-horizon reachability) और क्रायलोव उप-स्थान (Krylov subspace) विधियों के माध्यम से अनियंत्रणीयता के लिए गणनात्मक रूप से कुशल, द्वैत असक्षमता प्रमाणों (dual infeasibility certificates) को व्युत्पन्न करके शास्त्रीय PBH परीक्षण का पुनरावलोकन करता है, जो पूर्ण नियंत्रणीयता आव्यूह (controllability matrix) बनाए बिना या वैश्विक आइगेनडीकंपोजिशन (eigendecomposition) किए बिना बड़े गतिशील नेटवर्क में अप्राप्य अवस्थाओं के स्केलेबल प्रमाणन को सक्षम बनाता है।

Ahmad F. Taha, Mohamad H. Kazma, Abdallah A. Albustami2026-06-16
⚡ electrical engineering

Data Center Life Cycle Co-Design Optimization

यह शोध पत्र एक को-डिज़ाइन अनुकूलन ढांचे (co-design optimization framework) को प्रस्तुत करता है जो लिक्विड-कूल्ड सुपरकंप्यूटरों के लिए कूलिंग सबलूप्स की इष्टतम संख्या निर्धारित करने हेतु परिचालन ऊर्जा, एम्बॉडीड कार्बन और विश्वसनीयता मॉडलों को एकीकृत करता है, जो यह प्रदर्शित करता है कि फ्रंटियर (Frontier) सुपरकंप्यूटर के विन्यास को चार से घटाकर दो सबलूप्स करने से परिचालन विश्वसनीयता बनाए रखते हुए जीवनचक्र लागत और कार्बन उत्सर्जन में महत्वपूर्ण कमी आती है।

Shrenik Jadhav, Vidhyashree Nagaraju, Zheng Liu2026-06-16
⚡ electrical engineering

Minimum settling-time PI control of pure delay processes under a hard non-overshoot constraint: exact boundary-contact characterization and the role of the MID point

यह शोध पत्र यह स्थापित करता है कि जबकि जेनेरिक मल्टीप्लिसिटी-इंड्यूस्ड-डोमिनेंसी (GMID) बिंदु शुद्ध विलंब प्रक्रियाओं (pure delay processes) के लिए एक सख्त नॉन-ओवरशूट प्रतिबंध के तहत न्यूनतम सेटलिंग-टाइम PI नियंत्रण के लिए सैद्धांतिक सीमा प्रदान करता है, किसी भी परिमित सहनशीलता (finite tolerance) के लिए वास्तविक इष्टतम गेन (optimal gains) इस निश्चित ट्यूनिंग से लगभग 40% बेहतर प्रदर्शन करते हैं।

Senol Gulgonul2026-06-16
⚡ electrical engineering

Pixels to Proofs: Probabilistically-Safe Latent World Model Control via Parallel Conformal Robust MPC

यह शोध पत्र SLS² को प्रस्तुत करता है, जो एक ऐसा ढांचा है जो संभाव्यता-आधारित सुरक्षा गारंटी के साथ सुरक्षित, विज़न-आधारित मोशन प्लानिंग को सक्षम करने के लिए एक्शन-कंडीशन्ड लेटेंट वर्ल्ड मॉडल्स को कॉन्फॉर्मल प्रेडिक्शन-एन्हांस्ड रोबस्ट मॉडल प्रिडिक्टिव कंट्रोल के साथ जोड़ता है।

Devesh Nath, Anutam Srinivasan, Haoran Yin, Ruitong Jiang, Jeffrey Fang, Glen Chou2026-06-16
⚡ electrical engineering

Age and Stability Trade-offs in Remote Monitoring Systems

यह शोध पत्र IoT रिमोट मॉनिटरिंग में कतार स्थिरता (queue stability) और डेटा ताजगी (data freshness) के बीच शेड्यूलिंग ट्रेड-ऑफ को एक मार्कोव डिसीजन प्रोसेस के रूप में मॉडल करता है, जो यह प्रदर्शित करता है कि इष्टतम रणनीति एक मोनोटोनिक, कतार-निर्भर आयु सीमा नीति (queue-dependent age threshold policy) है जो ह्यूरिस्टिक दृष्टिकोणों से बेहतर प्रदर्शन करती है।

Nitya Sathyavageeswaran, Anand D. Sarwate, Roy D. Yates, Narayan Mandayam2026-06-16
🤖 AI

AIChilles: Automatically Uncovering Hidden Weaknesses in AI-Evolved Systems

यह शोध पत्र AIChilles को प्रस्तुत करता है, जो एक स्वचालित ढांचा है जो उन वर्कलोड्स की खोज करके AI-विकसित प्रणालियों में छिपी कमजोरियों की पहचान करता है जहाँ AI-जनित कोड मानव-निर्मित बेसलाइन्स की तुलना में शुद्धता, प्रदर्शन या गुणवत्ता में पिछड़ जाता है, जिससे विकास जीवनचक्र के दौरान इन दोषों के शमन को सक्षम बनाया जा सके।

Yajie Zhou, Ao Li, Ashwin Silla, Zaoxing Liu, Vyas Sekar2026-06-16
⚡ electrical engineering

A Smart-Scheduled Hybrid (SSH) EKF-FGO State Estimation

यह शोध पत्र एक स्मार्ट-शेड्यूल्ड हाइब्रिड (SSH) EKF-FGO ढांचे के भीतर अनुकूलन शेड्यूलिंग (optimization scheduling) को एक महत्वपूर्ण, स्वतंत्र डिज़ाइन चर के रूप में प्रयोगात्मक रूप से अभिलक्षित करता है, जो यह प्रदर्शित करता है कि बैच अनुकूलन (batch optimization) के समय को रणनीतिक रूप से निर्धारित करना अवस्था अनुमान (state estimation) में वैश्विक निरंतरता के अधिकांश लाभों को बनाए रखते हुए कम्प्यूटेशनल लागत को महत्वपूर्ण रूप से कम कर सकता है।

Eric Levi, Soosan Beheshti2026-06-16
⚡ electrical engineering

Geospatial sensitivity of transmission-constrained ACOPF to generator retirement

यह शोध पत्र एक HPC-सक्षम ढांचे को प्रस्तुत करता है जो एक बड़े पैमाने के सिंथेटिक ग्रिड पर ट्रांसमिशन-प्रतिबंधित ACOPF में वोल्टेज परिमाण और कोण की भू-स्थानिक संवेदनशीलता को 8,000 से अधिक जनरेटर सेवानिवृत्ति परिदृश्यों पर कुशलतापूर्वक मैप करने के लिए k-निकटतम-पड़ोसी (k-nearest-neighbors) मॉडलों का उपयोग करता है, जो संसाधन पर्याप्तता नियोजन की कम्प्यूटेशनल चुनौतियों का समाधान करता है।

Willa Gutowski, Ulyana Shyrokaya, Nicholson Koukpaizan, Joshua Hambrick, Slaven Peles, Eve Tsybina2026-06-16
⚡ electrical engineering

An Adjoint-based Neural Regulator for Real-Time Optimal Control with State Constraints

यह शोध पत्र एडजॉइंट-आधारित न्यूरल रेगुलेटर (ANR) का प्रस्ताव करता है, जो एक लर्निंग-आधारित नियंत्रण ढांचा है जो एक सीखे हुए न्यूरल को-स्टेट पॉलिसी के माध्यम से इष्टतमता को एनकोड करता है और रनटाइम कॉनवेक्स प्रोजेक्शन के माध्यम से सुरक्षा एवं एक्चुएटर बाधाओं को लागू करता है, जिससे नॉनलीनियर मॉडल प्रिडिक्टिव कंट्रोल के तुलनीय प्रदर्शन प्राप्त होता है और सुदृढीकरण शिक्षण (रिनफोर्समेंट लर्निंग) की तुलना में काफी कम कम्प्यूटेशनल लागत और बेहतर सामान्यीकरण सुनिश्चित होता है।

Isaiah A. Agboola, Yuxin Tong, Uduak Inyang-Udoh2026-06-16
⚡ electrical engineering

On the Lyapunov equation with the state matrix in companion form

यह शोध पत्र यह सिद्ध करता है कि एक हर्ट्ज़ (Hurwitz) कंपैनियन मैट्रिक्स वाले निरंतर-समय लाइपुनोव (Lyapunov) समीकरण का अद्वितीय समाधान प्रविष्टिवार गैर-ऋणात्मक (entrywise nonnegative) होता है जब मैट्रिक्स में केवल वास्तविक आइजन मान होते हैं, जो कि प्रारंभिक सममित बहुपदों (elementary symmetric polynomials) से युक्त कॉची-जैसे (Cauchy-like) आव्यूहों की धनात्मक अर्ध-निश्चितता (positive semidefiniteness) तक समस्या को कम करके प्राप्त किया गया एक परिणाम है, जबकि साथ ही इसमें उन स्थितियों का भी लक्षण वर्णन किया गया है जिनके अंतर्गत पूर्ण गैर-ऋणात्मकता (total nonnegativity) बनी रहती है।

Augusto Ferrante2026-06-16