文献类型：期刊文章

作　　者：郝晋渊[1] 高丽敏[2] 冉宁[2,3] 黄淼[2] 郝真鸣[3,4]

HAO Jinyuan;GAO Limin;RAN Ning;HUANG Miao;HAO Zhenming(HBU-UCLAN School of Media,Communication and Creative Industries,Hebei University,Baoding 071002,China;Lab of Energy-Saving Technology,College of Electronic Informational Engineering,Hebei University,Baoding 071002,China;College of Electronic Informational Engineering,Hebei University,Baoding 071002,China;Laboratory of IoT Technology,College of Electronic Informational Engineering,Hebei University,Baoding 071002,China)

机构地区：[1]河北大学-中央兰开夏传媒与创意学院,河北保定071002 [2]河北大学电子信息工程学院节能技术研发中心,河北保定071002 [3]河北大学电子信息工程学院,河北保定071002 [4]河北大学电子信息工程学院物联网智能技术研究中心,河北保定071002

出　　处：《河北大学学报（自然科学版）》

基　　金：国家自然科学基金资助项目(62373132);教育部“春晖计划”合作科研项目(HZKY20220257);中央引导地方科技发展基金资助项目(236Z1602G);河北省高等学校科学技术研究项目(BJ2021008);河北省引进留学人员资助项目(C20190319);河北大学"一省一校"专项基金资助项目(801260201137)。

年　　份：2023

卷　　号：43

期　　号：5

起止页码：517-524

语　　种：中文

收录情况：AJ、BDHX、BDHX2020、CAS、RCCSE、WOS、ZGKJHX、核心刊

摘　　要：针对同时含有不可观和不可控事件的离散事件系统禁止状态问题,提出了一种基于整数线性规划的控制器综合方法.首先,依据Petri网的结构特性构建所有不可观变迁及不可控变迁需满足的线性约束条件集合,将给定约束条件抽象为整数线性规划问题.其次,通过求解整数线性规划问题得到允许线性约束.最后,基于库所不变量的方法设计控制器并将转换后的允许线性约束综合到Petri网中.实验仿真表明提出的方法简单高效,能够保障系统不进入禁止状态,对离散事件系统监控问题具有理论指导意义.

关 键 词：PETRI网 禁止状态 约束转换  整数线性规划

分 类 号：TP11]