基于时间和优先权约束的柔性制造系统控制器设计

项目名称： 基于时间和优先权约束的柔性制造系统控制器设计

项目编号： No.61403295

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

立项/批准年度： 2014

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

项目作者： 郭金维

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

项目金额： 25万元

中文摘要： 本项目拟应用Petri网模型，研究基于时间和优先权约束的柔性制造系统建模及控制器设计方法，在逻辑层面上进行死锁分析和控制。研究内容主要包括：(1)考虑带时间参数的柔性制造系统，结合有效状态图和区域理论进行活性Petri网控制器设计，求得结构简单，许可行为较多的活性监督控制器；(2)针对一类具有特殊结构的系统模型，结合不变式理论和线性规划方法，通过时间调度实现死锁预防的目的，并求得无死锁Petri网模型时间参数满足的条件；(3)针对一类S3PR系统模型，研究通过配置不同变迁的优先级，保证其活性的方法，并通过对方法的优化使得受控网系统具有更多的可达状态；(4)针对一类具有特殊结构的网模型，TS3PR网，研究时间Petri网和传统Petri网在活性方面的等价关系，求得二者具有相同活性的充分必要条件；(5)研究以上方法在实际系统的应用。

中文关键词： 柔性制造系统；Petri网；死锁预防；控制器设计；时间约束

英文摘要： Using the Petri net model, based on the priority and time constraints, this project pertains to the approaches of modelling and supervisor design in flexible manufacturing systems (FMS). From the logic point of view, analysis and control of deadlocks are

英文关键词： flexible manufacturary systems；Petri nets；deadlock prevention；supervisory design；time constraints