中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
自动化研究所 [58]
软件研究所 [42]
沈阳自动化研究所 [33]
数学与系统科学研究院 [7]
地理科学与资源研究所 [3]
遥感与数字地球研究所 [3]
更多
采集方式
OAI收割 [157]
iSwitch采集 [1]
内容类型
期刊论文 [107]
会议论文 [29]
学位论文 [19]
EI期刊论文 [1]
SCI/SSCI论文 [1]
专利 [1]
更多
发表日期
2022 [4]
2021 [5]
2016 [4]
2015 [6]
2014 [3]
2012 [9]
更多
学科主题
Computer S... [3]
Computer S... [2]
天文技术与方法 [2]
天文望远镜::郭守敬... [2]
Automation... [1]
Computer S... [1]
更多
筛选
浏览/检索结果:
共158条,第1-10条
帮助
条数/页:
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
期刊论文
OAI收割
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 1, 页码: 240-248
作者:
Dan You
;
Shouguang Wang
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2024/01/02
Cyber-attacks
cyber-physical system (CPS)
liveness
non-deterministic supervisors
Petri net (PN)
State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets
期刊论文
OAI收割
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 5, 页码: 1274-1291
作者:
  |  
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2024/04/10
Labeled Petri net
multi-valued decision diagram
networked discrete event system
state-based opacity
Innovative Services for Electric Mobility Based on Virtual Sensors and Petri Nets
期刊论文
OAI收割
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 9, 页码: 1845-1859
作者:
Agostino Marcello Mangini
;
Michele Roccotelli
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2023/08/10
Charge point booking
electric mobility
EV charging
Petri Net
virtual sensor
Modelling and Analysis of Adaptive Cruise Control System Based on Synchronization Theory of Petri Nets
期刊论文
OAI收割
ELECTRONICS, 2022, 卷号: 11, 期号: 21, 页码: 11
作者:
Guo, Qi
;
Yu, Wangyang
;
Hao, Fei
;
Zhou, Yuke
;
Liu, Yuan
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2022/12/20
adaptive cruise control
synchronization theory
Petri net
reliability analysis
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches
期刊论文
OAI收割
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 2, 页码: 329-338
作者:
Dan You
;
Oussama Karoui
;
Shouguang Wang
  |  
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2021/11/03
Petri nets (PNs)
problem decomposition
resource-allocation systems
siphons
A Safe and Compliant Noncontact Interactive Approach for Wheeled Walking Aid Robot
期刊论文
OAI收割
Computational Intelligence and Neuroscience, 2022, 卷号: 2022, 页码: 1-20
作者:
Zhao, Donghui
;
Wang, Wei
;
Okonkwo, Moses Chukwuka
;
Yang ZH(杨子豪)
;
Yang, Junyou
  |  
收藏
  |  
浏览/下载:48/0
  |  
提交时间:2022/04/23
Formal Modeling and Discovery of Multi-instance Business Processes: A Cloud Resource Management Case Study
期刊论文
OAI收割
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 12, 页码: 2151-2160
作者:
Cong Liu
  |  
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2022/12/02
Cloud resource management process
multi-instance Petri nets (MPNs)
multi-instance sub-processes
process discovery
quality evaluation
A Learning-Embedded Attributed Petri Net to Optimize Student Learning in a Serious Game
期刊论文
OAI收割
IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2021, 页码: 9
作者:
Liang, Jing
;
Tang, Ying
;
Hare, Ryan
;
Wu, Ben
;
Wang, Fei-Yue
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2022/01/27
Games
Task analysis
Problem-solving
Petri nets
Random forests
Training
Radio frequency
Learning optimization
Petri nets (PNs)
serious game (SG)
Parametric Transformation of Timed Weighted Marked Graphs: Applications in Optimal Resource Allocation
期刊论文
OAI收割
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 179-188
作者:
Zhou He
;
Ziyue Ma
;
Zhiwu Li
;
Alessandro Giua
  |  
收藏
  |  
浏览/下载:16/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
期刊论文
OAI收割
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 219-226
作者:
Shouguang Wang
;
Wenli Duo
;
Xin Guo
;
Xiaoning Jiang
;
Dan You
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2021/04/09
Automated manufacturing systems
deadlocks
discrete event system
mixed-integer programming (MIP)
Petri nets (PN)
siphons