GaiYun Liu

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 6

Top Topics

Manufacturing Systems

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

IEEE Trans. Syst. Man Cybern. Part A

Publications

Hanifa Boucheneb, Kamel Barkaoui, Qian Xing, Kuangze Wang, GaiYun Liu, ZhiWu Li
Time based deadlock prevention for Petri nets. Autom. 137 (2022)
GaiYun Liu, Lingchun Zhang, Liang Chang, Abdulrahman Al-Ahmari, Naiqi Wu
Robust deadlock control for automated manufacturing systems based on elementary siphon theory. Inf. Sci. 510 (2020)
Xiaoyan Li, GaiYun Liu, Zhiwu Li, Naiqi Wu, Kamel Barkaoui
Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources. IEEE Access 7 (2019)
GaiYun Liu, Dimitri Lefebvre, ZhiWu Li
Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller. SMC (2019)
GaiYun Liu, Pei Li, Zhiwu Li, Naiqi Wu
Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs. IEEE Trans. Syst. Man Cybern. Syst. 49 (7) (2019)
GaiYun Liu, Kamel Barkaoui
A survey of siphons in Petri nets. Inf. Sci. 363 (2016)
GaiYun Liu, Daniel Yuh Chao
Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller. Int. J. Control 88 (8) (2015)
GaiYun Liu, Kamel Barkaoui
PR Petri nets. Int. J. Syst. Sci. 46 (7) (2015)
GaiYun Liu, Zhiwu Li, Abdulrahman Al-Ahmari
Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming. WODES (2014)
ZhiWu Li, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou
Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Syst. 43 (2) (2013)
GaiYun Liu, ZhiWu Li, Kamel Barkaoui, Abdulrahman Al-Ahmari
Robustness of deadlock control for a class of Petri nets with unreliable resources. Inf. Sci. 235 (2013)
GaiYun Liu, Daniel Yuh Chao, Yao-Nan Lien
Singular Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors for Deadlock Prevention in Cloud Computing. SEKE (2012)
ZhiWu Li, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou
Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Part A 42 (1) (2012)
ZhiWu Li, GaiYun Liu
Comments on "An Iterative Synthesis Approach to Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems". IEEE Trans. Syst. Man Cybern. Part A 39 (3) (2009)