Journal of Control

fa محلی‌سازی کنترل نظارتی گسسته-پیش‌آمد نسبت به هر یک از پیش‌آمدهای کنترل‌پذیر Localization of DES Supervisory Control with Respect to Each Controllable Event تخصصي Special پژوهشي Research paper در طراحی کنترل نظارتی سیستمهای گسسته-پیشآمد افزایش تعداد حالتها باعث پیچیدگی محاسباتی شده و پیادهسازی ناظر را نیز مشکل میسازد. محلیسازی ناظر یکپارچه روشی برای کاهش تعداد حالتهای ناظر نسبت به هر یک از اجزای سیستم بوده، به طوری که عملکرد همزمان کنترلکنندههای محلی در سیستم گسسته-پیشآمد معادل کنترلی ناظر یکپارچه باشد. در این مقاله برای ساده نمودن پیادهسازی کنترل نظارتی روی سیستمهای صنعتی، محلیسازی ناظر نسبت به هر یک از پیشآمدهای کنترلپذیر معرفی شده است. دو روش برای تعمیم روش موجود محلیسازی ناظر پیشنهاد شده است: در روش اول گذرهایی غیر از گذری که محلیسازی ناظر نسبت به آن انجام میگیرد، در تمامی حالتهایی از ناظر یکپارچه که آن گذرها غیرفعال شدهاند، حلقه میگردند. در روش دوم گذرهایی از سیستم گسسته-پیشآمد که در ناظر یکپارچه غیرفعال شدهاند، غیر از گذر کنترلپذیری که محلیسازی ناظر نسبت به آن انجام میشود، حذف شده و مدل سادهتری ایجاد میگردد. پس از انجام هر یک از دو روش فوق، ناظر یکپارچه با استفاده از الگوریتم کاهش ناظر ساده میگردد. روشهای معرفی شده نسبت به روش موجود انعطافپذیرتر بوده و ممکن است منتهی به تعداد حالتهای کمتری گردند. همچنین ثابت میشود که نتیجه دو روش معرفی شده یکسان است. Supervisory control synthesis in discrete-event systems may encounter increasing the state cardinality. Increase in the number of states causes the computational complexity in supervisor synthesis and makes the implementation of the supervisor in industrial systems difficult. Localization of a supervisor is a method to reduce the number of states in the monolithic supervisor w.r.t. each component of the plant. Also, the synchronization of local controllers with the plant is control equivalent to the monolithic supervisor. In this paper, localization of a monolithic supervisor w.r.t. each controllable event is proposed, in order to facilitate implementation of local controllers. Two methods are proposed based on generalizing existing methods. The first method localizes a supervisor based on self-looping some states by disabled events which cannot be disabled by the corresponding local controller. The second one executes the supervisor localization based on removing transitions in the plant model that are disabled in some states of the monolithic supervisor, and are not supposed to be disabled by the corresponding local controller. In both methods, the supervisor is reduced w.r.t. the (reduced) plant model. The proposed methods are more flexible and may lead to less number of states, comparing to the results of existing method. It is proved that the two methods yield same results. الگوریتم کاهش ناظر, سیستم‌های گسسته-پیش‌آمد, محلی‌سازی کنترل نظارتی. Supervisor reduction procedure, Discrete-event systems, Supervisor localization procedure. 29 41 http://joc.kntu.ac.ir/browse.php?a_code=A-10-432-1&slc_lang=fa&sid=1 Vahid Saeidi وحید سعیدی v_saeidi@sbu.ac.ir 10031947532846005592 10031947532846005592 No Dept. of Electrical Engineering, Abbaspour School of Engineering, Shahid Beheshti University دانشگاه شهید بهشتی- پردیس فنی مهندسی شهید عباسپور- دانشکده مهندسی برق Ali Akbar Afzalian علی اکبر افضلیان afzalian@sbu.ac.ir 10031947532846005593 10031947532846005593 Yes Dept. of Electrical Engineering, Abbaspour School of Engineering, Shahid Beheshti University دانشگاه شهید بهشتی- پردیس فنی مهندسی شهید عباسپور- دانشکده مهندسی برق Davood Gharavian داود غرویان d_gharavian@sbu.ac.ir 10031947532846005594 10031947532846005594 No Dept. of Electrical Engineering, Abbaspour School of Engineering, Shahid Beheshti University دانشگاه شهید بهشتی- پردیس فنی مهندسی شهید عباسپور- دانشکده مهندسی برق