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

Further Results on the Supremal Controllable Sublanguage of a Kind of Constraint Language

作　　者：古天龙[1] 高衿畅[1] 周春晖[1] 

机构地区：[1]浙江大学,桂林电子工业学院电子计算机系

出　　处：《桂林电子工业学院学报》1996年第1期41-44,共4页Journal of Guilin Institute of Electronic Technology

基　　金：电科院军事预研基金

摘　　要：事件与状态为离散事件动态系统的二特征量。事件、状态的逻辑演化关系可用有限自动机模型来描述，系统的逻辑运行特性则为事件集上的事件串（序列）。受禁状态集或（和）受禁事件串集为离散事件动态系统的一类重要性能指标。Ｌｉｎ等对其首先进行了讨论，给出了受禁状态集或（和）受禁事件串集约束语言指标的上限能控子语言及其该指标下离散事件动态系统监控器综合的计算方法［２］。在对该类约束语言的上限能控子语言展开了进一步的讨论同时，修正并推广了文献［２］的结果。Discrete event dynamic systems are characterized by events and states,the logical relations of which can be represented by finite state machine models,with the logical evolution of the systems being event strings. As important performance indices,forbidden states set or and event strings have been discussed by Lin et al[2] and the computation method of the supremal controllable sublanguage and the supervisor synthesis given. This Paper is to give a further discussion of the supremal controllable sublanguage and revise and extend Lins results.

关 键 词：能控子语言 约束语言 离散事件系统 

分 类 号：TP271.8[自动化与计算机技术—检测技术与自动化装置]