2287 ورقة بحثية
تقدم هذه الورقة البحثية طريقة "الترميم المستهلك عبر الانتشار" (AID)، وهي منهجية تعمل على تدريب وحدة توجيه صغيرة قابلة لإعادة الاستخدام على نموذج انتشار مسبق التدريب وثابت لتحقيق ترميم صور عالي الجودة وفعال دون الحاجة إلى تحسين لكل حالة على حدة، وذلك من خلال الاستفادة من صياغة غاوسية مبتكرة وخوارزمية "الممثل-الناقد" للربط بين التوجيه الحتمي والأهداف العشوائية القابلة للتعلم.
تقدم هذه الورقة OCULAR، وهو خوارزمية قائمة على التنبؤ المطابق تستفيد من المعلومات الدلالية للصور لتوفير ضمانات كمية لعدم اليقين غير تقاربية وخالية من التوزيع لنماذج الديناميكيات الخطية الغاوسية، مما يتيح التخطيط الآمن احتماليًا في البيئات غير المرئية من خلال التمييز بين مناطق عدم اليقين العالية والمنخفضة دون الحاجة إلى بيانات خاصة بالبيئة.
تقترح هذه الورقة إطار عمل "آمن بالتصميم" للأنظمة متعددة الوكلاء، يدمج قيود الأمن ضد المتسللين السلبيين مباشرة في تركيب المنطق الزمني الخطي (LTL) لضمان استيفاء المهام وحماية المعلومات الحساسة المتعلقة بتنفيذ المهام وهوية الوكيل بشكل رسمي.
تقترح هذه الورقة إطاراً جبرياً موحداً لتقليم الفضاءات الجزئية بناءً على المتجهات الرئيسية لتنقيح ثبات مؤثر كوبمان بشكل منهجي، وذلك عبر تقديم استراتيجية هجينة وتحديثات عددية فعالة توازن بين تحسين الثبات ودقة إعادة بناء الحالة من أجل تنبؤ خطي قابل للتوسع للحالة.
تقدم هذه الورقة إطار عمل للحوسبة العصبية المتجسدة ينجح في تحسين تكوينات الترميز وفك التشفير للوكلاء ذوي الشبكات العصبية البيولوجية، مما يثبت أن هذه الأنظمة الهجينة بيولوجياً يمكنها تحقيق أداء ملاحة متفوق في الحلقة المغلقة مقارنة بالذكاء الاصطناعي التقليدي القائم على السيليكون تحت نفس ميزانية التفاعل.
تقترح هذه الورقة منهجية قائمة على التعلم العميق لتصميم مراقب كازانتزيس-كرافاريس-لوينبيرجر (KKL) يفرض هيكلياً الانكماش من أجل الاستقرار العالمي، بينما يحاكي محلياً مثالية مُقدِّر الحد الأدنى من الطاقة، وهو ما تم التحقق منه من خلال عمليات المحاكاة العددية على نماذج اختبار غير خطية.
تقدم هذه الورقة البحثية TinySDP، وهو أول برنامج لحل البرمجة شبه المحددة المصمم للأنظمة المدمجة والذي يتيح التحكم التنبئي بالنماذج في الوقت الفعلي وبشكل قابل للتحقق على المتحكمات الدقيقة، محققاً تفوقاً في الملاحة الخالية من الاصطدامات وكفاءة المسار في البيئات الديناميكية الصعبة مقارنة بالنماذج المرجعية المتطورة.
تقدم هذه الورقة "رول بوت" (Rollbot)، وهو أول روبوت كروي قادر على الحركة المستوية ثنائية الأبعاد المتحكم بها باستخدام مشغل ميكانيكي واحد فقط عبر تعديل انحناء المسار من خلال التسارع والتباطؤ بناءً على ديناميكيات الحالة شبه المستقرة المستمدة.
تقترح هذه الورقة نموذجاً حوسبياً موحداً للاستدلال النشط ينجح في تفسير سلوكيات تجنب الاصطدام البشرية المتنوعة عبر سيناريوهات مختلفة من خلال دمج آليات تراكم الأدلة لإعادة إنتاج النتائج التجريبية المتعلقة بتوقيت الاستجابة، واختيار المناورة، والتنفيذ.
تحلل هذه الورقة المراجعية تطور التحديات الراهنة والتوجهات المستقبلية لتقنيات التعلم المعزز الآمن التي تستخدم دالات ليابونوف ودالات الحاجز لضمان استقرار النظام والامتثال للقيود، مع تسليط الضوء على تحول حاسم نحو النهج الخالي من النموذج ونهج دمج دالة ليابونوف المستقرة (CLF) مع دالة الحاجز (CBF)، مع تحديد قابلية التوسع في البيئات عالية الأبعاد وذات الملاحظة الجزئية كعائق رئيسي متبقٍ.