柔性制造系统非阻塞监督控制器优化设计

针对一类含有并发执行装配过程的柔性制造系统G-systems,提出一种新的死锁预防策略保证该系统的非阻塞性,即在控制下,受控系统从任意可达状态都可以到达理想状态.首先对Petri网模型中基本信标实施控制,保证了基本信标的最大可控,然后通过线性规划算法求取所有从属信标满足可控性的条件,即获得基本信标的控制深度变量.与现有方法相比,该策略优点在于只需加入少量的控制库所,就可避免不必要的迭代过程;其次是提出控制器输出弧位置优化策略,得到了结构更为简单、许可行为更多的非阻塞Petri网控制器.

Non-blocking Supervisor Design for Flexible Manufacturing Systems

We developed a novel deadlock prevention policy for Petri nets that can model concurrent execution of manufacturing assembly processes in FMS(Flexible Manufacturing Systems) through a class of nets,called G-systems.A relevant property of the system behavior is to be non-blocking,i.e.,from any reachable state,a desirable state can be always reached under supervision.Firstly,monitors were added to ensure the controllability of elementary siphons of Petri nets,then the controllability of dependent siphons was ...