|
已选(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) |  收藏 | 浏览/下载：69/31 | 提交时间：2024/01/02
Cyber-attacks cyber-physical system (CPS) liveness non-deterministic supervisors Petri net (PN) |
| Scheduling a Single-Arm Multi-Cluster Tool With a Condition-Based Cleaning Operation 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 10, 页码: 1965-1983
作者: Qinghua Zhu; Hongpeng Li; Cong Wang ; Yan Hou
Adobe PDF(2283Kb) | 收藏 | 浏览/下载：81/30 | 提交时间：2023/09/07
Chamber cleaning multi-cluster tools scheduling semiconductor manufacturing |
| Scheduling Dual-Arm Multi-Cluster Tools With Regulation of Post-Processing Time 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 8, 页码: 1730-1742
作者: Qinghua Zhu; Bin Li; Yan Hou; Hongpeng Li; Naiqi Wu
Adobe PDF(1768Kb) | 收藏 | 浏览/下载：123/36 | 提交时间：2023/07/20
Cluster tool optimization scheduling |
| Formal Modeling and Discovery of Multi-instance Business Processes: A Cloud Resource Management Case Study 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 12, 页码: 2151-2160
作者: Cong Liu
Adobe PDF(1671Kb) | 收藏 | 浏览/下载：84/24 | 提交时间：2022/12/02
Cloud resource management process multi-instance Petri nets (MPNs) multi-instance sub-processes process discovery quality evaluation |
| 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) | 收藏 | 浏览/下载：237/56 | 提交时间：2021/11/03
Petri nets (PNs) problem decomposition resource-allocation systems siphons |
| Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 4, 页码: 905-915
作者: Chuanliang Xia; Chengdong Li
Adobe PDF(1761Kb) | 收藏 | 浏览/下载：131/39 | 提交时间：2021/04/09
Modeling Petri nets property preservation subnet synthesis |
| 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) | 收藏 | 浏览/下载：145/26 | 提交时间：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) | 收藏 | 浏览/下载：164/46 | 提交时间：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) | 收藏 | 浏览/下载：136/26 | 提交时间：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 |
