基于析取型广义互斥约束Petri网控制器简化及设计方法技术

本发明专利技术属于自动制造系统技术领域，公开了一种基于析取型广义互斥约束Petri网控制器简化及设计方法，所述基于析取型广义互斥约束Petri网控制器的简化设计方法包括以下步骤：通过对低维度不等式:初次简化约束不等式；利用分区方式实现对高维约束不等式的等价分解，给出对应的算法；利用简化后的不等式对控制器进行设计。本发明专利技术复杂度降低体现在析取型规范中各约束不等式简化后的组合形式发生了变化、连接弧减少以及添加库所的数目减少。本发明专利技术应用Petri网作为数学工具，应用低维度逻辑函数卡诺图简化以及高维分区简化算法后，继续对原网系统进行控制，对于disjunctive类型约束不等式，设计的控制器复杂度大大降低。

【技术实现步骤摘要】
基于析取型广义互斥约束Petri网控制器简化及设计方法
本专利技术属于自动制造系统
，尤其涉及一种基于析取型广义互斥约束Petri网控制器简化及设计方法。
技术介绍
目前，最接近的现有技术：在当今工业化飞速发展的时代，自动控制系统的设计成为许多人研究的热点。科学技术的发展也使得人类社会对产品功能和质量的要求越来越高，那么产品的制造过程显得尤为重要。传统的制造系统已经远远不能满足市场对产品的诸多需求。同时，激烈的市场竞争也使得这种传统制造系统发生了根本改变。一个自动化制造系统的生存能力和竞争能力在很大程度上取决于是否能够大批量的生产出低成本、高质量的不同种类。然而，一个自动化制造系统往往是很庞大的，其中的设计结构也十分复杂，为了使系统按照工业化需求进行生产，必须设计出优良的监督控制系统，不仅可以预防系统的死锁，也可以在最低的生产成本下提高系统生产效率。Petri网是一种描述离散事件系统的有效的建模工具，对复杂制造系统进行描述与分析，可以直观的阐述制造过程中的诸多系统特性。Petri网的监督控制理论是离散事件系统的一个重要研究分支。广义互斥约本文档来自技高网...

【技术保护点】
1.一种基于析取型广义互斥约束Petri网控制器的简化方法，其特征在于，所述基于析取型广义互斥约束Petri网控制器的简化方法包括以下步骤：/n第一步，通过对低维度不等式:初次简化约束不等式；/n第二步，利用分区方式实现对高维约束不等式的等价分解，给出对应的算法。/n

【技术特征摘要】
1.一种基于析取型广义互斥约束Petri网控制器的简化方法，其特征在于，所述基于析取型广义互斥约束Petri网控制器的简化方法包括以下步骤：
第一步，通过对低维度不等式:初次简化约束不等式；
第二步，利用分区方式实现对高维约束不等式的等价分解，给出对应的算法。


2.如权利要求1所述的基于析取型广义互斥约束Petri网控制器的简化方法，其特征在于，所述基于析取型广义互斥约束Petri网控制器的简化方法对于WOA{r1≤2,r2≤2}简化，约束不等式组假定构成的凸集约束空间的不等式组已经简化的情况下进行的；
独立性：WT·M≤k是一个不等式组，独立于其余的不等式，如果存在n-1个非负整数αj，使得等式和成立；
等价性：WT·M≤k是一个不等式组，独立于其余的不等式，如果存在n-1个非负整数αj，使得等式和成立。


3.如权利要求2所述的基于析取型广义互斥约束Petri网控制器的设计方法，其特征在于，所述基于析取型广义互斥约束Petri网控制器的设计方法的低维度逻辑函数卡诺图简化算法包括以下步骤：
输入：
输出：
1)对每组不等式：寻找不等式组中单个GMEC中标量ki最大值的作为研究对象；将W1T·M1≤k1中的研究对象记为W1o，其余不等式中记为W1r；中的研究对象记为W2o，其余不等式记为W2r；如果W1o与两组不等式中剩余的不等式W1r和W2r等价，且W2o与两组不等式中剩余的不等式W1r和W2r等价，则简化；
2)判断简化后的结果为凸集约束空间还是非凸集约束空间；
2.1)本组不等式中除去研究对象，如果剩余约束不等式中变量和研究对象中带系数大于1的变量一致，则为非凸集；转步骤3；
2.2)本组不等式中除去研究对象，如果剩余约束不等式中变量和研究对象中带系数大于1的变量不一致，则为凸集；转步骤4；
3)简化后的结果为非凸集，简化为W1o∪W2o；
4)简化后的结果为非凸集，简化为W1o∩W2o。


4.如权利要求1所述的基于析取型广义互斥约束Petri网控制器的简化方法，其特...

【专利技术属性】
技术研发人员：王慧霞，胡核算，马艳，
申请(专利权)人：西安电子科技大学，
类型：发明
国别省市：陕西;61