×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
西安交通大学 [38]
清华大学 [22]
自动化研究所 [16]
北京大学 [12]
大连理工大学 [12]
北京航空航天大学 [12]
更多...
内容类型
期刊论文 [121]
会议论文 [40]
学位论文 [5]
会议 [1]
其他 [1]
发表日期
2021 [3]
2020 [6]
2019 [8]
2018 [8]
2017 [13]
2016 [16]
更多...
学科主题
Computer S... [1]
Computer S... [1]
Informatio... [1]
life scien... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共168条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 5, 页码: 1274-1291
作者:
Yifan Dong
;
Naiqi Wu
;
Zhiwu Li
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2024/04/10
Labeled Petri net
multi-valued decision diagram
networked discrete event system
state-based opacity
Event-Triggered Sliding-Mode Control for a Discrete-Time Muscle-Driven Musculoskeletal System
期刊论文
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2023, 页码: 15
作者:
Fan, Yerui
;
Wu, Yaxiong
;
Yuan, Jianbo
;
Gao, Jie
;
Qiao, Hong
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2024/03/27
Musculoskeletal system
bio-inspired muscle model
discrete-time system
event-triggered control
sliding mode controller
Control of Non-Deterministic Systems With
μ
-Calculus Specifications Using Quotienting
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 5, 页码: 953-970
作者:
Samik Basu
;
Ratnesh Kumar
收藏
  |  
浏览/下载:42/0
  |  
提交时间:2021/04/09
Discrete event systems (DES)
non-deterministic plant
μ
-calculus
supervisory control
Parametric Transformation of Timed Weighted Marked Graphs: Applications in Optimal Resource Allocation
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 179-188
作者:
Zhou He
;
Ziyue Ma
;
Zhiwu Li
;
Alessandro Giua
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2021/04/09
Discrete event system
resource allocation
timed Petri net
weighted marked graph
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
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2021/04/09
Automated manufacturing systems
deadlocks
discrete event system
mixed-integer programming (MIP)
Petri nets (PN)
siphons
Event-Triggered Adaptive Critic Control Design for Discrete-Time Constrained Nonlinear Systems
期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 卷号: 50, 期号: 9, 页码: 3158-3168
作者:
Ha, Mingming
;
Wang, Ding
;
Liu, Derong
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2020/09/28
Nonlinear systems
Actuators
Discrete-time systems
Dynamic programming
Optimal control
Adaptive systems
Adaptive dynamic programming (ADP)
control constraints
event-triggered control
heuristic dynamic programming (HDP)
neural networks
nonlinear discrete-time system
Resilient Fault Diagnosis Under Imperfect Observations–A Need for Industry 4.0 Era
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2020, 卷号: 7, 期号: 5, 页码: 1279-1288
作者:
Alejandro White
;
Ali Karimoddini
;
Mohammad Karimadini
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2021/03/11
Cyber-physical systems
discrete event systems
fault diagnosis
imperfect communication
imperfect observation
Industry 4.0
resilience
Post-Processing Time-Aware Optimal Scheduling of Single Robotic Cluster Tools
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2020, 卷号: 7, 期号: 2, 页码: 597-605
作者:
QingHua Zhu
;
Yan Qiao
;
NaiQi Wu
;
Yan Hou
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2021/03/11
Cluster tool
discrete event systems
optimization
robotic systems
scheduling
Resource allocation methodology based on object-oriented discrete event simulation: A production logistics system case study
期刊论文
CIRP Journal of Manufacturing Science and Technology, 2020, 卷号: 31, 页码: 394-405
作者:
Li GZ(李广振)
;
Yang SL(杨圣落)
;
Xu ZG(徐志刚)
;
Wang JY(王军义)
;
Ren, Zhaohui
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2020/08/29
Resource allocation
Production logistics system
Object-oriented discrete event simulation
Decision making
Case studylant Simulation software
Bottleneck identification and alleviation in a blocked serial production line with discrete event simulation: A case study
期刊论文
ADVANCES IN PRODUCTION ENGINEERING & MANAGEMENT, 2020, 卷号: 15, 期号: 2, 页码: 125-136
作者:
Li GZ(李广振)
;
Xu ZG(徐志刚)
;
Yang SL(杨圣落)
;
Wang HY(王鸿宇)
;
Bai XL(白鑫林)
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2020/09/12
Serial production line
Bottleneck identification
Bottleneck alleviation
Discrete event simulation
Plant Simulation
Case study
©版权所有 ©2017 CSpace - Powered by
CSpace