一类上限能控子语言的N步递推求解算法

本文给出了基于L（G）的N步投影状态，递推求解前缀闭合语言K的上限能控子语言算法．讨论了算法的单调性和最优性．

一类约束语言的上限能控子语言进一步讨论

事件与状态为离散事件动态系统的二特征量。事件、状态的逻辑演化关系可用有限自动机模型来描述，系统的逻辑运行特性则为事件集上的事件串（序列）。受禁状态集或（和）受禁事件串集为离散事件动态系统的一类重要性能指标。Ｌｉｎ等对其首先进行了讨论，给出了受禁状态集或（和）受禁事件串集约束语言指标的上限能控子语言及其该指标下离散事件动态系统监控器综合的计算方法［２］。在对该类约束语言的上限能控子语言展开了进一步的讨论同时，修正并推广了文献［２］的结果。

格理论在离散事件系统监控中的应用

利用格理论给出了给定语言的上限能控子语言，上限闭子语言和上限Ｌｍ（Ｇ）闭子语言的存在性和算法．