Deadlock-free output feedback controller design based on approximately abstracted observers

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