ShouGuang Wang

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 18

Top Topics

Supervisory Control

Deadlock Detection

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

IEEE Trans. Autom. Control.

Publications

ShouGuang Wang, Xin Guo, Oussama Karoui, MengChu Zhou, Dan You, Abdullah Abusorrah
A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 53 (1) (2023)
Dan You, ShouGuang Wang, MengChu Zhou, Carla Seatzu
Supervisory Control of Petri Nets in the Presence of Replacement Attacks. IEEE Trans. Autom. Control. 67 (3) (2022)
Dan You, ShouGuang Wang, Carla Seatzu
Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs. IEEE Trans. Autom. Control. 64 (10) (2019)
Dan You, ShouGuang Wang, Carla Seatzu
Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions. Inf. Sci. 501 (2019)
Mengdi Gan, ShouGuang Wang, Zhijun Ding, MengChu Zhou, Wenhui Wu
PR Nets. IEEE Trans. Control. Syst. Technol. 26 (6) (2018)
Dan You, ShouGuang Wang, MengChu Zhou
Computation of strict minimal siphons in a class of Petri nets based on problem decomposition. Inf. Sci. 409 (2017)
Miao Liu, ShouGuang Wang, MengChu Zhou, Ding Liu, Abdulrahman Al-Ahmari, Ting Qu, Naiqi Wu, ZhiWu Li
Deadlock and liveness characterization for a class of generalized Petri nets. Inf. Sci. 420 (2017)
ShouGuang Wang, Dan You, MengChu Zhou
A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR. IEEE Trans. Autom. Control. 62 (8) (2017)
Miao Liu, ShouGuang Wang, Tasawar Hayat, Ahmed Alsaedi, ZhiWu Li
A resource configuration method for liveness of a class of Petri nets. IMA J. Math. Control. Inf. 33 (4) (2016)
Dan You, ShouGuang Wang, Carla Seatzu
A new linear constraint transformation approach for Petri nets with uncontrollable transitions. WODES (2016)
ShouGuang Wang, Dan You, Chengying Wang
Optimal supervisor synthesis for petri nets with uncontrollable transitions: A bottom-up algorithm. Inf. Sci. 363 (2016)
ShouGuang Wang, MengChu Zhou, Mengdi Gan, Dan You, Yue Li
New reachability trees for unbounded Petri nets. ICRA (2015)
ShouGuang Wang, Mengdi Gan, MengChu Zhou
Macro liveness graph and liveness of ω-independent unbounded nets. Sci. China Inf. Sci. 58 (3) (2015)
ShouGuang Wang, Wenhui Wu, Jing Yang
Deadlock prevention policy for a class of petri nets based on complementary places and elementary siphons. J. Intell. Manuf. 26 (2) (2015)
ShouGuang Wang, Carla Seatzu, Lingyun Huang
PR nets. CASE (2015)
ShouGuang Wang, Dan You, Carla Seatzu, Alessandro Giua
Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning. CDC (2015)
ShouGuang Wang, Dan You, MengChu Zhou, Carla Seatzu
Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions. CoRR (2015)
ShouGuang Wang, Dan You, MengChu Zhou
Controllability of complex siphons for deadlock prevention in Systems of Simple Sequential Processes with Resources. ICRA (2015)
Zuohua Ding, MengChu Zhou, ShouGuang Wang
Ordinary Differential Equation-Based Deadlock Detection. IEEE Trans. Syst. Man Cybern. Syst. 44 (10) (2014)
ShouGuang Wang, Miao Liu
PR" [Automatica 46 (2010) 1008-1018]. Autom. 50 (8) (2014)
Yue Li, ShouGuang Wang, Jing Yang
A new reachability tree for unbounded Petri nets. ICCA (2013)
ShouGuang Wang, Chengying Wang, MengChu Zhou
Design of Optimal Monitor-Based Supervisors for a Class of Petri Nets With Uncontrollable Transitions. IEEE Trans. Syst. Man Cybern. Syst. 43 (5) (2013)
XuanXuan Guan, ShouGuang Wang, Lida Dong, Jing Yang
New controllability condition for WS3PR nets. ICCA (2013)
ShouGuang Wang, MengChu Zhou, ZhiWu Li, Chengying Wang
A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 43 (4) (2013)
ShouGuang Wang, Chengying Wang, MengChu Zhou
Controllability Conditions of Resultant Siphons in a Class of Petri Nets. IEEE Trans. Syst. Man Cybern. Part A 42 (5) (2012)
ShouGuang Wang, Chengying Wang, MengChu Zhou, ZhiWu Li
A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets. IEEE Trans. Syst. Man Cybern. Part A 42 (1) (2012)
ShouGuang Wang, Chengying Wang, MengChu Zhou
A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions. ICRA (2011)
ShouGuang Wang, Chengying Wang, MengChu Zhou
Optimal siphon-based deadlock prevention policy for a class of Petri nets in automation. SMC (2011)
ShouGuang Wang, MengChu Zhou, Chengying Wang
Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets. CASE (2011)
ShouGuang Wang, Chengying Wang, MengChu Zhou
Necessary and sufficient conditions for resultant siphons to be controlled. ACC (2011)
ShouGuang Wang, Chengying Wang, Yanping Yu
An algorithm to find the condition on initial markings of resource places and job places for liveness of S3PMR. ICCA (2010)