买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉西安邮电大学申请的专利一种自动制造系统的非阻塞控制器设计方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115562043B 。

龙图腾网通过国家知识产权局官网在2025-07-22发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211388785.5，技术领域涉及：G05B13/04；该发明授权一种自动制造系统的非阻塞控制器设计方法是由胡艺辉;曹盛力;王无为;江祥奎;施建旭设计研发完成，并于2022-11-08向国家知识产权局提交的专利申请。

本一种自动制造系统的非阻塞控制器设计方法在说明书摘要公布了：本公开是关于一种自动制造系统的非阻塞控制器设计方法，包括：构建所述自动制造系统对应的自动机模型和观测器；找到所述观测器中的非法状态集合；通过迭代禁止可控事件和迭代更新所述观测器的状态信息，并引入静止信息，最终得到去除所述非法状态集合的非阻塞控制器。本公开提出的自动制造系统的非阻塞控制器设计方法，保障了受控系统的非阻塞性，提高了受控系统的许可行为。

本发明授权一种自动制造系统的非阻塞控制器设计方法在权利要求书中公布了：1.一种自动制造系统的非阻塞控制器设计方法，其特征在于，包括以下步骤： 构建所述自动制造系统对应的自动机模型和观测器，包括： 构建所述自动制造系统对应的自动机模型； 分析所述自动制造系统的非阻塞性，若所述自动制造系统不满足非阻塞性，则构造所述自动制造系统的观测器； 找到所述观测器中的非法状态集合； 通过迭代禁止可控事件和迭代更新所述观测器的状态信息，并引入静止信息，最终得到去除所述非法状态集合的非阻塞控制器，包括： 控制器通过禁止当前可控事件，除去所述观测器中的当前非法状态； 更新所述观测器的状态信息，并引入静止信息，得到更新后的观测器； 判断所述更新后的观测器非法状态情况，从而得到去除所述非法状态集合的非阻塞控制器； 其中，构建所述自动制造系统的观测器包括Gob＝Y,Eo,δob,y0，其中，Y表示观测器的状态集合，Eo表示可观事件集合；δob表示观测器的变迁函数，y∈Y；y0表示观测器的初始状态，y0＝URx0；URx表示自动制造系统在状态x时，经过某个不可观事件序列σ能达到的所有状态集合，Rex表示自动制造系统在状态x时，经过可观事件e到达状态集合e∈Eo，Rex＝{x'|δx,e＝x'}；对于一个事件集合Euo，定义为所有由Euo中事件组成的有限长度的字符串，包括空字符串ε。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西安邮电大学，其通讯地址为：710061 陕西省西安市长安南路563号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。