基于混合整数规划的非阻塞监督控制器设计

摘要

提出一种新的死锁摔制策略,保证含有并发执行装配过程的一类柔性制造系统(Flexible manufacturing system,FMS) G-system的非阻塞性,即在控制下,受控系统从任意可达状态都可到达理想状态.首先对Petri网模型运用混合整数规划算法求取一个最大的死信标,然后从最大的死信标中求取一个需要受控的极小信标,并对其添加控制库所,从而保证所有信标的最大可控.和现有方法相比,该策略避免了求取所有的信标,且添加较少的控制库所即可获得结构简单、许可行为趋于最优的控制器.