محلي‌سازي كنترل نظارتي گسسته-پيش‌آمد نسبت به هر يك از پيش‌آمدهاي كنترل‌پذير

Localization of DES Supervisory Control with Respect to Each Controllable Event

در طراحي كنترل نظارتي سيستم­هاي گسسته-پيش­آمد افزايش تعداد حالت­ها باعث پيچيدگي محاسباتي شده و پياده ­سازي ناظر را نيز مشكل م ي­سازد. محل ي­سازي ناظر يكپارچه روشي براي كاهش تعداد حالت­هاي ناظر نسبت به هر يك از اجزاي سيستم بوده، به طوري كه عملكرد همزمان كنترل­ كننده­ هاي محلي در سيستم گسسته - پيش­آمد معادل كنترلي ناظر يكپارچه باشد. در اين مقاله براي ساده­ نمودن پياده­ سازي كنترل­ نظارتي روي سيستم­هاي صنعتي، محلي­ سازي ناظر نسبت به هر يك از پيش­آمدهاي كنترل­ پذير معرفي شده است. دو روش براي تعميم روش موجود محلي­ سازي ناظر پيشنهاد شده است: در روش اول گذرهايي غير از گذري كه محلي­ سازي ناظر نسبت به آن انجام مي­گيرد، در تمامي حالت­هايي از ناظر يكپارچه كه آن گذرها غيرفعال شده­اند، حلقه مي­گردند. در روش دوم گذرهايي از سيستم گسسته-پيش­آمد كه در ناظر يكپارچه غيرفعال شده­اند، غير از گذر كنترل ­پذيري كه محل ي­سازي ناظر نسبت به آن انجام مي­شود، حذف شده و مدل ساده­ تري ايجاد مي­گردد. پس از انجام هر يك از دو روش فوق، ناظر يكپارچه با استفاده از الگوريتم كاهش ناظر ساده مي­گردد. روش­هاي معرفي شده نسبت به روش موجود انعطاف ­پذيرتر بوده و ممكن است منتهي به تعداد حالت­هاي كمتري گردند. همچنين ثابت مي­شود كه نتيجه دو روش معرفي شده يكسان است

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