ShouGuang Wang

IEEE CAA J. Autom. Sinica, January, 2024

2023

Frequent Itemset-Driven Search for Finding Minimal Node Separators and its Application to Air Transportation Network Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., August, 2023

A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2023

Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks.

[BibT_eX]

[DOI]

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

2022

A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks.

[BibT_eX]

[DOI]

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

Supervisory Control of Petri Nets in the Presence of Replacement Attacks.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches.

[BibT_eX]

[DOI]

Oussama Karoui

IEEE CAA J. Autom. Sinica, 2022

2021

Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming.

[BibT_eX]

[DOI]

IEEE CAA J. Autom. Sinica, 2021

Generalized Current-State Opacity With Dynamically Changing Secrets.

[BibT_eX]

[DOI]

CoRR, 2021

2020

SVM-BiLSTM: A Fault Detection Method for the Gas Station IoT System Based on Deep Learning.

[BibT_eX]

[DOI]

IEEE Access, 2020

Overview of Opacity in Discrete Event Systems.

[BibT_eX]

[DOI]

IEEE Access, 2020

A Deadlock Prevention Policy for a Class of Multithreaded Software.

[BibT_eX]

[DOI]

IEEE Access, 2020

A Survey of Network Attacks on Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Access, 2020

2019

Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions.

[BibT_eX]

[DOI]

Inf. Sci., 2019

An MIP-Based Deadlock Prevention Policy for Siphon Control.

[BibT_eX]

[DOI]

IEEE Access, 2019

Repair Process Models Containing Non-Free-Choice Structures Based on Logic Petri Nets.

[BibT_eX]

[DOI]

IEEE Access, 2019

K-Codiagnosability Verification of Labeled Petri Nets.

[BibT_eX]

[DOI]

IEEE Access, 2019

A Siphon-Based Deadlock Prevention Strategy for S3PR.

[BibT_eX]

[DOI]

IEEE Access, 2019

Maximal Good Step Graph Methods for Reducing the Generation of the State Space.

[BibT_eX]

[DOI]

IEEE Access, 2019

An iterative Deadlock Prevention Policy Based on siphons.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

2018

A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2018

An Improved Mixed-Integer Programming Method to Compute Emptiable Minimal Siphons in S3PR Nets.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2018

New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets.

[BibT_eX]

[DOI]

Mengchu Zhou

Sci. China Inf. Sci., 2018

Deadlock Prevention Policy for S4PR Nets Based on Siphon.

[BibT_eX]

[DOI]

IEEE Access, 2018

An Algorithm of Recognizing Unbounded Petri Nets With Semilinear Reachability Sets and Constructing Their Reachability Trees.

[BibT_eX]

[DOI]

Wenhui Wu

IEEE Access, 2018

An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets.

[BibT_eX]

[DOI]

IEEE Access, 2018

A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets.

[BibT_eX]

[DOI]

IEEE Access, 2018

Fault Diagnosis in Partially Observed Petri Nets Using Redundancies.

[BibT_eX]

[DOI]

IEEE Access, 2018

Event Feedback Supervision for a Class of Petri Nets With Unobservable Transitions.

[BibT_eX]

[DOI]

Ning Ran

Wenhui Wu

IEEE Access, 2018

Liveness Enforcement for a Class of Petri Nets via Resource Allocation.

[BibT_eX]

[DOI]

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

2017

A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Comments on "Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis".

[BibT_eX]

[DOI]

Ning Ran

Hongye Su

IEEE Trans. Autom. Control., 2017

Computation of strict minimal siphons in a class of Petri nets based on problem decomposition.

[BibT_eX]

[DOI]

Inf. Sci., 2017

Deadlock and liveness characterization for a class of generalized Petri nets.

[BibT_eX]

[DOI]

Abdulrahman Al-Ahmari

Ting Qu

Naiqi Wu

ZhiWu Li

Inf. Sci., 2017

Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions.

[BibT_eX]

[DOI]

IMA J. Math. Control. Inf., 2017

An improved approach to test diagnosability of bounded petri nets.

[BibT_eX]

[DOI]

Ning Ran

Hongye Su

IEEE CAA J. Autom. Sinica, 2017

Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions.

