检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]西安电子科技大学机电工程学院,西安710071
出 处:《自动化学报》2009年第2期180-185,共6页Acta Automatica Sinica
基 金:国家自然科学基金(60474018;60773001)资助~~
摘 要:提出一种新的死锁控制策略,保证含有并发执行装配过程的一类柔性制造系统(Flexible manufacturing system,FMS)G-system的非阻塞性,即在控制下,受控系统从任意可达状态都可到达理想状态.首先对Petri网模型运用混合整数规划算法求取一个最大的死信标,然后从最大的死信标中求取一个需要受控的极小信标,并对其添加控制库所,从而保证所有信标的最大可控.和现有方法相比,该策略避免了求取所有的信标,且添加较少的控制库所即可获得结构简单、许可行为趋于最优的控制器.Developed in this paper is a novel deadlock control policy that can ensure concurrent execution of manufacturing assembly processes in flexible manufacturing systems (FMS) through a class of nets, called G-system that is a large class of discrete event systems. A relevant property of the system behavior is to be non-blocking, i.e., from any reachable state, a desirable state can be always reached under supervision. First, a maximal deadly siphon can be obtained by using the mixed integer programming technique, and a monitor is added to a minimal siphon that needs to be controlled, which is derived from the maximal deadly siphon in order to ensure the controllability of all siphons of Petri nets. Compared with the existing policies, the advantage of the proposed approach is that complete siphon enumeration is avoided and a much smaller number of monitors are added, which result in obtaining a simple supervisor with suboptimal permissive behavior.
关 键 词:柔性制造系统 PETRI网 死锁预防 严格极小信标 非阻塞
分 类 号:TP273[自动化与计算机技术—检测技术与自动化装置]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.54