中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
自动化研究所 [13]
计算技术研究所 [1]
沈阳自动化研究所 [1]
软件研究所 [1]
采集方式
OAI收割 [16]
内容类型
期刊论文 [13]
学位论文 [2]
会议论文 [1]
发表日期
2021 [1]
2020 [1]
2019 [1]
2016 [2]
2008 [3]
2007 [1]
更多
学科主题
筛选
浏览/检索结果:
共16条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
发表日期升序
发表日期降序
题名升序
题名降序
作者升序
作者降序
Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events
期刊论文
OAI收割
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 3, 页码: 597-605
作者:
Bo Huang
;
MengChu Zhou
;
Cong Wang
;
Abdullah Abusorrah
;
Yusuf Al-Turki
  |  
收藏
  |  
Robust Deadlock Avoidance Policy for Automated Manufacturing System With Multiple Unreliable Resources
期刊论文
OAI收割
IEEE/CAA Journal of Automatica Sinica, 2020, 卷号: 7, 期号: 3, 页码: 812-821
作者:
Jianchao Luo
;
Zhiqiang Liu
;
Shuogang Wang
;
Keyi Xing
  |  
收藏
  |  
A Dynamic Buffer Reservation Method Based on Markov Chain to Solve Deadlock Problem in Scheduling
会议论文
OAI收割
Tianjin, China, July 13-15, 2019
作者:
Han ZH(韩忠华)
;
Liu, Yuehan
;
Shi HB(史海波)
  |  
收藏
  |  
Multiple-combinational-channel: A network architecture for workload balance and deadlock free
期刊论文
OAI收割
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2016, 卷号: 56, 页码: 238-246
作者:
Chen, Liwei
;
Wang, Yipeng
;
Wang, Huandong
;
Wang, Wenxiang
;
Jing, Hua
  |  
收藏
  |  
Dynamic Testing for Deadlocks via Constraints
期刊论文
OAI收割
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 9, 页码: 825-842
Cai, Y
;
Lu, Q
  |  
收藏
  |  
On siphon computation for deadlock control in a class of Petri nets
期刊论文
OAI收割
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 卷号: 38, 期号: 3, 页码: 667-679
作者:
Li, ZhiWu
;
Zhou, MengChu
收藏
  |  
A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions
期刊论文
OAI收割
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 卷号: 5, 期号: 1, 页码: 182-188
作者:
Li, Zhiwu
;
Zhou, MengChu
;
Jeng, MuDer
收藏
  |  
Control of elementary and dependent siphons in Petri nets and their application
期刊论文
OAI收割
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 卷号: 38, 期号: 1, 页码: 133-148
作者:
Li, Zhiwu
;
Zhou, MengChu
收藏
  |  
Deadlock resolution in automated manufacturing systems with robots
期刊论文
OAI收割
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 卷号: 4, 期号: 3, 页码: 474-480
作者:
Wu, Naiqi
;
Zhou, MengChu
收藏
  |  
Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets
期刊论文
OAI收割
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2006, 卷号: 2, 期号: 4, 页码: 313-325
作者:
Li, ZhiWu
;
Zhou, MengChu
收藏
  |