基于线性约束等价分解简化的Petri网控制器设计

项目名称： 基于线性约束等价分解简化的Petri网控制器设计

项目编号： No.60904018

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

立项/批准年度： 2010

项目学科： 金属学与金属工艺

项目作者： 罗继亮

作者单位： 华侨大学

项目金额： 20万元

中文摘要： 针对Petri网离散事件监控理论的"复杂网结构"和"状态空间爆炸"难题，本项目拟（1）提出基于网结构分解的约束等价分解方法，分解对象网为多个简单网，等价分解转换原始约束到各新网上，实现复杂问题分散控制；（2）提出基于网结构压缩的约束等价简化方法，压缩网内部分区域为单个结点，等价转换原始约束到新网上；（3）针对两类尚未解决的重要控制问题- - 不可观、不可控子网为前向无同步网或后向无同步网的线性约束，获得控制器存在条件和高效率最优控制器设计方法。根据"先简化后设计"思想组织上述方法，发展基于约束等价分解简化的Petri网控制方法。本项目旨在对Petri网控制的复杂性难题有所突破，为复杂离散事件系统的控制器设计提供理论支持。

中文关键词： 离散事件系统；Petri网；监控；线性约束；

英文摘要：

英文关键词： discrete event systems；Petri nets；supervisory control；linear constraints；