位置：成果数据库 > 期刊 > 期刊详情页
柔性制造系统活性监督控制器设计的算法优化
  • ISSN号：1006-5911
  • 期刊名称：《计算机集成制造系统》
  • 时间：0
  • 分类：TP278[自动化与计算机技术—控制科学与工程;自动化与计算机技术—检测技术与自动化装置]
  • 作者机构：[1]西安电子科技大学机电工程学院,陕西西安710071
  • 相关基金：国家自然科学基金资助项目（60773001）; 高等学校博士点基金资助项目（20070701013）
作者： 郭金维[1], 陈楠[1], 王国锋[1]
关键词： PETRI网, 柔性制造系统, 区域理论, 事件分离事例, 线性规划, Petri nets, flexible manufacturing systems, theory of regions, marking/transition separation instances, linear programming
中文摘要：

针对区域法设计系统控制器时存在求解线性规划次数过多、算法复杂和状态爆炸等问题,提出了一个能有效降低计算复杂度的优化算法,解决了由状态爆炸引起的求解线性规划次数指数级递增的问题;证明了任何普通网系统需要添加的控制库所的数量不超过事件分离事例个数和｜T｜＋1中的最小者。通过所提算法,最终获得结构简单、状态最大许可的柔性制造系统活性监督控制器。

英文摘要：

To reduce the computation complexity during the design process of the supervisor for flexible manufacturing systems（FMS）,an optimization algorithm was presented.The number of linear programming problems（LPP） to be solved was reduced greatly.It was proved that,for any normal net system,the number of monitors to be added was less than the smaller of the number of separation instances and ｜T｜＋1.According to the algorithm proposed,a simplified liveness-enforcing supervisor with maximal permissive behavior was obtained.

同期刊论文项目
PETRI网的基本信标理论研究
期刊论文 51 会议论文 12 获奖 6 著作 2
同项目期刊论文
On controllability of dependent siphons for deadlock prevention in generalized Petri nets
Control of elementary and dependent siphons in Petri nets and their application
A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing s
On siphon computation for deadlock control in a class of Petri nets
Effective algorithm for obtaining a set of elementary siphons
Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently
Design of liveness-enforcing supervisors via transforming plant Petri net models of FMS
A deadlock prevention approach for a class of timed Petri nets using elementary siphons
Algebraic synthesis of timed supervisor for automated manufacturing systems using petri nets
Liveness of an extended S3PR
Liveness enforcing supervision in video streaming systems using siphons
Deadlock prevention approach for a class of timed Petri nets
Modeling and scheduling for manufacturing grid workflows using timed Petri nets
On the colored Petri net model of the C3I system of the double aircraft carriers group
Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial
Suboptimal deadlock control policy for flexible manufacturing systems
Computation of marking/transition separation instances for safe Petri nets using BDD
Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in p
Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using ti
Optimization algorithm of a liveness-enforcing supervisor for flexible manufacturing systems
Self-liveness of a class of Petri net models for flexible manufacturing systems
Identification of Controllable Transitions to decide the existence of an Optimal Liveness enforcing
Efficient computation of strict minimal siphons for a class of Petri nets models of automated manufa
On Applicability of Deadlock Prevention Policies with Uncontrollable and Unobservable Transitions
A General MIP-based Liveness Test for S4R Nets
Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams
On the minimal siphons and deadlock prevention in the Petri net model of the dining philosopher’s pr
Structure Reduction of Liveness-enforcing Petri Nets Using Mixed Integer Programming
应用必需信标的Petri网死锁预防策略
Resource-oriented Petri net for deadlock avoidance in flexible assembly systems
Smart deadlock prevention policy for flexible manufacturing systems using Petri nets
Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources
Liveness enforcing supervision of video streaming systems using nonsequential petri nets
Comments on "An iterative synthesis approach to Petri net based deadlock prevention policy for flexi
Clarification on the computation of liveness-enforcing supervisor for resource allocation systems wi
An effective algorithm to find elementary siphons in a class of petri nets
A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems
A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeratio
Non-blocking supervisory design using mixed integer programming
On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
New controllability condition for siphons in a class of generalized Petri nets
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors
基本信标计算的一种快速算法
基于混合整数规划的非阻塞监督控制器设计
柔性制造系统一种次优化的死锁控制设计
安全Petri网事件分离状态的BDD算法
利用基本信标的时延Petri网的死锁预防策略
AN EXTRACTION ALGORITHM FOR A SET OF ELEMENTARY SIPHONS BASED ON MIXED-INTEGER PROGRAMMING
期刊信息
  • 《计算机集成制造系统》
  • 北大核心期刊（2011版）
  • 主管单位:中国兵器工业集团公司
  • 主办单位:中国兵器工业第210研究所
  • 主编：杨海成
  • 地址：北京市海淀区车道沟10号北京2413信箱34分箱
  • 邮编：100089
  • 邮箱：986127464@qq.com
  • 电话：010-68962468
  • 国际标准刊号：ISSN：1006-5911
  • 国内统一刊号：ISSN：11-5946/TP
  • 邮发代号:82-289
  • 获奖情况:
  • 全国中文核心期刊,中国科技论文统计与分析文献来源期刊,中国科学引文数据库来源期刊,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:25379