⚡ electrical engineering

Runtime-Certified Bounded-Error Quantized Attention

تقدم هذه الورقة بنية ذاكرة تخزين مؤقت (KV cache) متعددة المستويات تتيح انتباهًا مكممًا بحد خطأ محدد ومعتمد وقت التشغيل، وذلك عبر حساب حدود الخطأ عبر الإنترنت لتفعيل الاختيار التكيفي للدقة والرجوع الحتمي إلى صيغة FP16، مما يضمن الاستعادة إلى مخرجات الانتباه الكثيف الدقيقة مع الحفاظ على ضغط عالٍ لاستنتاج النماذج اللغوية الكبيرة ذات السياق الطويل.

Dean Calver2026-05-21✓ Author reviewed
⚡ electrical engineering

LoRa and LoRaWAN simulator-cum-emulator with CAD and capture effect in Python

تقدم هذه الورقة محاكياً بسيطاً لتقنيات LoRa/LoRaWAN يعتمد على لغة بايثون ويعمل بنظام الأحداث المنفصلة، ويتميز بطريقة مبتكرة لمحاكاة البرامج الثابتة (firmware) لاختبار أجهزة STM32 الحقيقية، ونواة asyncio مخصصة مع نمذجة تأثير الالتقاط (capture effect)، وبروتوكول LoRaWAN 1.0.4 كاملاً، وكل ذلك موزع كحزمة مستقلة دون أي تبعات خارجية.

Matthijs Reyers, Niels Hokke, R. R. Venkatesha Prasad2026-05-21
⚡ electrical engineering

Neural Configuration-Space Barriers for Manipulation Planning and Control

تقترح هذه الورقة إطار عمل موحداً لتخطيط الحركة والتحكم للمناولات الروبوتية عالية الأبعاد، يستخدم دوال مسافة في فضاء التكوين عصبية مُتعلمة كحواجز متينة توزيعياً لضمان السلامة والكفاءة في البيئات المزدحمة والديناميكية باستخدام بيانات المستشعرات الموجودة على متن الروبوت فقط.

Kehan Long, Ki Myung Brian Lee, Nikola Raicevic, Niyas Attasseri, Melvin Leok, Nikolay Atanasov2026-05-20
⚡ electrical engineering

Bounds on Deep Neural Network Partial Derivatives with Respect to Parameters

تضع هذه الورقة حدوداً حدودية مغلقة وصارمة للمشتقات الجزئية الأولى والثانية للشبكات العصبية العميقة بالنسبة لمعاملاتها عبر دوال تنشيط مختلفة، مما يوفر الأسس الرياضية الصريحة اللازمة لضمانات الاستقرار في التحكم القائم على ليابونوف وتحليل التقارب في الأنظمة الحرجة للسلامة.

Omkar Sudhir Patil, Brandon C. Fallin, Cristian F. Nino, Rebecca G. Hart, Warren E. Dixon2026-05-20
⚡ electrical engineering

Compliant Explicit Reference Governor for Contact Friendly Robotic Manipulators

تقدم هذه الورقة البحثية "حاكم المرجع الصريح المتوافق" (CERG)، وهو طبقة سلامة نمطية تُمكّن الأذرع الروبوتية من التفاعل مع بيئتها بضمانات مثبتة من خلال الحد من طاقة التلامس مع الحفاظ على الأداء أثناء الحركة الحرة.

Yaashia Gautam, Gilberto Briscoe-Martinez, Adhitya Mohan, Nataliya Nechyporenko, Alessandro Roncone, Marco M. Nicotra2026-05-20
⚡ electrical engineering

MDP-based Energy-aware Task Scheduling for Battery-less IoT

تقترح هذه الورقة جدولة قائمة على عتبة ثابتة مثلى (OSTB) مصاغة كعملية قرار ماركوف لتعظيم معدل الإنجاز طويل الأمد لمهام الاستشعار والحوسبة والإرسال الدورية في أجهزة إنترنت الأشياء التي تعمل بدون بطارية، وذلك من خلال التحسين المشترك لترتيب المهام وتوقيت التنفيذ في ظل تقطع الطاقة والقيود الزمنية الصارمة.

Shahab Jahanbazi, Mateen Ashraf, Onel L. A. López2026-05-20
⚡ electrical engineering

The Wisdom of the Crowd: High-Fidelity Classification of Cyber-Attacks and Faults in Power Systems Using Ensemble and Machine Learning

تُثبت هذه الورقة أنه بينما تُعد الدقة غير المتصلة بالإنترنت مؤشراً غير موثوق للجاهزية الميدانية، فإن نموذج الإدراك متعدد الطبقات (MLP) يتفوق على أساليب التجميع في التصنيف الفوري وتحت دورة زمنية للهجمات السيبرانية والأعطال في أنظمة الطاقة من خلال الحفاظ على تغطية عالية دون الامتناع المتكرر الملحوظ في نماذج التجميع.

Emad Abukhousa, Syed Sohail Feroz Syed Afroz, Fahad Alsaeed, Abdulaziz Qwbaiban, Saman Zonouz, A. P. Sakis Meliopoulos2026-05-20
⚡ electrical engineering

Data-driven Acceleration of MPC with Guarantees

تقدم هذه الورقة إطار عمل قائم على البيانات يعمل على تسريع التحكم التنبئي بالنماذج عبر استبدال التحسين عبر الإنترنت بسياسة بحث سريعة وغير معلمية مشتقة من حلول تم إجراؤها مسبقاً، مما يضمن الجدوى المتكررة وفجوات المثالية المحدودة مع توفير سرعة تنفيذ تتراوح بين 100 إلى 1000 مرة مع حد أدنى من الخسارة في الأداء.

Agustin Castellano, Shijie Pan, Enrique Mallada2026-05-20
⚡ electrical engineering

Sensor Attack Detection Method for Encrypted State Observers

تقترح هذه الورقة مراقب حالة يعتمد على التشفير المتماثل للأنظمة العامة متعددة المدخلات والمخرجات، والذي يكتشف هجمات المستشعرات ويستعيد الحالات المشفرة دون الحاجة لفك التشفير عن طريق توليد إشارة متبقية فوق حقل من الأعداد الصحيحة المحدودة.

Yeongjun Jang, Sangwon Lee, Junsoo Kim2026-05-20
⚡ electrical engineering

Descriptive versus Regulatory Uncertainty in Bounded Predictive Systems

تجادل هذه الورقة بأن بنيات المحولات الحالية محدودة جوهرياً بـ "اللايقين الوصفي" الذي يفشل في دفع السلوك التكيفي لأن اعتلاجها على مستوى الرمز يظل ثابتاً إحصائياً بغض النظر عن دقة المهمة، مما يثبت أن "اللايقين التنظيمي" الحقيقي يتطلب اقتراناً فيزيائياً بين الخطأ المعرفي وتكلفة الطاقة الديناميكية الحرارية التي تفتقر إليها الأنظمة الرقمية المنفصلة.

Ahmed Gamal Eldin2026-05-20