一类离散事件系统的混合型控制器设计
ombined Controller Synthesis for a Class of Discrete Event Systems
本文给出了状态机的混合型控制器的设计方法, 首先设计了禁止库所的增量观测器和状态观测器,根据观测器的标识给出了允许标识和临界允许标识的判据,然后利用这两个判据给出的计算最大允许控制的算法。一个例子对本文的结论做了说明。
his paper addresses a synthesis method of combined controller for state machines. Firstly, the increment observers and the state observers of the forbidden places are introduced. Secondly, the criterion for an admissible marking is obtained based on the markings of the observers. Furthermore, this criterion is utilized to construct the algorithm of calculating the maximally permissive control. An example illustrates the theoretic results.
王肖、苏宏业、褚健、吴维敏、罗继亮
自动化技术、自动化技术设备
监控,离散事件系统,Petri网,禁止状态
Supervisory Control,Discrete Event Systems,Petri Nets,Forbidden States
王肖,苏宏业,褚健,吴维敏,罗继亮.一类离散事件系统的混合型控制器设计[EB/OL].(2005-12-22)[2025-08-16].http://www.paper.edu.cn/releasepaper/content/200512-583.点此复制
评论