Compositional and symbolic synthesis of reactive controllers for multi-agent systems

ما سنتز کنترل کننده را برای سیستم های چندگانه ای که شامل مجموعه ای از عوامل کنترل شده و کنترل نشده هستند، در نظر می گیریم. عوامل کنترل شده ممکن است نیاز به همکاری با یکدیگر داشته باشند و به منظور واکنش به اقدامات عامل های کنترل نشده به منظور دستیابی به اهداف خود واکنش نشان دهند. علاوه بر این، عوامل ممکن است ناقص باشند، به عنوان مثال، تنها بخشی از محیط آنها را مشاهده می کنند. ما یک چارچوب برای سنتز کنترل کننده را بر اساس ترکیب سنتز واکنشی ترکیب می کنیم. ما الگوریتم ها را به صورت نمادین پیاده سازی می کنیم و آنها را به یک مطالعه موردی برنامه ریزی حرکت ربات می کنیم که در آن ربات های چندگانه در یک شبکه شبکه با موانع ایستا و دیگر ربات های پویا، کنترل و به طور بالقوه رقیب قرار می گیرند. ما اهداف مختلفی نظیر اجتناب از برخورد، حفظ شکل گیری و دستیابی محدود را در نظر می گیریم. ما نشان می دهیم که با استفاده از ساختار سیستم، الگوریتم ترکیب سنتز می تواند به طور قابل ملاحظه ای جایگزین متمرکز را از دیدگاه زمان و حافظه از بین برد و می تواند مشکلات را حل کند که الگوریتم متمرکز غیر قابل قبول است.