GaiYun Liu

According to our database, GaiYun Liu authored at least 34 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Adaptive Supervisory Control of Automated Manufacturing Systems With Unreliable Resources Based on Smart Switch Controllers.

Ziliang Zhang, Gaiyun Liu, Zhiwu Li

IEEE Trans Autom. Sci. Eng., October, 2024

Adaptive supervisory control for automated manufacturing systems using borrowed-buffer slots.

Umar Suleiman Abubakar, Gaiyun Liu

Inf. Sci., 2024

State Space Reduction for Automated Manufacturing Systems With Unreliable Resources Using Partial Order Technique.

Zexi Huang, Lin Chen, Gaiyun Liu, Kamel Barkaoui

Proceedings of the 10th International Conference on Control, 2024

Robust Liveness Controllers for Time Petri Nets With Unreliable Resources.

Xiaobin Zhang, Yonglai Wang, Biaohua Xu, Gaiyun Liu

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

2023

Adaptive supervisory control for a class of Petri nets with bimodal transitions.

Umar Suleiman Abubakar, Gaiyun Liu, Kamel Barkaoui, Zhiwu Li

Inf. Sci., December, 2023

Analysis of Effectiveness and Stealthiness of Sensor Attacks in Labeled Petri Nets.

Chen Shen, Gaiyun Liu, Chunfu Zhong, Kamel Barkaoui

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023

2022

Adaptive Deadlock Control for a Class of Petri Nets With Unreliable Resources.

Ziliang Zhang, Gaiyun Liu, Kamel Barkaoui, Zhiwu Li

IEEE Trans. Syst. Man Cybern. Syst., 2022

Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming.

Gaiyun Liu, Yuting Liu, Zhiwu Li

Soft Comput., 2022

Time based deadlock prevention for Petri nets.

Hanifa Boucheneb, Kamel Barkaoui, Qian Xing, Kuangze Wang, GaiYun Liu, ZhiWu Li

Autom., 2022

Supervisory Control for Petri Nets Based on Partial Order Techniques.

Ziliang Zhang, Depei Zhang, Gaiyun Liu, Yonglai Wang

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

Design of Robust Optimization Petri Net Controller for Automated Manufacturing Systems With Unreliable Resources.

Ziliang Zhang, Gaiyun Liu, Yu Sun

Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

2021

Fault-Recovery and Robust Deadlock Control of Reconfigurable Multi-Unit Resource Allocation Systems Using Siphons.

Mahmoud Salaheldin Elsayed, Gaiyun Liu, Almetwally M. Mostafa, Abeer Ali Alnuaim, Passent Mohammed El-Kafrawy

IEEE Access, 2021

Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources.

Umar Suleiman Abubakar, Gaiyun Liu, Murat Uzam

IEEE Access, 2021

Prediction and Analysis of Time Series with the aid of Granular Parallel Support Vector Machine.

Lihong Dong, Guanchen Li, Dan Wang, Gaiyun Liu, Li Zheng

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

2020

Robust deadlock control for automated manufacturing systems based on elementary siphon theory.

GaiYun Liu, Lingchun Zhang, Liang Chang, Abdulrahman Al-Ahmari, Naiqi Wu

Inf. Sci., 2020

2019

Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs.

GaiYun Liu, Pei Li, Zhiwu Li, Naiqi Wu

IEEE Trans. Syst. Man Cybern. Syst., 2019

Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons.

Gaiyun Liu, Lingchun Zhang, Yuting Liu, Yufeng Chen, Zhiwu Li, Naiqi Wu

IEEE Access, 2019

Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources.

Xiaoyan Li, GaiYun Liu, Zhiwu Li, Naiqi Wu, Kamel Barkaoui

IEEE Access, 2019

Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller.

GaiYun Liu, Dimitri Lefebvre, ZhiWu Li

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

On modelling and evaluation of corrective and preventive maintenance policies of unreliable manufacturing systems.

Rym Meriah, Kamel Barkaoui, Gaiyun Liu, Olfa Belkahla Driss

Proceedings of the 6th International Conference on Control, 2019

2016

A survey of siphons in Petri nets.

GaiYun Liu, Kamel Barkaoui

Inf. Sci., 2016

Cyclic workflow resource requirement analysis and application in healthcare.

Jiacun Wang, Xiaoou Li, Gaiyun Liu

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Resource requirement analysis for cyclic workflows.

Xiaoou Li, Gaiyun Liu, Jun Wang, Jiacun Wang

Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

2015

Necessary and sufficient liveness condition of GS³PR Petri nets.

GaiYun Liu, Kamel Barkaoui

Int. J. Syst. Sci., 2015

Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller.

GaiYun Liu, Daniel Yuh Chao

Int. J. Control, 2015

2014

Supervisor Synthesis for Automated Manufacturing Systems Based on Structure Theory of Petri Nets. (Synthèse de contrôleurs de Systèmes de production automatisés basés sur la théorie structurelle des réseaux de Petri).

Gaiyun Liu

PhD thesis, 2014

Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming.

GaiYun Liu, Zhiwu Li, Abdulrahman Al-Ahmari

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013

Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems.

ZhiWu Li, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2013

Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams.

Yufeng Chen, Gaiyun Liu

ACM Trans. Embed. Comput. Syst., 2013

Robustness of deadlock control for a class of Petri nets with unreliable resources.

GaiYun Liu, ZhiWu Li, Kamel Barkaoui, Abdulrahman Al-Ahmari

Inf. Sci., 2013

A merging method for the siphon-based FMS maximally permissive controllers with simpler structures.

Gai Yun Liu, Daniel Yuh Chao, Murat Uzam

IMA J. Math. Control. Inf., 2013

2012

Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems.

ZhiWu Li, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Part A, 2012

Singular Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors for Deadlock Prevention in Cloud Computing.

GaiYun Liu, Daniel Yuh Chao, Yao-Nan Lien

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

2009

Comments on "An Iterative Synthesis Approach to Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems".

ZhiWu Li, GaiYun Liu

IEEE Trans. Syst. Man Cybern. Part A, 2009