Shouguang Wang

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 36

Top Topics

Linear Constraints

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

IEEE CAA J. Autom. Sinica

Publications

Hui Yu, Kaizhou Gao, Naiqi Wu, MengChu Zhou, Ponnuthurai N. Suganthan, Shouguang Wang
Scheduling Multiobjective Dynamic Surgery Problems via Q-Learning-Based Meta-Heuristics. IEEE Trans. Syst. Man Cybern. Syst. 54 (6) (2024)
Ning Ran, Tingting Li, Shouguang Wang, Zhou He
Supervisor Synthesis for Petri Nets With Uncontrollable and Unobservable Transitions. IEEE Trans Autom. Sci. Eng. 21 (2) (2024)
Hao Dou, MengChu Zhou, Shouguang Wang, Aiiad Albeshri
An Efficient Liveness Analysis Method for Petri Nets via Maximally Good-Step Graphs. IEEE Trans. Syst. Man Cybern. Syst. 54 (7) (2024)
Dan You, Shouguang Wang
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks. IEEE CAA J. Autom. Sinica 11 (1) (2024)
Li Huang, MengChu Zhou, Hua Han, Shouguang Wang, Aiiad Albeshri
Learning-Inspired Immune Algorithm for Multiobjective-Optimized Multirobot Maritime Patrolling. IEEE Internet Things J. 11 (6) (2024)
Yangming Zhou, Xiaze Zhang, Na Geng, Zhibin Jiang, Shouguang Wang, Mengchu Zhou
Frequent Itemset-Driven Search for Finding Minimal Node Separators and its Application to Air Transportation Network Analysis. IEEE Trans. Intell. Transp. Syst. 24 (8) (2023)
Wenli Duo, Shouguang Wang, MengChu Zhou, Dan You, Remigiusz Wisniewski, Grzegorz Bazydlo
Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks. ICNSC (2023)
Dan You, Oussama Karoui, Shouguang Wang
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches. IEEE CAA J. Autom. Sinica 9 (2) (2022)
Dan You, Shouguang Wang, Carla Seatzu
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks. IEEE Trans. Syst. Man Cybern. Syst. 52 (4) (2022)
Dan You, Shouguang Wang, Carla Seatzu
Generalized Current-State Opacity With Dynamically Changing Secrets. CoRR (2021)
Shouguang Wang, Wenli Duo, Xin Guo, Xiaoning Jiang, Dan You, Kamel Barkaoui, MengChu Zhou
Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming. IEEE CAA J. Autom. Sinica 8 (1) (2021)
Ye Guo, Xiaoning Jiang, Chen Guo, Shouguang Wang, Oussama Karoui
Overview of Opacity in Discrete Event Systems. IEEE Access 8 (2020)
Yao Jiahao, Xiaoning Jiang, Shouguang Wang, Kelei Jiang, Xiaohan Yu
SVM-BiLSTM: A Fault Detection Method for the Gas Station IoT System Based on Deep Learning. IEEE Access 8 (2020)
Liwei Cao, Xiaoning Jiang, Yumei Zhao, Shouguang Wang, Dan You, Xianli Xu
A Survey of Network Attacks on Cyber-Physical Systems. IEEE Access 8 (2020)
Wenli Duo, Xiaoning Jiang, Oussama Karoui, Xin Guo, Dan You, Shouguang Wang, Yuan Ruan
A Deadlock Prevention Policy for a Class of Multithreaded Software. IEEE Access 8 (2020)
Xin Guo, Shouguang Wang, Dan You, Zhifu Li, Xiaoning Jiang
PR. IEEE Access 7 (2019)
Ning Ran, Jinyuan Hao, Zijian Dong, Zhou He, Zhiheng Liu, Yuan Ruan, Shouguang Wang
K-Codiagnosability Verification of Labeled Petri Nets. IEEE Access 7 (2019)
Qiaoli Zhuang, Wenzhan Dai, Shouguang Wang, Jingjing Du, Qiuhong Tian
An MIP-Based Deadlock Prevention Policy for Siphon Control. IEEE Access 7 (2019)
Qiaoli Zhuang, Dan You, Wenzhan Dai, Shouguang Wang, Jingiing Du
An iterative Deadlock Prevention Policy Based on siphons. ICNSC (2019)
Hao Dou, Kamel Barkaoui, Hanifa Boucheneb, Xiaoning Jiang, Shouguang Wang
Maximal Good Step Graph Methods for Reducing the Generation of the State Space. IEEE Access 7 (2019)
Wentai Zheng, Yuyue Du, Shouguang Wang, Liang Qi
Repair Process Models Containing Non-Free-Choice Structures Based on Logic Petri Nets. IEEE Access 7 (2019)
Qiaoli Zhuang, Wenzhan Dai, Shouguang Wang, Fan Ning
PR Nets Based on Siphon. IEEE Access 6 (2018)
Dan You, Shouguang Wang, Hao Dou, Wenli Duo
A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets. IEEE Access 6 (2018)
Shouguang Wang, Dan You, Mengchu Zhou
New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets. Sci. China Inf. Sci. 61 (12) (2018)
Dan You, Shouguang Wang, Wenhui Wu
An Algorithm of Recognizing Unbounded Petri Nets With Semilinear Reachability Sets and Constructing Their Reachability Trees. IEEE Access 6 (2018)
Li Yin, Zhiwu Li, Naiqi Wu, Shouguang Wang, Ting Qu
Fault Diagnosis in Partially Observed Petri Nets Using Redundancies. IEEE Access 6 (2018)
Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu
Liveness Enforcement for a Class of Petri Nets via Resource Allocation. SMC (2018)
Ning Ran, Shouguang Wang, Wenhui Wu
Event Feedback Supervision for a Class of Petri Nets With Unobservable Transitions. IEEE Access 6 (2018)
Dan You, Shouguang Wang, Wenzhan Dai, Wenhui Wu, Yongshu Jia
An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets. IEEE Access 6 (2018)
Shouguang Wang, Dan You, Carla Seatzu
A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions. IEEE Trans. Syst. Man Cybern. Syst. 48 (8) (2018)
Dan You, Shouguang Wang, Zhiwu Li, Chengying Wang
Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions. IEEE Access 5 (2017)
Ning Ran, Shouguang Wang, Hongye Su
Comments on "Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis". IEEE Trans. Autom. Control. 62 (5) (2017)
Ning Ran, Hongye Su, Shouguang Wang
An improved approach to test diagnosability of bounded petri nets. IEEE CAA J. Autom. Sinica 4 (2) (2017)
Dan You, Shouguang Wang, Wenzhan Dai, Wenhui Wu
PR. SMC (2017)
Ning Ran, Shouguang Wang, Hongye Su, Chengying Wang
Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions. IMA J. Math. Control. Inf. 34 (2) (2017)
Shouguang Wang, Dan You, MengChu Zhou, Carla Seatzu
Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions. IEEE Trans. Autom. Control. 61 (7) (2016)
Jiliang Luo, Huijuan Ni, Weimin Wu, Shouguang Wang, Mengchu Zhou
Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis. IEEE Trans. Autom. Control. 60 (1) (2015)
Ning Ran, Hongye Su, Weimin Wu, Shouguang Wang, Huixia Liu
Optimal monitor-based supervisor sythesis for a class of Petri nets with unobservable transitions. ICNSC (2015)
Dan You, Shouguang Wang, Mengchu Zhou
PR With ξ-Resources. IEEE Trans. Syst. Man Cybern. Syst. 45 (6) (2015)
Fan Ning, Xingxing Li, Shouguang Wang, Qiaoli Zhuang
A Method Based on Depth-first Search to Compute All Minimal Siphons. J. Softw. 9 (8) (2014)
Shouguang Wang, Jing Yang, Mengchu Zhou
Comments on 'Maximally permissive supervisor synthesis based on a new constraint transformation method'. CoRR (2014)
Shouguang Wang, Chengying Wang, Yanping Yu
Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places. ACM Trans. Embed. Comput. Syst. 12 (1) (2013)
Miao Liu, Shouguang Wang, Zhiwu Li
Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation. J. Appl. Math. 2013 (2013)
Shouguang Wang, Yue Li, Chengying Wang, Mengchu Zhou
Computation of all minimal siphons in Petri nets. ICNSC (2012)
Shouguang Wang, Chengying Wang, Yanping Yu
Comments on "Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems". IEEE Trans. Syst. Man Cybern. Part A 41 (2) (2011)
Shouguang Wang, Chengying Wang, Yanping Yu
PR based on resource circuits. CDC (2010)
Meiqin Liu, Gangfeng Yan, Shouguang Wang
controllers for discrete-time nonlinear systems: an BMI approach. SMC (6) (2004)
Shouguang Wang, Gangfeng Yan
Synthesis of Petri nets controller for the constraints involving marking vector and Parikh vector. SMC (2) (2004)
Meiqin Liu, Senlin Zhang, Gangfeng Yan, Shouguang Wang
A neural network model and its application. SMC (6) (2004)
Shouguang Wang, Senlin Zhang, Gangfeng Yan
Synthesis of Petri net controller to enforce conjunction of GMEC using observer. SMC (2) (2004)
Shouguang Wang, Gangfeng Yan
Synthesis of Petri net controller based local incidence matrix. SMC (2) (2004)