⚡ electrical engineering

Differentiable Invariant Sets for Hybrid Limit Cycles with Application to Legged Robots

यह शोध पत्र लेग्ड रोबॉट्स (legged robots) के लिए हाइब्रिड लिमिट साइकल के आसपास फॉरवर्ड-इनवेरिएंट सेट्स (forward-invariant sets) की गणना करने और उन्हें औपचारिक रूप से सत्यापित करने के लिए पैरामीट्रिक एम्बेडिंग्स (parametric embeddings) का उपयोग करने वाली एक तीन-चरणीय संख्यात्मक विधि प्रस्तुत करता है, जिसे फिर इन रोबस्टनेस क्षेत्रों के आकार को अधिकतम करने वाले ट्रैकिंग कंट्रोलर्स को डिजाइन करने के लिए एक द्वि-स्तरीय अनुकूलन ढांचे (bi-level optimization framework) में एकीकृत किया गया है।

Varun Madabushi, Akash Harapanahalli, Samuel Coogan, Maegan Tucker2026-04-08
🔢 mathematics

End-to-End Learning of Correlated Operating Reserve Requirements in Security-Constrained Economic Dispatch

यह शोध पत्र एक एंड-टू-एंड ट्रेन करने योग्य सुदृढ़ अनुकूलन ढांचे (robust optimization framework) का प्रस्ताव करता है जो सुरक्षा-बाधित आर्थिक प्रेषण (security-constrained economic dispatch) में ऑपरेटिंग रिजर्व आवश्यकताओं के लिए सहसंबद्ध दीर्घवृत्तीय अनिश्चितता सेटों (correlated ellipsoidal uncertainty sets) के आकार को सीखता है, जो स्पष्ट वितरण संबंधी धारणाओं की आवश्यकता के बिना परिमित-नमूना कवरेज (finite-sample coverage) की गारंटी देते हुए प्रेषण लागत को महत्वपूर्ण रूप से कम करता है।

Owen Shen, Hung-po Chao, Haihao Lu, Patrick Jaillet2026-04-08
⚡ electrical engineering

Reasoning about Parameters in the Friedkin--Johnsen Model from Binary Observations

यह शोध पत्र निरंतर मापदंडों और प्रभाव मैट्रिसेस के एक परिमित अमूर्तता (finite abstraction) का निर्माण करके बाइनरी अवलोकनों का उपयोग करते हुए फ्राइडकिन-जॉनसन ओपिनियन डायनेमिक्स मॉडल के लिए एक सत्यापन ढांचे का प्रस्ताव करता है ताकि अनुमानित सिमुलेशन संबंधों के माध्यम से निरंतरता की जाँच सक्षम की जा सके।

Yu Xing, Aneesh Raghavan, Michael T. Schaub, Karl H. Johansson2026-04-08
🔢 mathematics

Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability

यह शोध पत्र हाइब्रिड गतिशील प्रणालियों के लिए विभिन्न स्थिरता अवधारणाओं को, जिसमें ज़ेनो (Zeno) स्थिरता की नवीन धारणा भी शामिल है, उन्हें कोलिगेब्रा (coalgebra) के रूप में मॉडल करके और यह प्रदर्शित करके एकीकृत करता है कि ल्यापुनोव फलन (Lyapunov functions) विशिष्ट लक्ष्य प्रणालियों में मोर्फिज्म (morphisms) हैं जो वांछित स्थिरता व्यवहार को परिभाषित करते हैं।

Joe Moeller, Aaron D. Ames2026-04-08
⚡ electrical engineering

Strategic Delay and Coordination Efficiency in Global Games

यह शोध पत्र यह प्रदर्शित करता है कि एक द्वि-चरणीय वैश्विक खेल (two-stage global game) में, एजेंटों को दूसरों के कार्यों को देखने और अतिरिक्त जानकारी प्राप्त करने के लिए रणनीतिक रूप से अपनी भागीदारी में देरी करने की अनुमति देने से, वद्यमान (discounted) प्रतिफल की लागत के बावजूद, समन्वय दक्षता बढ़ सकती है और सामूहिक परिणामों में सुधार हो सकता है।

Shinkyu Park, Behrouz Touri, Marcos M. Vasconcelos2026-04-08
⚡ electrical engineering

To Defer or To Shift? The Role of AI Data Center Flexibility on Grid Interconnection

