Improved multi-step look-ahead control policies for automated manufacturing systems C Gu, Z Li, N Wu, M Khalgui, T Qu, A Al-Ahmari IEEE Access 6, 68824-68838, 2018 | 44 | 2018 |
Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs XY Cong, C Gu, M Uzam, YF Chen, AM Al‐Ahmari, NQ Wu, MC Zhou, ... Asian Journal of Control 20 (1), 511-530, 2018 | 26 | 2018 |
Verification of nonblockingness in bounded Petri nets with a semi-structural approach C Gu, Z Ma, Z Li, A Giua 2019 IEEE 58th Conference on Decision and Control (CDC), 6718-6723, 2019 | 7 | 2019 |
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs C Gu, Z Ma, Z Li, A Giua IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2022 | 5* | 2022 |
Analysis of Behavioural Properties of Bounded Petri Nets with a Semi-Structural Approach C Gu, Z Li, A Giua 2020 59th IEEE Conference on Decision and Control (CDC), 4467-4472, 2020 | 4 | 2020 |
A multistep look-ahead deadlock avoidance policy for automated manufacturing systems C Gu, Z Li, A Al-Ahmari Discrete Dynamics in Nature and Society 2017, 2017 | 4 | 2017 |
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs C Gu, Z Ma, Z Li, A Giua IEEE Control Systems Letters 6, 1220-1225, 2021 | 2 | 2021 |
Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs C Gu, Z Ma, Z Li Automatica 164, 111625, 2024 | | 2024 |
Behavioral Property Analysis and Supervisory Control of Petri Nets Using Semi-Structural Approaches C Gu Università degli Studi di Cagliari, 2022 | | 2022 |