[BibT_eX]

[DOI]

IEEE Access, 2017

Approach for minimal-siphon computation in S4PR.

[BibT_eX]

[DOI]

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

2016

Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

Optimal supervisor synthesis for petri nets with uncontrollable transitions: A bottom-up algorithm.

[BibT_eX]

[DOI]

Inf. Sci., 2016

A resource configuration method for liveness of a class of Petri nets.

[BibT_eX]

[DOI]

IMA J. Math. Control. Inf., 2016

A new linear constraint transformation approach for Petri nets with uncontrollable transitions.

[BibT_eX]

[DOI]

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

Deadlock control of multithreaded software based on Petri nets: A brief review.

[BibT_eX]

[DOI]

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

2015

Synthesis of Monitor-Based Liveness-Enforcing Supervisors for 𝕊3 PR With ξ-Resources.

[BibT_eX]

[DOI]

Mengchu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2015

Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

Deadlock prevention policy for a class of petri nets based on complementary places and elementary siphons.

[BibT_eX]

[DOI]

Wenhui Wu

Jing Yang

J. Intell. Manuf., 2015

Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions.

[BibT_eX]

[DOI]

CoRR, 2015

Macro liveness graph and liveness of ω-independent unbounded nets.

[BibT_eX]

[DOI]

Mengdi Gan

Sci. China Inf. Sci., 2015

New reachability trees for unbounded Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Controllability of complex siphons for deadlock prevention in Systems of Simple Sequential Processes with Resources.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Optimal monitor-based supervisor sythesis for a class of Petri nets with unobservable transitions.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Networking, Sensing and Control, 2015

Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A three-stage deadlock prevention strategy for S3PR nets.

[BibT_eX]

[DOI]

Lingyun Huang

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

Ordinary Differential Equation-Based Deadlock Detection.

[BibT_eX]

[DOI]

Zuohua Ding

IEEE Trans. Syst. Man Cybern. Syst., 2014

A Method Based on Depth-first Search to Compute All Minimal Siphons.

[BibT_eX]

[DOI]

J. Softw., 2014

Comments on 'Maximally permissive supervisor synthesis based on a new constraint transformation method'.

[BibT_eX]

[DOI]

Jing Yang

Mengchu Zhou

CoRR, 2014

Comments on "Liveness of an extended S3PR" [Automatica 46 (2010) 1008-1018].

[BibT_eX]

[DOI]

Miao Liu

Autom., 2014

2013

A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets.

[BibT_eX]

[DOI]

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

Design of Optimal Monitor-Based Supervisors for a Class of Petri Nets With Uncontrollable Transitions.

[BibT_eX]

[DOI]

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

Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation.

[BibT_eX]

[DOI]

Miao Liu

Zhiwu Li

J. Appl. Math., 2013

A new reachability tree for unbounded Petri nets.

[BibT_eX]

[DOI]

Yue Li

Jing Yang

Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

New controllability condition for WS3PR nets.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

2012

A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets.

[BibT_eX]

[DOI]

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

Controllability Conditions of Resultant Siphons in a Class of Petri Nets.

[BibT_eX]

[DOI]

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

Computation of all minimal siphons in Petri nets.

[BibT_eX]

[DOI]

Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, 2012

2011

Comments on "Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems".

[BibT_eX]

[DOI]

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

Optimal siphon-based deadlock prevention policy for a class of Petri nets in automation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2011

A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Necessary and sufficient conditions for resultant siphons to be controlled.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2011

2010

An algorithm to find the condition on initial markings of resource places and job places for liveness of S3PMR.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

A method of computing strict minimal siphons in an S3PR based on resource circuits.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2004

Synthesis of Petri net controller to enforce conjunction of GMEC using observer.

[BibT_eX]

[DOI]

Senlin Zhang

Proceedings of the IEEE International Conference on Systems, 2004

Synthesis of Petri net controller based local incidence matrix.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

Synthesis of Petri nets controller for the constraints involving marking vector and Parikh vector.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

A neural network model and its application.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

Neural-model based robust H∞ controllers for discrete-time nonlinear systems: an BMI approach.

[BibT_eX]

[DOI]

Meiqin Liu