default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGaiYun Liu
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j21]Umar Suleiman Abubakar
, Gaiyun Liu:
Adaptive supervisory control for automated manufacturing systems using borrowed-buffer slots. Inf. Sci. 667: 120460 (2024)- [j20]Ziliang Zhang, Gaiyun Liu, Zhiwu Li:
Adaptive Supervisory Control of Automated Manufacturing Systems With Unreliable Resources Based on Smart Switch Controllers. IEEE Trans Autom. Sci. Eng. 21(4): 5445-5456 (2024) - [c12]Xiaobin Zhang, Yonglai Wang, Biaohua Xu, Gaiyun Liu:
Robust Liveness Controllers for Time Petri Nets With Unreliable Resources. CASE 2024: 3400-3405 - [c11]Zexi Huang, Lin Chen, Gaiyun Liu, Kamel Barkaoui:
State Space Reduction for Automated Manufacturing Systems With Unreliable Resources Using Partial Order Technique. CoDIT 2024: 2170-2175 - 2023
- [j19]Umar Suleiman Abubakar, Gaiyun Liu, Kamel Barkaoui, Zhiwu Li:
Adaptive supervisory control for a class of Petri nets with bimodal transitions. Inf. Sci. 650: 119683 (2023) - [c10]Chen Shen, Gaiyun Liu, Chunfu Zhong, Kamel Barkaoui:
Analysis of Effectiveness and Stealthiness of Sensor Attacks in Labeled Petri Nets. ICNSC 2023: 1-6 - 2022
- [j18]Hanifa Boucheneb, Kamel Barkaoui, Qian Xing, Kuangze Wang, GaiYun Liu, ZhiWu Li:
Time based deadlock prevention for Petri nets. Autom. 137: 110119 (2022) - [j17]Gaiyun Liu, Yuting Liu, Zhiwu Li:
Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming. Soft Comput. 26(8): 4019-4032 (2022) - [j16]Ziliang Zhang, Gaiyun Liu, Kamel Barkaoui, Zhiwu Li:
Adaptive Deadlock Control for a Class of Petri Nets With Unreliable Resources. IEEE Trans. Syst. Man Cybern. Syst. 52(5): 3113-3125 (2022) - [c9]Ziliang Zhang, Gaiyun Liu, Yu Sun:
Design of Robust Optimization Petri Net Controller for Automated Manufacturing Systems With Unreliable Resources. CASE 2022: 1640-1645 - [c8]Ziliang Zhang, Depei Zhang, Gaiyun Liu, Yonglai Wang:
Supervisory Control for Petri Nets Based on Partial Order Techniques. ICNSC 2022: 1-6 - 2021
- [j15]Mahmoud Salaheldin Elsayed, Gaiyun Liu, Almetwally M. Mostafa, Abeer Ali Alnuaim, Passent Mohammed El-Kafrawy:
Fault-Recovery and Robust Deadlock Control of Reconfigurable Multi-Unit Resource Allocation Systems Using Siphons. IEEE Access 9: 67942-67956 (2021) - [j14]Umar Suleiman Abubakar, Gaiyun Liu, Murat Uzam:
Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources. IEEE Access 9: 100264-100278 (2021) - [c7]Lihong Dong, Guanchen Li, Dan Wang, Gaiyun Liu, Li Zheng:
Prediction and Analysis of Time Series with the aid of Granular Parallel Support Vector Machine. ICNSC 2021: 1-5 - 2020
- [j13]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: 165-182 (2020) - [e1]Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu:
Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings. Lecture Notes in Computer Science 12519, Springer 2020, ISBN 978-3-030-65954-7 [contents]
2010 – 2019
- 2019
- [j12]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: 21006-21019 (2019) - [j11]Gaiyun Liu, Lingchun Zhang, Yuting Liu, Yufeng Chen, Zhiwu Li, Naiqi Wu:
Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons. IEEE Access 7: 88579-88591 (2019) - [j10]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): 1371-1385 (2019) - [c6]Rym Meriah, Kamel Barkaoui, Gaiyun Liu, Olfa Belkahla Driss:
On modelling and evaluation of corrective and preventive maintenance policies of unreliable manufacturing systems. CoDIT 2019: 1752-1757 - [c5]GaiYun Liu, Dimitri Lefebvre, ZhiWu Li:
Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller. SMC 2019: 1825-1830 - 2016
- [j9]GaiYun Liu, Kamel Barkaoui:
A survey of siphons in Petri nets. Inf. Sci. 363: 198-220 (2016) - [c4]Xiaoou Li, Gaiyun Liu, Jun Wang, Jiacun Wang:
Resource requirement analysis for cyclic workflows. ICNSC 2016: 1-6 - [c3]Jiacun Wang, Xiaoou Li, Gaiyun Liu:
Cyclic workflow resource requirement analysis and application in healthcare. WODES 2016: 291-297 - 2015
- [j8]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): 1423-1428 (2015) - [j7]GaiYun Liu, Kamel Barkaoui:
Necessary and sufficient liveness condition of GS3PR Petri nets. Int. J. Syst. Sci. 46(7): 1147-1160 (2015) - 2014
- [b1]Gaiyun Liu:
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). Conservatoire national des arts et métiers, Paris, France, 2014 - [c2]GaiYun Liu, Zhiwu Li, Abdulrahman Al-Ahmari:
Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming. WODES 2014: 383-387 - 2013
- [j6]Gai Yun Liu, Daniel Yuh Chao, Murat Uzam:
A merging method for the siphon-based FMS maximally permissive controllers with simpler structures. IMA J. Math. Control. Inf. 31(4): 551-573 (2013) - [j5]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: 259-279 (2013) - [j4]Yufeng Chen, Gaiyun Liu:
Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams. ACM Trans. Embed. Comput. Syst. 12(1): 3:1-3:15 (2013) - [j3]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): 474 (2013) - 2012
- [j2]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): 178-191 (2012) - [c1]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: 359-362
2000 – 2009
- 2009
- [j1]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): 692 (2009)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-13 23:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
