摘要
针对同时含有不可观和不可控事件的离散事件系统禁止状态问题,提出了一种基于整数线性规划的控制器综合方法.首先,依据Petri网的结构特性构建所有不可观变迁及不可控变迁需满足的线性约束条件集合,将给定约束条件抽象为整数线性规划问题.其次,通过求解整数线性规划问题得到允许线性约束.最后,基于库所不变量的方法设计控制器并将转换后的允许线性约束综合到Petri网中.实验仿真表明提出的方法简单高效,能够保障系统不进入禁止状态,对离散事件系统监控问题具有理论指导意义.
A controller synthesis method based on integer linear programming is proposed to solve the forbidden state problem of discrete event systems with both unobservable and uncontrollable events.Firstly,according to the structural characteristics of Petri net,a set of linear constraints for all unobservable transitions and uncontrollable transitions are constructed,and the given constraints were abstracted into integer linear programming problems.Secondly,the allowable linear constraint is obtained by resolving the integer linear programming problem.Finally,the controller is designed based on library invariants and the transformed allowable linear constraints are integrated into Petri net.The simulation results indicate that the suggested technique is uncomplicated and efficient,and can ensure that the system does not enter forbidden state,which has theoretical guiding significance for discrete event system monitoring.
作者
郝晋渊
高丽敏
冉宁
黄淼
郝真鸣
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)
出处
《河北大学学报（自然科学版）》
CAS
北大核心
2023年第5期517-524,共8页
Journal of Hebei University(Natural Science Edition)
基金
国家自然科学基金资助项目(62373132)
教育部“春晖计划”合作科研项目(HZKY20220257)
中央引导地方科技发展基金资助项目(236Z1602G)
河北省高等学校科学技术研究项目(BJ2021008)
河北省引进留学人员资助项目(C20190319)
河北大学"一省一校"专项基金资助项目(801260201137)。
关键词
PETRI网
禁止状态
约束转换
整数线性规划
Petri net
forbidden state
constraint transformation
integer linear programming
