期刊文献+

离散事件控制器综合与重构的研究

Recent Advances in Synthesis and Reconfiguration of Discrete Event Controllers
下载PDF
导出
摘要 讨论了离散事件控制器快速综合与重构方面研究的意义以及存在的问题,介绍了基于改进的网重写系统的Petri网离散事件控制器快速综合与重构理论与方法的研究进展及其仿真系统开发。 In this paper, the significances of research on rapid synthesis and reconfiguration of discrete event controllers are discussed, and the existing problems are pointed out. Our recent advances in the principles and methods for synthesis and reconfiguration of Petri net discrete event controllers based on improved net rewriting systems are presented. The simulation system developed to support the above research is introduced as well.
作者 李俊 戴先中
出处 《系统仿真技术》 2006年第1期12-18,共7页 System Simulation Technology
基金 国家重点基础研究发展计划资助项目(2002CB312204) 国家高技术研究发展计划资助项目(2005AA420060) 江苏省"十五"攻关项目(BE200203114)资助
关键词 离散事件控制器 PETRI网 综合 重构 仿真系统 discrete event controller Petri nets synthesis reconfiguration simulation system
  • 相关文献

参考文献20

  • 1[1]P.J.Ramadge,W.M.Wonham.The control of discrete event systems[J].Proceeding of the IEEE,1989,77(1):81-98.
  • 2[2]Y.Koren,U.Heisel,E.Jovane,T Moriwaki,G.Pritschow,G.Ulsoy,H.Van Brussel.Reconfigurable Manufacturing Systems[J].CRIP Annals-Manufacturing Technology,1999,48(2):527-540.
  • 3[3]M.C.Zhou,K.Venkatesh.Modeling,Simulation,and Control of Flexible Manufacturing Systems-A Petri Net Approach[M].Singapore:World Scientific,1998.
  • 4[4]J.L.Peterson.Petri Net Theory and the Modeling of Systems[M].Englewood Cliffs,NJ:Prentice,Inc.,1981.
  • 5[5]M.C.Zhou,F.DiCesare.Petri Net Synthesis for Discrete Event Control of Manufacturing Systems[M].Boston,MA:Kluwer,1993.
  • 6[6]M.C.Zhou,F.DiCesare,A.A.Desrochers.A hybrid methodology for synthesis of Petri net rnodels for manufacturing systems[J].IEEE Trans.Robot.Automat,1992,8(3):350-361.
  • 7[7]M.D.Jeng,F.DiCesare.A review of synthesis techniques for Petri nets with applications to automated manufacturing systems[J].IEEE Trans.Syst.,Man,Cybem,1993,23(1):301-312.
  • 8[8]E.Park,D.M.Tilbury,P.P.Khargonekar.A modeling and analysis methodology for modular logic controllers of machining systems using Petri nets formalism[J].IEEE Trans.Syst.,Man,Cybem,2001,31(2):168-186.
  • 9[9]S.S.Shah,E.W.Endsley,M.R.Lucas,D.M.Tilbury.Reconfigurable logic control using modular FSMs:design,verification,implementation,and integrated error handling[A].In:Proc.ACC[C],2002,5:4153-4158.
  • 10[10]D.Kalita,P.P.Khargonekar.Formal verification for analysis and design of logic controllers for reconfigurable machining systems[J].IEEE Trans.Robot.Automat,2002,18(4):463-473.

二级参考文献10

  • 1GentinaJ,CorbeelD.ColouredadaptivestructuredPetri net:atoolfortheautomaticsynthesisofhierarchicalcontrolofflexiblemanufacturingsystems[].ProcIEEEIntConfRoboticsandAutomation.1987
  • 2Koren Y,Heisel U,Jovane E,et al.Reconfigurable manufacturing systems[].CRIP Annals-Manufacturing Technology.1999
  • 3Murata T,Petri nets: properties.analysis and applications[].Proceedings of Tricomm.1989
  • 4Zhou M C,McDermott K,Patel P A.Petri net synthesis and analysis of a flexible manufacturing system cell[].IEEE Trans SystMan Cybern.1993
  • 5Paul F.Time, Petri nets, and robotics[].IEEE Transactions on Robotics.1991
  • 6Adamou M,Bourjault A,Zerhouni S N.Modelling and control of flexible manufacturing assembly systems using object oriented Petri nets[].In: Proc IEEE nd Int Workshop on Emerging Technologies and Factory Automation.1993
  • 7Object Management Group.CORBA components. http://www.omg.org/technology/documents/corba. spec, catalog, htm . 2004
  • 8Park E,Tilbury D M,Khargonekar P P.A modeling and analysis methodology for modular logic controllers of machining systems using Petri nets formalism[].IEEE Transactions on Systems Man and Cybernetics.2001
  • 9Frey G.Analysis of Petri Net based Control Algorithms-Basic Properties[].Proceedings of the American Control Conference.2000
  • 10Frey G.Design and formal analysis of Petri net based logic control algorithms[]..2002

共引文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部