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

【Abstract】 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.更多还原