💻 computer science

LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback

إن LAD-VF هو إطار عمل لا يتطلب ضبطاً دقيقاً، حيث يستفيد من التغذية الراجعة للتحقق الرسمي وLLM-AutoDiff لتحسين المطالبات بشكل تكراري، مما يتيح تخطيطاً روبوتياً قابلاً للتوسع وقابلاً للتفسير يحسن الامتثال للسلامة بشكل كبير دون تعديل معلمات النموذج.

Yunhao Yang, Junyuan Hong, Gabriel Jacob Perin, Zhiwen Fan, Li Yin, Zhangyang Wang, Ufuk Topcu2026-05-27
💻 computer science

Evolution of Safety Requirements in Industrial Robotics: Comparative Analysis of ISO 10218-1/2 (2011 vs. 2025) and Integration of ISO/TS 15066

تقدم هذه الورقة تحليلاً مقارناً بين معياري ISO 10218:2011 و2025، تسلط الضوء من خلاله على تطور متطلبات سلامة الروبوتات الصناعية عبر دمج تدابير الأمن السيبراني، وتوسيع تصنيفات السلامة الوظيفية، والدمج المعياري لـ ISO/TS 15066 لإرساء إطار شامل للأنظمة الروبوتية الحديثة.

Daniel Hartmann, Kristýna Hamříková, Aleš Vysocký, Vendula Laciok, Aleš Bernatík2026-05-27
💻 computer science

Vector Fields for Path Following on Lie Groups with Application in Robot Control

تقترح هذه الورقة إطار عمل عام للمجال المتجه لتتبع المسار على مجموعات لي (Lie groups) المصفوفة المتصلة، والمصمم خصيصاً لـ SE(3) لتمكين التحكم الفعال واللحظي للروبوتات ذات الأجسام الصلبة بتمثيل مدخلات أدنى، مع ضمان التقارب إلى مسارات الوضع المرغوبة من جميع الظروف الأولية تقريباً.

Felipe Bartelt, Luciano C. A. Pimenta, Weijia Yao, Vinicius M. Gonçalves2026-05-27
💻 computer science

PhyPush: One Push is All You Need for Sensorless Physical Property Estimation with Physics-Guided Transformers

تُعد PhyPush إطار عمل يعتمد على نموذج "ترانسفورمر" (Transformer) موجّه بالفيزياء، يقوم بتقدير كتلة الجسم ومعامل الاحتكاك بدقة باستخدام دفعة واحدة فقط وبيانات حركية قياسية، مما يلغي الحاجة إلى مستشعرات قوة أو لمس متخصصة مع التفوق على الأساليب الحالية في كل من سيناريوهات المحاكاة والواقع الفعلي.

Koyo Fujii, Luis Figueredo, Praminda Caleb-Solly, Ivan Boschi, Edoardo Ida', Marco Carricato, Aly Magassouba2026-05-27
💻 computer science

Decoupled Delay Compensation: Enhancing Pre-trained MARL Policies via Learned Dynamics Filtering

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

Maxim Mednikov, Oren Gal2026-05-27
💻 computer science

NightSight: Passive Computation for Navigation in Dark Using Events

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

Deepak Singh, Brijan Vaghasiya, Shreyas Khobragade, Nitin Sanket2026-05-27
💻 computer science

RCSP: Risk-Sensitive Conjectural Scenario Planning for Safe Dynamic Robot Navigation

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

Zhengye Han, Quanyan Zhu2026-05-27
⚡ electrical engineering

Robust Koopman Control Barrier Filters for Safe Actor-Critic Reinforcement Learning

تقدم هذه الورقة البحثية Robust Koopman-CBF SAC، وهو إطار عمل للتعلم المعزز الآمن يتعلم متنبئ Koopman القائم على البيانات لبناء وفرض قيود دالة حاجز كوبمان (CBF) مُضيّقة عبر برنامج تربيعي، مما يحقق صفر انتهاكات للقيود في الاختبارات المعيارية مع تحقيق التوازن بين أداء المهمة والسلامة.

Dhruv S. Kushwaha, Zoleikha A. Biron2026-05-27
⚡ electrical engineering

Provably Safe Motion Planning Under Unknown Disturbances

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

Ibon Gracia, Qi Heng Ho, Luca Laurenti, Morteza Lahijanian2026-05-27
⚡ electrical engineering

Breaking the Epistemic Trap: Active Perception Under Compound Uncertainty

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

Chayan Banerjee, Ethan Goan2026-05-27