论文部分内容阅读
给定离散事件系统（DES）G及某个规定的最大允许合法语言说明（MPLLS）K，监督控制的任务就是寻找一个监控器S，使得系统在监控下不会突破该MPLLS，也即满足：L（S／G）K．传统的实现方法要求给定MPLLSK计算其最大可控子语言K↑，因此难免要显式地构造S．本文给出一种新的方案可以不必对K↑和S作显式计算．监控任务是随DESG的演化结合规定的MPLLSK用动态方法实现．该方案在很大程度上依赖一个在线集合包含测试算法．文章末尾给出的一个实例说明了该方案在实际应用中的有用性．
Given a discrete event system (DES) G and a specified maximum permitted legal language specification (MPLLS) K, the task of supervisory control is to look for a supervisor S so that the system will not break the MPLLS under surveillance, ie, satisfy: L (S / G) K. The traditional method requires a given MPLLSK to calculate its maximum controllable sub-language K ↑, so it is inevitable to construct S explicitly. In this paper, we give a new scheme that does not need to explicitly calculate K ↑ and S. The monitoring task is implemented with the dynamic evolution of the DESG in combination with the prescribed MPLLSK. The solution relies heavily on an online collection of test algorithms. An example given at the end of the article illustrates the usefulness of this solution in practice.