机构

• 自动化研究所 [27]
• 软件研究所 [12]
• 沈阳自动化研究所 [7]
• 地理科学与资源研究所 [1]
• 计算技术研究所 [1]
• 数学与系统科学研究院 [1]
• 更多

采集方式

• OAI收割 [51]

内容类型

• 期刊论文 [33]
• 会议论文 [14]
• 学位论文 [4]

发表日期

• 2024 [2]
• 2020 [1]
• 2018 [1]
• 2015 [3]
• 2014 [1]
• 2013 [1]
• 更多

学科主题

• Computer S... [2]
• Automation... [1]
• Computer S... [1]
• Computer S... [1]
• 天文技术与方法::自... [1]
• 天文望远镜::郭守敬... [1]
• 更多

筛选

浏览/检索结果: 共51条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 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 作者:  Yifan Dong;  Naiqi Wu;  Zhiwu Li   |  收藏  |  浏览/下载：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   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   Robust Deadlock Avoidance Policy for Automated Manufacturing System With Multiple Unreliable Resources 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2020, 卷号: 7, 期号: 3, 页码: 812-821 作者:  Jianchao Luo;  Zhiqiang Liu;  Shuogang Wang;  Keyi Xing   |  收藏  |  浏览/下载：10/0  |  提交时间：2021/03/11 Automated manufacturing system (AMS)  deadlock avoidamce policy (DAP)  modified Banker’s algorithm (MBA)  Petri net   Model Predictive Control for Discrete and Continuous Timed Petri Nets 期刊论文  OAI收割 International Journal of Automation and Computing, 2018, 卷号: 15, 期号: 1, 页码: 25-38 作者:  Marwa Taleb;  Edouard Leclercq;  Dimitri Lefebvre   |  收藏  |  浏览/下载：4/0  |  提交时间：2021/02/23 Model predictive control  timed continuous Petri net (TCPN)  T-timed discrete Petri net (T-TDPN)  fluidification  optimization  constant control.   Privacy Petri Net and Privacy Leak Software 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2015, 卷号: 30, 期号: 6, 页码: 1318-1343 作者:  Fan, Le-Jun;  Wang, Yuan-Zhuo;  Li, Jing-Yuan;  Cheng, Xue-Qi;  Lin, Chuang   |  收藏  |  浏览/下载：15/0  |  提交时间：2019/12/13 privacy Petri net  privacy leak software  privacy function  private information  malware analysis   Towards Modeling Large-Scale Data Flows in a Multidatacenter Computing System With Petri Net 期刊论文  OAI收割 IEEE SYSTEMS JOURNAL, 2015, 卷号: 9, 期号: 2, 页码: 5511-5533 作者:  Song, Weijing;  Wang, Lizhe;  Ranjan, Rajiv;  Kolodziej, Joanna;  Chen, Dan 收藏  |  浏览/下载：11/0  |  提交时间：2016/04/20 Large-scale data flow  multidatacenter computing  Petri net   Study on mission reachability problem for multiple AUVs Based on Object-oriented Petri Net 会议论文  OAI收割 Shenyang, China, June 8-12, 2015 作者:  Lin CL(林昌龙);  Li YP(李一平)   |  收藏  |  浏览/下载：5/0  |  提交时间：2016/04/30 Auv  Architecture  Object-oriented Petri Net  Reachability