一种新的离散事件系统控制方案(英文)

A New Scheme for the Dynamic Control of Discrete Event Systems

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

For a given discrete event system DES G and a prescribed maximally permissive legal 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 MPLLS, i. e., L(S/G) K. The traditional method to realize this involves the computation of so-called supremal controllable sublanguage 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 and the prescribed MPLLS K. To a large extent,the approach is base on an 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.