一种新的离散事件系统控制方案

A New Scheme for the Dynamic Control of Discrete Event Systems

中文关键词  离散事件系统  自动机  语言  监督控制  算法  在线控制

英文关键词  discrete event systems  automaton  language  supervisory control  algorithm  on-line control

中文摘要

      给定离散事件系统（DES）G及某个规定的最大允许合法语言说明（MPLLS）K. 监督控制的任务就是寻找一个监控器S， 使得系统在监控下不会突破该MPLLS， 也即满足：L（S／G）∈K. 传统的实现方法要求给定MPLLSK计算其最大可控子语言K↑， 因此难免要显式地构造S.本文给出一种新的方案可以不必对K↑和S作显式计算. 监控任务是随DESG的演化结合规定的MPLLS K用动态方法实现， 该方案在很大程度上依赖一个在线集合包含测试算法. 文章末尾给出的一个实例说明了该方案在实际应用中的有用性.

英文摘要

      For a given discrete event system DES G and a prescribed maximally permissive le- gal language specification MPLLS K ,the mission for supervisory control is to find a supervisor S such that the system under supervision will never breach the MPI,I.S,i. e. ,L（S/G） ∈K. The tra-ditional method to realize this involves the computation of so-called supremal controllable sublan-guage K↑　of the given MPLLS K and thus the explicit construction of S is unavoidable,This paper exhibits a new approach to the problem which can alleviate the necessity both to compute K↑ and to construct S explicitly. Instead,the supervisor will be dynamically realized with the evolution of the DES G arid the prescribed MPLLS K . To a large extent,the approach is base on dn on-line set in clusion test algorithm so it will be proved to be useful in real applications,which is enhanced by an example towards the end of the paper.