基于析取型广义互斥约束Petri网控制器简化及设计方法
授权
摘要
本发明属于自动制造系统技术领域，公开了一种基于析取型广义互斥约束Petri网控制器简化及设计方法，所述基于析取型广义互斥约束Petri网控制器的简化设计方法包括以下步骤：通过对低维度不等式:初次简化约束不等式；利用分区方式实现对高维约束不等式的等价分解，给出对应的算法；利用简化后的不等式对控制器进行设计。本发明复杂度降低体现在析取型规范中各约束不等式简化后的组合形式发生了变化、连接弧减少以及添加库所的数目减少。本发明应用Petri网作为数学工具，应用低维度逻辑函数卡诺图简化以及高维分区简化算法后，继续对原网系统进行控制，对于disjunctive类型约束不等式，设计的控制器复杂度大大降低。
基本信息
专利标题 ：
基于析取型广义互斥约束Petri网控制器简化及设计方法
专利标题（英）：
暂无
公开（公告）号 ：
CN110632901A
申请号 ：
CN201910733102.7
公开（公告）日 ：
2019-12-31
申请日 ：
2019-08-09
授权号 ：
CN110632901B
授权日 ：
2022-06-07
发明人 ：
王慧霞胡核算马艳
申请人 ：
西安电子科技大学
申请人地址 ：
陕西省西安市太白南路2号西安电子科技大学
代理机构 ：
西安长和专利代理有限公司
代理人 ：
黄伟洪
优先权 ：
CN201910733102.7
主分类号 ：
G05B19/418
IPC分类号 ：
G05B19/418
IPC结构图谱
G
G部——物理
G05
控制；调节
G05B
一般的控制或调节系统；这种系统的功能单元；用于这种系统或单元的监视或测试装置
G05B19/00
程序控制系统
G05B19/02
电的
G05B19/418
全面工厂控制，即集中控制许多机器，例如直接或分布数字控制、柔性制造系统、集成制造系统、计算机集成制造
法律状态
2022-06-07 ：
授权
2020-01-24 ：
实质审查的生效
IPC(主分类) : G05B 19/418
申请日 : 20190809
申请日 : 20190809
2019-12-31 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
