| 点发序列问题的控制策略 |
| |
| 引用本文： | 邢科义,李俊民,许祥秦,胡保生.点发序列问题的控制策略[J].自动化学报,1997,23(4):502-507. |
| |
| 作者姓名： | 邢科义 李俊民 许祥秦 胡保生 |
| |
| 作者单位： | 1.西安电子科技大学应用数学系,西安; |
| |
| 基金项目： | 国家自然科学基金,西安交通大学机械制造系统工程国家重点实验室基金 |
| |
| 摘 要： | 在离散事件系统的Petri网模型下,讨论是否存在控制策略使得仅有希望的序列使
能,而又保持事件的并发性的问题.证明了存在这种策略的必要充分条件是给定的目标序
列集是可控的.在目标序列集不可控而所考虑的序列集都是Petri网点发序列集时,提出了
综合给定序列集的极大可控子序列集生成器的方法.
|
| 关 键 词： | 点发序列问题 Petri网 控制策略 |
| 收稿时间： | 1994-4-8 |
The Control Strategy for the Firing Sequence Problem |
| |
| Xing Keyi,Li Junmin,Xu Xiangqin,Hu Baosheng.The Control Strategy for the Firing Sequence Problem[J].Acta Automatica Sinica,1997,23(4):502-507. |
| |
| Authors: | Xing Keyi Li Junmin Xu Xiangqin Hu Baosheng |
| |
| Affiliation: | 1.Department of Appplied Mathematics,XIDIAN University,Xi'an;Systems Engineering Institute,Xi'an Jiaotong University,Xi'an |
| |
| Abstract: | In this paper we use Petri nets to model a discrete event system, and discuss whether or not there exists a control strategy by which only the specified target firing sequences can be enabled. It is proved that a necessary and sufficient condition for the existence of such strategy is that the set of the specified target firing sequences are controllable. For the case where the firing sequence sets involved are Petri net firing sequence sets we present a method for synthesizing a control strategy by which the closed loop system can generate the supremal controllable subset of a given firing sequence set. |
| |
| Keywords: | Firing sequence problem Petri net control strategy |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《自动化学报》浏览原始摘要信息 |
|
点击此处可从《自动化学报》下载全文 |
|
