⚡ electrical engineering

Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance

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

Larry Hui, Jordan Kam, William Su, Jianshu Zhou2026-05-20
⚡ electrical engineering

Functional requirements decomposition in set-based design

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

Minghui Sun, Zhaoyang Chen, Georgios Bakirtzis, Hassan Jafarzadeh, Cody Fleming2026-05-19
⚡ electrical engineering

Information Aided Navigation: A Review

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

Daniel Engelsman, Itzik Klein2026-05-19
⚡ electrical engineering

Parametric and State Estimation of Stationary MEMS-IMUs: A Tutorial

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

Daniel Engelsman, Yair Stolero, Itzik Klein2026-05-19
⚡ electrical engineering

Underwater MEMS Gyrocompassing: A Virtual Testing Ground

تقترح هذه الورقة إطار عمل يعتمد على تعلم الآلة يعمل على تنقية إشارات القصور الذاتي المضطربة لتمكين عملية تحديد الموقع بالبوصلة والقصور الذاتي تحت الماء بدقة ومرونة للمركبات غير المأهولة تحت الماء (UUVs) رغم التحديات البيئية مثل التيارات المحيطية.

Daniel Engelsman, Itzik Klein2026-05-19
⚡ electrical engineering

Enhancing Information Freshness: An AoI Optimized Markov Decision Process

تقترح هذه الورقة عملية ماركوف لاتخاذ القرار محسنة لعمر المعلومات (AoI-MDP) تدمج تأخير الملاحظة في فضاء الحالة ووقت الانتظار في فضاء الإجراءات لتحسين حداثة المعلومات واتخاذ القرار بشكل مشترك للمركبات ذاتية القيما تحت الماء، مما يظهر أداءً فائقاً في مهام جمع البيانات لعدة مركبات تحت مائية من خلال عمليات محاكاة مفتوحة المصدر.

Jingzehua Xu, Yimian Ding, Yiyuan Yang, Guanwen Xie, Shuai Zhang2026-05-19
⚡ electrical engineering

Language Models as Efficient Reward Function Searchers for Custom-Environment Multi-Objective Reinforcement

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

Guanwen Xie, Jingzehua Xu, Yiyuan Yang, Yimian Ding, Shuai Zhang2026-05-19
⚡ electrical engineering

Multi-Objective-Optimization Assisted Data Collection Framework for IoUT Based on Offline Reinforcement

تقترح هذه الورقة إطار عمل لجمع البيانات بمساعدة مركبات تحت مائية ذاتية القيادة متعددة (multi-AUV) لشبكات تحديث المعلومات، والذي يستفيد من نهج التعلم التعزيزي خارج الخط (offline reinforcement learning) متعدد الوكلاء مع نموذج تدريب لا مركزي شبه اتصالي، وذلك لتعظيم معدل البيانات وقيمة المعلومات في آن واحد مع تقليل استهلاك الطاقة وضمان تجنب الاصطدام في البيئات المائية الصعبة.

Yimian Ding, Xinqi Wang, Jingzehua Xu, Guanwen Xie, Weiyi Liu, Yi Li2026-05-19
⚡ electrical engineering

Uncertainty Representation in a SOTIF-Related Use Case with Dempster-Shafer Theory for LiDAR Sensor-Based Object Detection

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

Milin Patel, Rolf Jung2026-05-19
⚡ electrical engineering

Inertial-Based LQG Control: A New Look at Inverted Pendulum Stabilization

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

Daniel Engelsman, Itzik Klein2026-05-19