基于结构分析的自动制造系统优化活性Petri网控制器设计

项目名称： 基于结构分析的自动制造系统优化活性Petri网控制器设计

项目编号： No.61374068

项目类型： 面上项目

立项/批准年度： 2013

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

项目作者： 李志武

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

项目金额： 81万元

中文摘要： Petri网是自动制造系统建模和控制的重要数学工具。自动制造系统活性Petri网控制器设计的主要问题是行为许可性，结构复杂性和计算复杂性。通过遍历整个可达空间，Petri网控制器的行为最大许可性和结构极小性已基本解决。本项目旨在解决行为最大许可、结构极小活性Petri网控制器的计算复杂性问题.首先,针对典型自动制造系统Petri网模型，基于信标、资源回路、以及不变式等结构分析技术，直接求得Petri网模型的首遇坏标识被覆盖极小集合和合法标识覆盖极小集合，从而避免现有研究中需要遍历整个可达状态空间的状态爆炸问题；其次，研究基于直接信标控制的行为最大许可活性Petri网控制器的设计方法以及基于结构分析技术的行为最大许可活性控制器的存在性问题，其存在条件表示为信标及其资源的初始标识关系.最后,综合考虑合法非法可达标识空间的凸/非凸,不可控(观)变迁,不可测库所等因素下的优化活性控制器设计问题.

中文关键词： 离散事件系统；Petri 网；自动制造系统；结构分析技术；最优控制

英文摘要： Petri nets are an important and full-fledged mathematical tool for modeling and control of automated manufacturing systems. The critical criteria to evaluate the design of a supervisor include behavioral permissiveness, structural complexity, and computat

英文关键词： discrete event system；Petri net；automated manufacturing system；structural analysis technique；optimal control