यह शोध पत्र एआई डेटा सेंटर लचीलेपन का मूल्यांकन करने के लिए एक मात्रात्मक ग्रिड योजना मॉडल प्रस्तावित करता है, जो यह प्रकट करता है कि हालांकि स्थानिक और सामयिक लोड शिफ्टिंग ग्रिड निवेश और परिचालन लागत को 3-21% तक कम कर सकती है, लेकिन ये लाभ स्थान-निर्भर हैं और लंबी विलंब अवधि के साथ घटते प्रतिफल प्रदर्शित करते हैं।

Yize Chen, Xiaogui Zheng2026-04-08
⚡ electrical engineering

Scaled Graph Containment for Feedback Stability: Soft-Hard Equivalence and Conic Regions

यह शोध पत्र स्थापित करता है कि धनात्मक-ऋणात्मक मल्टीप्लायरों के तहत गोलाकार क्षेत्रों के लिए सॉफ्ट और हार्ड स्केल्ड ग्राफ कंटेनमेंट (graph containment) तुल्य हैं, जो बिना स्टोरेज या होमोटॉपी बाधाओं के अधिक कुशल स्थिरता प्रमाणन को सक्षम बनाता है, साथ ही उन हाइपरबोलिक रूप से उत्तल शंकु क्षेत्रों (hyperbolically convex conic regions) को भी अभिलक्षणिक करता है जो गैर-सममित ऑपरेटरों के लिए कड़े बाउंड्स प्रदान करते हैं।

Eder Baron-Prada, Julius P. J. Krebbekx, Adolfo Anta, Florian Dörfler2026-04-08
🌀 nonlinear sciences

Network Reconstruction in Consensus Algorithms with Hidden Agents

यह शोधपत्र निर्देशित लाप्लासियन कपलिंग और एक ऑटोरेग्रेसिव विस्तार का लाभ उठाकर, केवल फॉलोअर (अनुगामी) मापों का उपयोग करके शोर वाले लीडर-फॉलोअर कंसेंसस सिस्टम के पूर्ण डायनामिकल मैट्रिक्स को पुनर्गठित करने की एक विधि प्रस्तावित करता है, जो छिपे हुए लीडर एजेंटों की स्मृति को ध्यान में रखता है।

Melvyn Tyloo2026-04-08
⚡ electrical engineering

Hazard Management in Robot-Assisted Mammography Support

यह शोध पत्र मैममोबॉट (MammoBot) रोबोटिक मैमोग्राफी प्रणाली के लिए एक संरचित खतरा प्रबंधन पद्धति प्रस्तुत करता है, जो मुख्य रूप से घटक विफलताओं के बजाय समय के बेमेल होने (timing mismatches) और अवस्था की गलत व्याख्याओं (state misinterpretations) से उत्पन्न होने वाले सुरक्षा जोखिमों की पहचान करने और उन्हें कम करने के लिए हितधारक-निर्देशित प्रक्रिया मॉडलिंग को SHARD और STPA के साथ जोड़ता है।

Ioannis Stefanakos, Roisin Bradley, Radu Calinescu, Beverley Townsend, Tianyuan Wang, Jihong Zhu2026-04-08
⚡ electrical engineering

A Posteriori Second-Order Guarantees for Bolza Problems via Collocation

यह शोध पत्र एक 'अ पोस्टीरियो' (a posteriori) प्रमाणन ढांचे को प्रस्तुत करता है जो बोलज़ा समस्याओं (Bolza problems) के लिए विविक्त कोलोकेशन सॉल्वर (discrete collocation solver) के आउटपुट और निरंतर द्वितीय-क्रम अनुकूलन सिद्धांत (continuous second-order optimality theory) के बीच के अंतर को पाटता है, जो निरंतर द्वितीय भिन्नता (continuous second variation) पर एक गणनीय निचली सीमा प्राप्त करने के लिए विविक्त KKT बिंदुओं से प्रक्षेप पथों (trajectories) का पुनर्निर्माण करता है, जिससे स्थानीय अनुकूलता के लिए सत्यापन योग्य प्रमाण पत्र प्रदान होते हैं और अनुकूली मेश परिशोधन (adaptive mesh refinement) का मार्गदर्शन मिलता है।

Dongzhe Zheng, Wenjie Mei2026-04-08