机构

• 自动化研究所 [51]
• 软件研究所 [47]
• 沈阳自动化研究所 [21]
• 数学与系统科学研究院 [7]
• 地理科学与资源研究所 [2]
• 重庆绿色智能技术研究... [2]
• 更多

采集方式

• OAI收割 [134]

内容类型

• 期刊论文 [86]
• 会议论文 [31]
• 学位论文 [15]
• EI期刊论文 [1]
• 专著章节/文集论文 [1]

发表日期

• 2022 [4]
• 2021 [5]
• 2016 [6]
• 2014 [3]
• 2013 [4]
• 2012 [4]
• 更多

学科主题

• Computer S... [3]
• Computer S... [2]
• Automation... [1]
• Computer S... [1]
• Computer S... [1]
• Engineerin... [1]
• 更多

筛选

浏览/检索结果: 共134条，第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   |  收藏  |  浏览/下载：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   An adapted component-connection method for building SBDD encoding a dynamic fault tree 期刊论文  OAI收割 PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2022 作者:  Guo, Dingqing;  Wang, Jinkai;  Lin, Jian;  Zhang, Bing;  Yong, Nou   |  收藏  |  浏览/下载：21/0  |  提交时间：2022/12/23 Component connection  dynamic fault tree  sequential binary decision diagram  Heuristic strategies  calculable logic terms   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   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   |  收藏  |  浏览/下载：17/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   Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 3, 页码: 597-605 作者:  Bo Huang;  MengChu Zhou;  Cong Wang;  Abdullah Abusorrah;  Yusuf Al-Turki   |  收藏  |  浏览/下载：12/0  |  提交时间：2021/04/09 Deadlock prevention  Petri nets  robotic manufacturing cells  structure-minimized supervisor  supervisory control  uncontrollability  unobservability