×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
兰州理工大学 [16]
自动化研究所 [9]
软件研究所 [5]
清华大学 [3]
计算技术研究所 [3]
北京大学 [2]
更多...
内容类型
期刊论文 [34]
会议论文 [9]
其他 [2]
学位论文 [2]
发表日期
2022 [1]
2021 [2]
2020 [2]
2019 [2]
2017 [1]
2016 [5]
更多...
学科主题
Computer S... [1]
control sy... [1]
industrial... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共47条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 2, 页码: 329-338
作者:
Dan You
;
Oussama Karoui
;
Shouguang Wang
收藏
  |  
浏览/下载:61/0
  |  
提交时间:2021/11/03
Petri nets (PNs)
problem decomposition
resource-allocation systems
siphons
Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 219-226
作者:
Shouguang Wang
;
Wenli Duo
;
Xin Guo
;
Xiaoning Jiang
;
Dan You
收藏
  |  
浏览/下载:31/0
  |  
提交时间:2021/04/09
Automated manufacturing systems
deadlocks
discrete event system
mixed-integer programming (MIP)
Petri nets (PN)
siphons
Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 3, 页码: 597-605
作者:
Bo Huang
;
MengChu Zhou
;
Cong Wang
;
Abdullah Abusorrah
;
Yusuf Al-Turki
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2021/04/09
Deadlock prevention
Petri nets
robotic manufacturing cells
structure-minimized supervisor
supervisory control
uncontrollability
unobservability
A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
期刊论文
International Journal of Systems Science, 2020, 卷号: 51, 期号: 5, 页码: 771-785
作者:
Shaoyong, Li
;
Chunrun, Zhao
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2022/02/17
Flexible manufacturing systems
Linear programming
Control place
Controlled system
Deadlock marking
Deadlock prevention policy
Linear programming problem
Number of state
Reachability graphs
Sequence number
A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
期刊论文
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2020, 卷号: 51, 期号: 5, 页码: 771-785
作者:
Li Shaoyong
;
Zhao Chunrun
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2020/06/02
Petri nets
deadlocks
control transitions (CTs)
control transition equation (CTE)
live maximally reachable number (LMRN)
Deadlock control policy using control transitions for flexible manufacturing systems
期刊论文
Kongzhi Lilun Yu Yingyong/Control Theory and Applications, 2019, 卷号: 36, 期号: 5, 页码: 795-802
作者:
Li, Shao-Yong
;
Sun, Zhi-Dong
;
Cai, Ying
;
Hou, Cai-Qin
;
Han, Xi-Lian
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2020/11/14
Petri nets
Control place
Controlled system
Deadlock control policy
Deadlock marking
Deadlock prevention policy
Maximally reachable number (MRN)
Reachability graphs
Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets
期刊论文
Journal of Shanghai Jiaotong University (Science), 2019, 卷号: 24, 期号: 2, 页码: 190-195
作者:
Li, Shaoyong
;
Wu, Zongli
;
Li, Hailin
;
Wei, Xianhong
;
Cai, Ying
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2020/11/14
Flexible manufacturing systems
Petri nets
Siphons
Deadlock control policy
livelocks
Mixed integer
Mixed integer programming
Mixed integer programming (MIP)
Petri net systems
Sequential systems
Shared resources
An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets
期刊论文
ADVANCES IN MECHANICAL ENGINEERING, 2017, 卷号: 9, 期号: 11
作者:
Li, Shaoyong
;
Wei, Xianhong
;
Cai, Ying
;
Ma, Bingshan
;
Hou, Caiqin
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/11/15
Flexible manufacturing system
Petri nets
deadlocks
elementary siphons
maximally reachable number
number of maximally permissive behavior
An algorithm to evaluate implementation cost for liveness-enforcing supervisors designed by deadlock prevention policy
期刊论文
ADVANCES IN MECHANICAL ENGINEERING, 2016, 卷号: 8, 期号: 7
作者:
Li, Shaoyong
;
Xiao, Xingda
;
Cai, Ying
;
Ma, Bingshan
;
Hou, Caiqin
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2022/03/01
Flexible manufacturing system
Petri nets
deadlocks
liveness-enforcing supervisor
implementation cost performance
multiple objective linear programming problem
An algorithm to evaluate implementation cost for liveness-enforcing supervisors designed by deadlock prevention policy
期刊论文
ADVANCES IN MECHANICAL ENGINEERING, 2016, 卷号: 8, 期号: 7
作者:
Li, Shaoyong
;
Xiao, Xingda
;
Cai, Ying
;
Ma, Bingshan
;
Hou, Caiqin
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2019/11/15
Flexible manufacturing system
Petri nets
deadlocks
liveness-enforcing supervisor
implementation cost performance
multiple objective linear programming problem
©版权所有 ©2017 CSpace - Powered by
CSpace