已选(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)  |   收藏  |  浏览/下载:112/44  |  提交时间:2024/01/02 Cyber-attacks cyber-physical system (CPS) liveness non-deterministic supervisors Petri net (PN) |
| 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)  |   收藏  |  浏览/下载:142/41  |  提交时间:2023/08/10 Charge point booking electric mobility EV charging Petri Net virtual sensor |
| 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)  |   收藏  |  浏览/下载:121/34  |  提交时间: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)  |   收藏  |  浏览/下载:269/71  |  提交时间: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)  |   收藏  |  浏览/下载:197/37  |  提交时间:2021/06/11 Artificial intelligence (AI) disassembly sequence planning (DSP) intelligent optimization modeling methods multi-objective optimization single-objective optimization uncertainty |
| 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)  |   收藏  |  浏览/下载:156/45  |  提交时间: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)  |   收藏  |  浏览/下载:179/33  |  提交时间: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)  |   收藏  |  浏览/下载:207/58  |  提交时间: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)  |   收藏  |  浏览/下载:177/39  |  提交时间: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)  |   收藏  |  浏览/下载:136/46  |  提交时间:2021/03/11 Automated manufacturing system (AMS) deadlock avoidamce policy (DAP) modified Banker’s algorithm (MBA) Petri net |