Gaiyun Liu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Supervisory control of quantitative Petri nets for fixed-initial-credit energy problems using a game structure IET Control Theory & Applications	2025-12-16	Paper
Robust liveness enforcement of Petri nets with uncontrollable and unobservable transitions based on structural analysis IET Control Theory & Applications	2025-12-16	Paper
Adaptive supervisory control for automated manufacturing systems using borrowed-buffer slots Information Sciences	2024-05-27	Paper
Adaptive supervisory control for a class of Petri nets with bimodal transitions Information Sciences	2023-11-01	Paper
Time based deadlock prevention for Petri nets Automatica	2022-01-31	Paper
A survey of siphons in Petri nets Information Sciences	2019-12-13	Paper
Confusion control in generalized Petri nets using synchronized events Mathematical Problems in Engineering	2018-08-27	Paper
Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller International Journal of Control	2016-04-05	Paper
Necessary and sufficient liveness condition of GS³PR Petri nets International Journal of Systems Science. Principles and Applications of Systems and Integration	2015-06-03	Paper
A merging method for the siphon-based FMS maximally permissive controllers with simpler structures IMA Journal of Mathematical Control and Information	2015-01-19	Paper
Robustness of deadlock control for a class of Petri nets with unreliable resources Information Sciences	2014-04-16	Paper

Research outcomes over time

This page was built for person: Gaiyun Liu