🤖 AI

Reward Machines for Signal Temporal Logic

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

Alper Kamil Bozkurt, Shangtong Zhang, Yuichi Motai2026-08-17
🤖 AI

Coverage Aware Active Evaluation for Failure Discovery with Paired Systems

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

Anjali Parashar, Rachel Luo, Apoorva Sharma, Sushant Veer, Edward Schmerling, Carson Sobolewski, Mingxin Yu, Chuchu Fan (…)2026-08-17
⚡ electrical engineering

Knowledge-Data-Dual-Driven Reinforcement Learning for Autonomous Vehicle Control in Mixed Traffic

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

Jie Fang, Wei Zheng, Mengyun Xu, Eui-Jin Kim2026-08-17
💻 computer science

Ontology-Grounded World Models for Failure Diagnosis and Closed-Loop Repair in Physical AI Systems

تقدم هذه الورقة Onto-EV-WM، وهي واجهة قائمة على الأنطولوجيا تعزز نماذج العالم الحالية من خلال التتبع الصريح للمحمولات (predicates) غير المستوفاة للمهام وربطها بآليات التصحيح، مما يحقق معدلات نجاح عالية في تشخيص وإصلاح الفشل في الحلقة المغلقة عبر معايير متنوعة للذكاء الاصطناعي الفيزيائي مثل LIBERO وPointMaze.

Kailin Wang, Haoxiang Jie, Yaoyuan Yan, Jiacheng Zhou, Zhiyou Heng2026-08-17
💻 computer science

OpenBelief-Nav: Evidence-Preserving Object Memory for Open-Vocabulary Language-Guided Navigation

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

Dinh Tuan Nguyen, Anh Dao, Phuong Nam Dang, Quan-Dung Pham, Tuyen P. Le, Truong Nguyen, Quan Nguyen2026-08-17
💻 computer science

FlatLab: A Unified Methodology Framework and Simulation-Based Benchmark for Robotic Manipulation of Flat Objects

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

Xingyu Zhu, Wenshuo Han, Zhouyu Wang, Yuran Wang, Ruihai Wu, Hao Dong, Fan Tang, Hechang Chen, Hyung Jin Chang, Yixing G (…)2026-08-17
⚡ electrical engineering

A Temporal Barrier Framework for Collision Avoidance in Multi-Agent Autonomous Aerial Vehicles

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

Benedikt Barthel Sorensen, Mitchell Black, Erfaun Noorani, Themistoklis Sapsis2026-08-17
⚡ electrical engineering

Vibration Suppression in Collaborative Flexible Payload Manipulation Using Passive Force Control

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

Alaa Abderrahim, Antonio Rosales, Ferdinando Milella, Markku Suomalainen, Shuai Li2026-08-17
🤖 AI

Ensuring Safe Physical AI in Urban Mobility via Hazard-Informed Synthesized Envelopes

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

Alexei Odinokov, Rostislav Yavorskiy2026-08-17
💻 computer science

Evolutionary Brain-Body Co-Optimization Consistently Fails to Select for Morphological Potential

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

Alican Mertan, Nick Cheney2026-08-14