摘要
本申请提供一种自动制造系统的最大许可稳健死锁控制策略生成方法,涉及自动化技术领域,该方法包括:在自动制造系统的面向资源Petri网中,获取回路子网集合;根据回路子网集合,查找面向资源Petri网中的首遇坏状态;根据首遇坏状态,生成死锁控制库所;在面向资源Petri中,获取不可靠邻域资源的阻塞集;根据阻塞集的阻塞状态,生成稳健控制库所;根据死锁控制库所和稳健控制库所,输出受控面向资源Petri网。本申请的技术方案,通过分析面向资源Petri网模型,设计死锁控制库所和稳健控制库所,合成稳健死锁控制器,确保自动制造系统在资源故障时不需要使用故障资源的路径能继续运行,避免列举整个系统网的可达图,实现最大许可控制,结构复杂度和计算复杂度较低。
技术关键词
控制策略生成方法
资源
回路
Petri网模型
邻域
许可
复杂度
控制器
参数
系统为您推荐了相关专利信息
事件触发机制
事件触发一致性算法
变频空调
舒适度
功率
生态系统模型
遥感影像数据
参数优化方法
参数优化系统
并行计算框架
教学资源推荐方法
嵌入特征
教学资源推荐系统
点击率
处理器