论文部分内容阅读
事件与状态为离散事件动态系统的二特征量,状态的逻辑演化关系可用有限自动机模型来描述,系统的逻辑运行特性则为事件集上的事件串(序列)。受禁状态集或(和)受禁事件串集为离散事件动态系统的一类重要性能指标。Lin等对其首先进行了讨论,给出了受禁状态集或(和)受禁事件串集约束语言指标的上限能控子语言及其该指标下离散事件动态系统监控器综合的计算方法。在对该类约束语言的上限能控子语言展开了进一步的讨论同时,修