Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates

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