GaiYun Liu
Orcid: 0000-0002-4947-6267
According to our database1,
GaiYun Liu
authored at least 30 papers
between 2009 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Inf. Sci., December, 2023
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023
2022
IEEE Trans. Syst. Man Cybern. Syst., 2022
Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming.
Soft Comput., 2022
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.
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.
IEEE Access, 2021
Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources.
IEEE Access, 2021
Prediction and Analysis of Time Series with the aid of Granular Parallel Support Vector Machine.
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.
Inf. Sci., 2020
2019
Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs.
IEEE Trans. Syst. Man Cybern. Syst., 2019
Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons.
IEEE Access, 2019
Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources.
IEEE Access, 2019
Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller.
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.
Proceedings of the 6th International Conference on Control, 2019
2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016
2015
Int. J. Syst. Sci., 2015
Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller.
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).
PhD thesis, 2014
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.
IEEE Trans. Syst. Man Cybern. Syst., 2013
ACM Trans. Embed. Comput. Syst., 2013
Inf. Sci., 2013
A merging method for the siphon-based FMS maximally permissive controllers with simpler structures.
IMA J. Math. Control. Inf., 2013
2012
Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2012
Singular Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors for Deadlock Prevention in Cloud Computing.
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".
IEEE Trans. Syst. Man Cybern. Part A, 2009