×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
自动化研究所 [10]
清华大学 [3]
北京大学 [1]
兰州理工大学 [1]
西安交通大学 [1]
山东大学 [1]
更多...
内容类型
期刊论文 [18]
发表日期
2024 [1]
2022 [1]
2021 [1]
2019 [1]
2014 [1]
2012 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共18条,第1-10条
帮助
限定条件
内容类型:期刊论文
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 1, 页码: 240-248
作者:
Dan You
;
Shouguang Wang
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2024/01/02
Cyber-attacks
cyber-physical system (CPS)
liveness
non-deterministic supervisors
Petri net (PN)
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
Petri net-based scheduling strategy and energy modeling for the cylinder block remanufacturing under uncertainty
期刊论文
ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 2019, 卷号: 58, 页码: 208-219
作者:
Peng, Shitong
;
Li, Tao
;
Zhao, Jiali
;
Guo, Yanchun
;
Lv, Shengping
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/11/15
Remanufacturing scheduling
Petri net
A(star) algorithm
Engine remanufacturing
Remanufacturing uncertainty
Transformation of Logical Workflow Nets
期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 卷号: 44, 期号: 10, 页码: 1401-1412
作者:
Liu, Wei
;
Du, YuYue
;
Zhou, MengChu
;
Yan, Chun
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/17
Cooperative system
e-commerce
Logical workflow nets (LWNs)
Petri net
(PN)
transformation
transformation rules
Deadlock-Free Genetic Scheduling Algorithm for Automated Manufacturing Systems Based on Deadlock Control Policy
期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2012, 卷号: 42, 期号: [db:dc_citation_issue], 页码: 603-615
作者:
Xing, Ke Yi
;
Han, LiBin
;
Zhou, MengChu
;
Wang, Feng
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/10
scheduling
Petri net (PN)
deadlock avoidance policy (DAP)
Automated manufacturing systems (AMSs)
genetic algorithm
含有否定命题逻辑推理的一致性模糊Petri网模型
期刊论文
2010, 2010
汪洋
;
林闯
;
曲扬
;
李雅娟
;
WANG Yang
;
LIN Chuang
;
QU Yang
;
LI Ya-juan
收藏
  |  
浏览/下载:4/0
Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems
期刊论文
2010, 2010
Han, ZD
;
Lee, G
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2017/06/15
deadlock state equation
FMS
PN controller
PN model
shared resource
MODEL
FMS
Automation & Control Systems
Engineering, Manufacturing
Consistent fuzzy Petri nets model for logic programs with negation
期刊论文
2010, 2010
Wang Yang
;
Lin Chuang
;
Qu Yang
;
Li Ya-juan
收藏
  |  
浏览/下载:2/0
带回流复杂制造系统基于资源的Petri网仿真原型
期刊论文
系统仿真学报, 2007, 期号: 2007年22期, 页码: 5249-5253
作者:
邵志芳
;
刘仲英
;
陆云波
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/09/18
回流
建模
Petri网
整合性定义方法论
仿真
©版权所有 ©2017 CSpace - Powered by
CSpace