摘要
对具有无穷状态空间的并发离散事件动态系统提出了一种基于Ｐｅｔｒｉ网图示的矩阵代数综合方法．该方法借助于对Ｐｅｔｒｉ网的结构分解可以用于结构无竞争Ｐｅｔｒｉ网描述的一类离散事件动态系统状态反馈控制器的离线综合．
For the offline controller synthesis problem of discrete event dynamic systems (DEDS), most existing methods are under the assumption that the state-spact is finite. For the conctrrent DEDS with infite state-space, a Petri Net graph based matrix algebra synthesis method is proposed in this paper. By structural decomposition of Petri Nets, the new method can be used to synthesize the state feedback condtrollers of a class of DEDS which can be described by structurally no-competing Petri Nets.
出处
《自动化学报》
EI
CSCD
北大核心
1996年第5期620-623,共4页
Acta Automatica Sinica
