柔性制造系统鲁棒死锁控制研究

项目名称： 柔性制造系统鲁棒死锁控制研究

项目编号： No.61304051

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 刘改云

作者单位： 西安电子科技大学

项目金额： 24万元

中文摘要： 基于Petri网的柔性制造系统死锁分析与控制是自动化领域的前沿技术和热点课题.针对不同物理系统,人们研究了大量基于Petri网的死锁控制策略,然而大部分策略是假定系统资源运行良好的情况下设计的.而在实际生产系统中资源故障是常见现象.当系统出现资源故障时,已有控制策略通常不具备适应性,受扰系统再次面临死锁问题. 本项目致力于解决存在资源不可靠因素下,柔性制造系统的Petri网鲁棒死锁控制问题.主要研究内容有:(1)存在资源不可靠因素柔性制造系统的Petri网建模及其结构分析, 给出所建Petri网模型中信标可控条件;(2)存在资源不可靠因素柔性制造系统的Petri网死锁控制策略研究,设计鲁棒Petri网监督控制器;(3)优化设计行为最大许可、结构简单且计算高效的鲁棒Petri网控制器,结合具体系统,进行实验研究.该项目对柔性制造系统的监督控制理论应用于实际生产系统具有一定的理论和实践价值.

中文关键词： 离散事件系统；柔性制造系统；Petri网；死锁；鲁棒性

英文摘要： The deadlock analysis and control of flexible manufacturing systems (FMS) based on Petri nets have been a cutting-edge technology and hot research topic in automation. A large number of deadlock control policies based on Petri nets have been proposed for different kinds of FMS. However, most of them are developed on the premise that the resources in a system under consideration are reliable. Actually, resource failures are usually inevitable in real-world systems, which pose challenges in supervisory control of contemporary FMS. In case of resource failures, the existing deadlock control policies are always no longer in force and deadlocks in the disturbed system may be caused. The project aims to deal with deadlock problems in FMS with unreliable resources. The major points of this project are presented as follows: (1) FMS with unreliable resources are modeled with Petri nets. Based on structural analysis techniques, we propose controllability conditions for siphons in the Petri net models which carry unreliable resource information. (2) Robust deadlock control policies are designed for Petri net models of FMS with unreliable resources and then robust Petri net liveness-enforcing supervisors are obtained. (3) Robust Petri net supervisors are optimized in term of behavioral permissiveness, structural complexity,

英文关键词： Discrete Event System；Flexible Manufacturing System；Petri Net；Deadlock；Robustness