机构

• 自动化研究所 [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 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 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   |  收藏  |   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   |  收藏  |   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   |  收藏  |   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   |  收藏  |   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   |  收藏  |   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   |  收藏  |   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   |  收藏  |   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   |  收藏  |   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 收藏  |   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(李一平)   |  收藏  |