⚡ electrical engineering

Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks

यह शोधपत्र मल्टी-एजेंट सिस्टम के लिए एक 'सिक्योर-बाय-कंस्ट्रक्शन' फ्रेमवर्क प्रस्तावित करता है जो निष्क्रिय घुसपैठियों के विरुद्ध सुरक्षा बाधाओं को सीधे लीनियर टेम्पोरल लॉजिक (LTL) सिंथेसिस में एकीकृत करता है ताकि कार्य की संतुष्टि और कार्य निष्पादन एवं एजेंट की पहचान से संबंधित संवेदनशील जानकारी की सुरक्षा दोनों को औपचारिक रूप से गारंटी दी जा सके।

Georgios Mitsos, Dimos V. Dimarogonas, Siyuan Liu2026-05-14
⚡ electrical engineering

Subspace Pruning via Principal Vectors for Accurate Koopman-Based Approximations

यह शोध पत्र प्रिसिपल वेक्टर्स पर आधारित सबस्पेस प्रूनिंग के लिए एक एकीकृत बीजगणितीय ढांचे का प्रस्ताव करता है जो कोपमैन ऑपरेटर इनवेरिएंस (Koopman operator invariance) को व्यवस्थित रूप से परिष्कृत करने के लिए एक हाइब्रिड रणनीति और कुशल संख्यात्मक अपडेट पेश करता है, जो स्केलेबल लीनियर स्टेट प्रेडिक्शन के लिए इनवेरिएंस सुधार और स्टेट रिकंस्ट्रक्शन सटीकता के बीच संतुलन बनाता है।

Dhruv Shah, Jorge Cortés2026-05-14
🧬 biology

Embodied Neurocomputation: A Framework for Interfacing Biological Neural Cultures with Scaled Task-Driven Validation

यह शोध पत्र एक एम्बोडीड न्यूरोकंप्यूटेशन (Embodied Neurocomputation) ढांचे को प्रस्तुत करता है जो जैविक तंत्रिका नेटवर्क एजेंटों के लिए एनकोडिंग और डिकोडिंग कॉन्फ़िगरेशन को सफलतापूर्वक अनुकूलित करता है, यह प्रदर्शित करते हुए कि ये बायो-हाइब्रिड सिस्टम समान इंटरेक्शन बजट के तहत पारंपरिक सिलिकॉन-आधारित एआई की तुलना में बेहतर क्लोज्ड-लूप नेविगेशन प्रदर्शन प्राप्त कर सकते हैं।

Johnson Zhou, Daniel Tanneberg, Forough Habibollahi, Alon Loeffler, Kiaran Lawson, Valentina Baccetti, Kwaku Dad Abu-Bon (…)2026-05-14
⚡ electrical engineering

Learning a Contracting KKL-observer with Local Optimal Guarantees

यह शोध पत्र एक डीप लर्निंग-आधारित कार्यप्रणाली प्रस्तावित करता है जो वैश्विक स्थिरता के लिए संरचनात्मक रूप से कॉन्ट्रैक्शन (contraction) को लागू करने हेतु एक काज़ान्त्ज़िस-क्रावरिस-ल्यूनबर्गर (KKL) ऑब्ज़र्वर को डिज़ाइन करने के लिए है, जो स्थानीय रूप से एक मिनिमम एनर्जी एस्टिमेटर की इष्टतमता की नकल करता है, जिसे नॉनलीनर बेंचमार्क पर संख्यात्मक सिमुलेशन के माध्यम से मान्य किया गया है।

Clara Lucía Galimberti, Johan Peralez, Daniele Astolfi, Vincent Andrieu, Madiha Nadri2026-05-14
⚡ electrical engineering

TinySDP: Real Time Semidefinite Optimization for Certifiable and Agile Edge Robotics

यह शोध पत्र TinySDP को प्रस्तुत करता है, जो एम्बेडेड सिस्टम के लिए डिज़ाइन किया गया पहला सेमीडेफिनेट प्रोग्रामिंग सॉल्वर है जो माइक्रोकंट्रोलर्स पर रीयल-टाइम, प्रमाणित मॉडल-प्रेडिक्टिव कंट्रोल को सक्षम बनाता है, और चुनौतीपूर्ण गतिशील वातावरण में अत्याधुनिक बेसलाइन की तुलना में बेहतर टकराव-मुक्त नेविगेशन और पथ दक्षता प्राप्त करता है।

Ishaan Mahajan, Jon Arrizabalaga, Andrea Grillo, Fausto Vega, James Anderson, Zachary Manchester, Brian Plancher2026-05-14
⚡ electrical engineering

Rollbot: a Spherical Robot Driven by a Single Actuator

यह शोधपत्र रोलबॉट (Rollbot) को प्रस्तुत करता है, जो केवल एक एकल एक्चुएटर (actuator) का उपयोग करके, व्युत्पन्न अर्ध-स्थिर अवस्था गतिकी (quasi-stable state dynamics) के आधार पर त्वरण और मंदन के माध्यम से प्रक्षेपवक्र वक्रता (trajectory curvature) को नियंत्रित करके, नियंत्रित 2D समतलीय गति करने में सक्षम प्रथम गोलाकार रोबोट है।

Jingxian Wang, Michael Rubenstein2026-05-13
⚡ electrical engineering

Active inference as a unified model of collision avoidance behavior in human drivers

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

Julian F. Schumann, Johan Engström, Leif Johnson, Matthew O'Kelly, Joao Messias, Jens Kober, Arkady Zgonnikov2026-05-13
⚡ electrical engineering

A Review On Safe Reinforcement Learning Using Lyapunov and Barrier Functions

यह समीक्षा पत्र उन सुरक्षित सुदृढीकरण शिक्षण (reinforcement learning) तकनीकों के विकास, वर्तमान चुनौतियों और भविष्य की दिशाओं का विश्लेषण करता है जो सिस्टम स्थिरता और बाधा संतुष्टि सुनिश्चित करने के लिए लयापुनोव (Lyapunov) और बैरियर फलनों (barrier functions) का उपयोग करते हैं, जो मॉडल-मुक्त और संयुक्त CLF-CBF दृष्टिकोणों की ओर एक निर्णायक बदलाव को रेखांकित करता है और उच्च-आयामी, आंशिक रूप से अवलोकन योग्य परिवेशों में स्केलेबिलिटी को प्राथमिक शेष बाधा के रूप में पहचानता है।

Dhruv Singh Kushwaha, Zoleikha Abdollahi Biron2026-05-13
⚡ electrical engineering

Host-Aware Control of Gene Expression using Data-Enabled Predictive Control

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

Liam Perreault, Idris Kempf, Kirill Sechkar, Jean-Baptiste Lugagne, Antonis Papachristodoulou2026-05-13
🔢 mathematics

Sensor Design for Accuracy-Bounded Estimation via Maximum-Entropy Likelihood Synthesis

यह शोध पत्र एक इनवर्टेड सेंसर डिज़ाइन फ्रेमवर्क प्रस्तावित करता है जो अनिश्चित स्थानिक-कालिक प्रणालियों के लिए सटीकता सीमाओं की गारंटी देने हेतु बाधाओं वाले अनुकूलन (constrained optimization) के माध्यम से अधिकतम-एन्ट्रॉपी मापन संभावनाओं (maximum-entropy measurement likelihoods) को संश्लेषित करता है, जिससे सटीक फॉरवर्ड मॉडल की आवश्यकता के बिना त्रुटि बजटों को सीधे भौतिक सेंसर कॉन्फ़िगरेशनों में मैप करना सक्षम होता है।

Raktim Bhattacharya2026-05-13