位置：成果数据库 > 期刊 > 期刊详情页
Non-blocking supervisory design using mixed integer programming
  • ISSN号：0254-4156
  • 期刊名称：Zidonghua Xuebao/ Acta Automatica Sinica
  • 时间：0
  • 页码：180-185
  • 语言：英文
  • 相关项目：PETRI网的基本信标理论研究
作者： Li, Zhiwu|Wei, Na|Zhao, Mi|
同期刊论文项目
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
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
期刊信息
  • 《自动化学报》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国自动化学会 中国科学院自动化研究所
  • 主编：王飞跃
  • 地址：北京东黄城根北街16号
  • 邮编：100717
  • 邮箱：aas@ia.ac.cn
  • 电话：010-64019820
  • 国际标准刊号：ISSN：0254-4156
  • 国内统一刊号：ISSN：11-2109/TP
  • 邮发代号:2-180
  • 获奖情况:
  • 1997年获全国优秀期刊奖,1985、1990、1996、2000年获中国科学院优秀期刊二等奖,2002年获国家期刊奖
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:27550