Publications
Publications
C. Gu and Q. Zhu, “Certified execution harness for agentic AI: Safe and least-intrusive Petri-net supervisory control between reasoning and action,” arXiv preprint arXiv:2610.31376, 2026. [Preprint]
C. Gu, C. Gao, and K. Cai, “Data-driven supervisory control of discrete-event systems with forcible events,” conditionally accepted, IEEE Transactions on Automatic Control, 2026. [Preprint]
[26 ifac_a] C. Gu, C. Gao, and K. Cai, “Maximally permissive data-driven supervisory control of discrete-event systems with forcible events,” 23rd IFAC World Congress (Busan, South Korea), 2026.
[26 ifac_b] C. Gu, N. Athanasopoulos, and S. McLoone, “Modelling and analysis of aircraft maintenance service chains using timed-arc colored Petri nets,” 23rd IFAC World Congress (Busan, South Korea), 2026.
[26 cloudnet] T. Hou, C. Gu, N. Athanasopoulos, and S. McLoone, “Optimization and formal verification of truck appointment scheduling at logistics hubs,” 14th IEEE International Conference on Cloud Networking (Athens, Greece), 2026.
[24 aut] C. Gu, Z. Y. Ma and Z. W. Li, “Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs,” Automatica, 111625, 2024.
[24 wodes] C. Gu, C. Gao, and K. Cai, “Data-driven supervisory control of discrete-event systems with forcible events,” 17th IFAC International Workshop on Discrete Event Systems (Rio de Janeiro, Brasil), vol. 58, no. 1, pp. 120–125, 2024.
[22 tsmc] C. Gu, Z. Y. Ma, Z. W. Li, and A. Giua, “Verification of nonblockingness in bounded Petri nets with min-max basis reachability graphs,” IEEE Transactions on Systems, Man and Cybernetics: Systems, vol. 52, no. 10, pp. 6162–6173, 2022.
[22 lcss] C. Gu, Z. Y. Ma, Z. W. Li, and A. Giua, “Non-blockingness verification of bounded Petri nets using basis reachability graphs,” IEEE Control Systems Letters, vol. 6, pp. 1220–1225, 2022.
[21 cdc] C. Gu, Z. Y. Ma, Z. W. Li, and A. Giua, “Non-blockingness verification of bounded Petri nets using basis reachability graphs,” 60th IEEE Conference on Decision and Control (Austin, TX, USA), 2021. Jointly submitted to IEEE Control Systems Letters): see [22lcss].
[20 cdc] C. Gu, Z. W. Li, and A. Giua, “Analysis of behavioural properties of bounded Petri nets with a semi-structural approach,” 59th IEEE Conference on Decision and Control (Jeju Island, South Korea), pp. 4467–4472, 2020.
[19 cdc] C. Gu, Z. Y. Ma, Z. W. Li, and A. Giua, “Verification of nonblockingness in bounded Petri nets with a semi-structural approach,” 58th IEEE Conference on Decision and Control (Nice, France), pp. 6718–6723, 2019.
[18 ajc] X. Y. Cong, C. Gu, M. Uzam, Y. F. Chen, A. Al-Ahmari, N. Q. Wu, M. C. Zhou, and Z. W. Li, “Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs,” Asian Journal of Control, vol. 20, no. 1, pp. 511–530, 2018.
[17 ddns] C. Gu, Z. W. Li, and A. Al-Ahmari, “A multistep look-ahead deadlock avoidance policy for automated manufacturing systems,” Discrete Dynamics in Nature and Society, vol. 3, pp. 1–16, 2017.
C. Gu, “Behavioral Property Analysis and Supervisory Control of Petri Nets Using Semi-Structural Approaches,” Department of Electrical and Electronic Engineering, University of Cagliari, 2022.