×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
西安交通大学 [20]
清华大学 [9]
自动化研究所 [9]
北京大学 [4]
兰州理工大学 [4]
大连理工大学 [4]
更多...
内容类型
期刊论文 [43]
会议论文 [20]
学位论文 [2]
发表日期
2021 [2]
2020 [2]
2019 [2]
2017 [3]
2016 [4]
2015 [4]
更多...
学科主题
Computer S... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共65条,第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
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
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
Research on co-design of security control and communication for cyber physical system under cyber-attacks
会议论文
Xiamen, China, July 5, 2019 - July 7, 2019
作者:
Shi, Yahong
;
Li, Wei
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2020/11/15
Actuators
Computer crime
Crime
Cyber Physical System
Delay control systems
Design
Discrete event simulation
Embedded systems
Fault detection
Fault tolerance
Network security
Plant management
Communication quality
Communication schemes
Conservative designs
Cyber-physical systems (CPS)
Lyapunov Krasovskii function
Security controls
Time-delay systems
Trigger conditions
Deadlock detection-oriented unfolding of unbounded Petri nets
期刊论文
INFORMATION SCIENCES, 2019, 卷号: 497, 页码: 1-22
作者:
Lu, Faming
;
Tao, Ranran
;
Du, Yuyue
;
Zeng, Qingtian
;
Bao, Yunxia
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2019/12/11
Petri net
State-space explosion
Net unfolding
Deadlock detection
Discrete event system
Attack frequency estimation of networked control systems under denial of service with energy constraints
会议论文
Beijing, China, October 29, 2017 - November 1, 2017
作者:
Sun, Hongtao
;
Peng, Chen
;
He, Wangli
;
Wang, Zhiwen
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2020/11/15
Control theory
Denial-of-service attack
Frequency estimation
Industrial electronics
Stability criteria
Denial of Service
Discrete sampling
Energy constraint
Event-triggered controls
Globally exponentially stable
Lyapunov theories
Networked Control Systems (NCSs)
Switched system
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
期刊论文
AUTOMATICA, 2017, 卷号: 81, 页码: 217-220
作者:
Zhang, Kuize
收藏
  |  
浏览/下载:209/0
  |  
提交时间:2018/07/30
Discrete event system
Finite automaton
Weak (periodic) detectability
PSPACE-hardness
©版权所有 ©2017 CSpace - Powered by
CSpace