引用本文: | 罗继亮, 吴维敏, 董利达, 苏宏业, 褚健.一类离散事件系统的监控器综合[J].控制理论与应用,2007,24(4):621~624.[点击复制] |
LUO Ji-liang, WU Wei-min, DONG Li-da, SU Hong-ye, CHU Jian.Supervisor synthesis for a class of discrete event systems[J].Control Theory and Technology,2007,24(4):621~624.[点击复制] |
|
一类离散事件系统的监控器综合 |
Supervisor synthesis for a class of discrete event systems |
摘要点击 1596 全文点击 1159 投稿时间:2005-07-11 修订日期:2006-09-07 |
查看全文 查看/发表评论 下载PDF阅读器 |
DOI编号 |
2007,24(4):621-624 |
中文关键词 离散事件系统 监控 Petri网 |
英文关键词 discrete event systems supervisory control Petri nets |
基金项目 国家自然科学基金资助项目(60503027); 福建省青年人才项目(2006F3087); 华侨大学科研基金资助项目(06BS212); 浙江省自然科学基金资助项目(Y104081). |
|
中文摘要 |
前向无同步前向无冲突网是每个变迁有且只有一个输入库所并且每个库所最多有一个输入变迁的受限Petri网. 针对不可控影响子网为前向无同步前向无冲突网的广义互斥约束, 显式地给出了最大允许控制策略的计算方法. 并用一个例子给予了说明. |
英文摘要 |
The forward-synchronization and forward-conflict free(FSFCF) net is a class of Petri nets in which each transition has exactly one input place and each place has at most one input transition. For a class of control problems where the control specification is a general mutual exclusion constraint and the uncontrollable influencing subnet is an FSFCF net, an expression is given to calculate the maximally permissible control policy. An example illustrates the theoretical results. |
|
|
|
|
|