部分能观的DES监控器设计

ON DES SUPERVISOR SYNTHESIS UNDER PARTIAL OBSERVATION

离散事件监控理论是目前研究ＤＥＤＳ的一个主要分支．本文研究了在事件部分能控、能观情况下监控器存在的一个充要条件和设计方法，井用实例说明了该方法的有效性．

The Supervisory Control Theory of DEDS is one main approach in the study of DEDS. This paper deals with the existence condition of the supervisor and the synthesizing method under partial controllable and observable events. The effectiveness of the method is shown with some illustrating examples.