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

An N-Step Recursive Computational Algorithm for a Class of Supremal Controllable Sublanguage

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

机构地区：[1]桂林电子工业学院计算机系,桂林541004 [2]浙江大学工业控制技术研究所,杭州310027

出　　处：《控制理论与应用》1997年第1期48-51,共4页Control Theory & Applications

基　　金：广西自然科学基金

摘　　要：本文给出了基于L（G）的N步投影状态，递推求解前缀闭合语言K的上限能控子语言算法．讨论了算法的单调性和最优性．An N- step recursive algorithm for a class of supremal controllable sublanguage is proposed.The monotonicity and optimality of this algorithm have been discussed.

关 键 词：离散事件系统 能控子语言 状态机 算法 

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