中文版 | English

在结果中检索

CASIA OpenIR

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

限定条件                
已选(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)  |  收藏  |  浏览/下载：99/38  |  提交时间：2024/01/02
Cyber-attacks  cyber-physical system (CPS)  liveness  non-deterministic supervisors  Petri net (PN)  
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 2, 页码: 329-338
作者:  Dan You;  Oussama Karoui;  Shouguang Wang
Adobe PDF(1372Kb)  |  收藏  |  浏览/下载：259/66  |  提交时间：2021/11/03
Petri nets (PNs)  problem decomposition  resource-allocation systems  siphons  
Disassembly Sequence Planning: A Survey 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 7, 页码: 1308-1324
作者:  Xiwang Guo;  MengChu Zhou;  Abdullah Abusorrah;  Fahad Alsokhiry;  Khaled Sedraoui
Adobe PDF(4140Kb)  |  收藏  |  浏览/下载：188/35  |  提交时间：2021/06/11
Artificial intelligence (AI)  disassembly sequence planning (DSP)  intelligent optimization  modeling methods  multi-objective optimization  single-objective optimization  uncertainty  
Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 3, 页码: 597-605
作者:  Bo Huang;  MengChu Zhou;  Cong Wang;  Abdullah Abusorrah;  Yusuf Al-Turki
Adobe PDF(12009Kb)  |  收藏  |  浏览/下载：168/30  |  提交时间：2021/04/09
Deadlock prevention  Petri nets  robotic manufacturing cells  structure-minimized supervisor  supervisory control  uncontrollability  unobservability  
Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 219-226
作者:  Shouguang Wang;  Wenli Duo;  Xin Guo;  Xiaoning Jiang;  Dan You;  Kamel Barkaoui;  MengChu Zhou
Adobe PDF(1617Kb)  |  收藏  |  浏览/下载：195/54  |  提交时间：2021/04/09
Automated manufacturing systems  deadlocks  discrete event system  mixed-integer programming (MIP)  Petri nets (PN)  siphons  
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)  |  收藏  |  浏览/下载：162/34  |  提交时间：2021/04/09
Discrete event system  resource allocation  timed Petri net  weighted marked graph