已选(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)  |  收藏  |  浏览/下载:125/50  |  提交时间: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)  |  收藏  |  浏览/下载:125/42  |  提交时间: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)  |  收藏  |  浏览/下载:178/56  |  提交时间: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)  |  收藏  |  浏览/下载:140/40  |  提交时间: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)  |  收藏  |  浏览/下载:281/78  |  提交时间: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)  |  收藏  |  浏览/下载:172/51  |  提交时间: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)  |  收藏  |  浏览/下载:193/38  |  提交时间: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)  |  收藏  |  浏览/下载:224/64  |  提交时间: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)  |  收藏  |  浏览/下载:190/43  |  提交时间: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)  |  收藏  |  浏览/下载:150/49  |  提交时间:2021/03/11 Automated manufacturing system (AMS) deadlock avoidamce policy (DAP) modified Banker’s algorithm (MBA) Petri net |