Key points are not available for this paper at this time.
يهدف تخطيط المهام للأنظمة المستقلة متعددة الوكالات إلى توليد خطط مهام قابلة للتنفيذ وأمثل تلبي المتطلبات المعطاة. في هذه المقالة، نقترح منهجية لتخطيط المهام مدعومة بالأدوات تجمع بين (1) خوارزمية تخطيط المسار لتوليف خطط المسار التي تكون آمنة في بيئات تحتوي على ظروف طرق معقدة، و (2) طريقة جدولة المهام لتوليف خطط المهام التي تحدد المهام بالترتيب الصحيح والأسرع، مع مراعاة المسارات المخططة. تعتمد طريقة جدولة المهام على التحقق من النموذج، والذي يوفر وسائل لتوليد أوامر تنفيذ المهام تلقائيًا تلبي المتطلبات وتضمن صحة وكفاءة الخطط من خلال البناء. نقوم بتنفيذ نهجنا في أداة تُسمى MALTA، التي تقدم واجهة مستخدم سهلة الاستخدام لتكوين متطلبات المهمة، ووحدة لتخطيط المسار، ودمج مع أداة التحقق من النماذج UPPAAL، ووظائف للتوليد التلقائي للنماذج الرسمية، وتحليل آثار تنفيذ النماذج. تُظهر التجارب مع الأداة قابليتها للتطبيق وأدائها في تكوينات متنوعة لدراسة حالة صناعية لمقلع مستقل. كما نظهر قابلية التكيف لأداتنا من خلال استخدامها في حالة خاصة من دراسة الحالة الصناعية.
درس Gu et al. (الأربعاء) هذا السؤال.