中文版 | English

在结果中检索

CASIA OpenIR

浏览/检索结果: 共23条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 1, 页码: 240-248
作者:  Dan You;  Shouguang Wang
Adobe PDF(855Kb)  |  收藏  |  浏览/下载：71/32  |  提交时间：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 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 5, 页码: 1274-1291
作者:  Yifan Dong;  Naiqi Wu;  Zhiwu Li
Adobe PDF(7338Kb)  |  收藏  |  浏览/下载：17/5  |  提交时间：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 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 9, 页码: 1845-1859
作者:  Agostino Marcello Mangini;  Michele Roccotelli
Adobe PDF(4217Kb)  |  收藏  |  浏览/下载：106/34  |  提交时间：2023/08/10
Charge point booking  electric mobility  EV charging  Petri Net  virtual sensor  
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
Adobe PDF(1634Kb)  |  收藏  |  浏览/下载：138/27  |  提交时间：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 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2020, 卷号: 7, 期号: 3, 页码: 812-821
作者:  Jianchao Luo;  Zhiqiang Liu;  Shuogang Wang;  Keyi Xing
浏览  |  Adobe PDF(1251Kb)  |  收藏  |  浏览/下载：103/35  |  提交时间：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 期刊论文
International Journal of Automation and Computing, 2018, 卷号: 15, 期号: 1, 页码: 25-38
作者:  Marwa Taleb;  Edouard Leclercq;  Dimitri Lefebvre
浏览  |  Adobe PDF(929Kb)  |  收藏  |  浏览/下载：178/79  |  提交时间：2021/02/23
Model predictive control  timed continuous Petri net (TCPN)  T-timed discrete Petri net (T-TDPN)  fluidification  optimization  constant control.  
On siphon computation for deadlock control in a class of Petri nets 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 卷号: 38, 期号: 3, 页码: 667-679
作者:  Li, ZhiWu;  Zhou, MengChu
收藏  |  浏览/下载：125/0  |  提交时间：2015/11/08
Automated Manufacturing System  Deadlock Prevention  Elementary Siphon  Flexible Manufacturing System (Fms)  Petri Net  Resource Allocation System  Siphon  
A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions 期刊论文
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 卷号: 5, 期号: 1, 页码: 182-188
作者:  Li, Zhiwu;  Zhou, MengChu;  Jeng, MuDer
收藏  |  浏览/下载：130/0  |  提交时间：2015/11/08
Deadlock Prevention  Flexible Manufacturing System  Petri Net  Siphon  Theory Of Regions  
Control of elementary and dependent siphons in Petri nets and their application 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 卷号: 38, 期号: 1, 页码: 133-148
作者:  Li, Zhiwu;  Zhou, MengChu
收藏  |  浏览/下载：129/0  |  提交时间：2015/11/08
Automated Manufacturing System  Deadlock Control  Deadlock Prevention  Elementary Siphon  Flexible Manufacturing System  Petri Net  
Deadlock resolution in automated manufacturing systems with robots 期刊论文
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 卷号: 4, 期号: 3, 页码: 474-480
作者:  Wu, Naiqi;  Zhou, MengChu
收藏  |  浏览/下载：138/0  |  提交时间：2015/11/08
Automated Manufacturing Systems (Ams)  Deadlock Avoidance  Modeling And Control  Petri Net