基于Petri网的柔性制造系统高效的死锁预防控制策略的研究

随着自动化水平的日益提高，柔性制造系统中的死锁问题已经成为理论界和工程界关注的热点。在基于信标的死锁预防控制器设计过程中，其计算复杂性主要在于严格极小信标的计算，而结构复杂性主要在于严格极小信标的可控性问题没有得到有效解决。本项目的研究围绕着如何克服以上两点不足来展开，旨在降低严格极小信标计算的复杂性和控制器结构的复杂性以突破死锁预防控制策略于大规模系统应用的瓶颈。本项目拟采用Petri网作为建模工具，作如下研究：1）基于环资源子集快速计算严格极小信标的算法及相关理论；2）基于环资源子集和MIP快速计算严格极小信标的算法及相关理论；3）基于环资源子集研究组合信标的可控性。本项目的研究成果将对死锁控制理论的发展和其应用起积极的推动作用。

随着自动化水平的日益提高，柔性制造系统中的死锁问题已成为理论界和工程界关注的热点。在基于信标的死锁预防控制器设计过程中，其计算复杂性主要在于严格极小信标的计算，而结构复杂性主要在于严格极小信标的可控性问题没有得到有效解决。本项目的研究围绕着如何克服以上两点不足来展开，旨在降低严格极小信标计算的复杂性和控制器结构的复杂性以突破死锁预防控制策略于大规模系统应用的瓶颈。本项目采用Petri 网作为建模工具，作了如下研究：1）基于环资源子集快速计算严格极小信标的算法及相关理论；2）基于环资源子集和MIP 快速计算严格极小信标的算法及相关理论；3）基于环资源子集研究组合信标的可控性。本项目的研究成果将对死锁控制理论的发展和其应用起积极的推动作用。. 在该基金资助下在 IEEE、IFAC 等机构主办的杂志或会议上发表25 篇的学术论文(SCI 收录的国际期刊论文11 篇），其中IEEE Trans 6篇 ，ACM trans一篇，Automatica一篇。