计算机应用研究

作者：郁希,黎良,

单位：武汉科技大学信息科学与工程学院,武汉430081；

关键词：监督控制,离散事件系统,Petri网,约束转换,

基金：国家自然科学基金资助项目(62303359)；湖北省自然科学基金资助项目(2021CFB036)；；

针对含不可控变迁Petri网系统禁止状态控制器设计问题，提出了一种基于矩阵变换和整数线性规划的结构控制器综合方法。该方法的关键是对代表系统合法状态的广义互斥约束（generalized mutual exclusion constraint，GMEC）进行转换。首先，根据Petri网系统的关联矩阵，将库所集分为无关库所集、不可控库所集和补足库所集。其次，通过对非允许GMEC中补足库所的权值和不可控库所的权值进行处理，并运用整数线性规划将非允许GMEC转换为允许GMEC。在允许GMEC的基础上，根据库所不变量原理设计出Petri网系统的结构控制器。最后，以某零件加工系统为例验证了所提方法的泛用性和高效性，为实际智能制造系统的监督控制器设计提供有效参考方案。

来源：2023年第10期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2023年第10期