default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShouGuang Wang
Shouguang Wang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j56]Dan You
, Shouguang Wang:
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks. IEEE CAA J. Autom. Sinica 11(1): 240-248 (2024)- [j55]Zizhang Qiu, Shouguang Wang, Dan You, MengChu Zhou:
Bridge Bidding via Deep Reinforcement Learning and Belief Monte Carlo Search. IEEE CAA J. Autom. Sinica 11(10): 2111-2122 (2024) - [j54]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): 9870-9881 (2024) - [j53]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): 1517-1525 (2024) - [j52]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): 3321-3333 (2024) - [j51]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): 3908-3919 (2024) - 2023
- [j50]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): 8348-8360 (2023) - [j49]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): 191-203 (2023) - [c25]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: 1-6 - 2022
- [j48]Dan You, Oussama Karoui, Shouguang Wang:
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches. IEEE CAA J. Autom. Sinica 9(2): 329-338 (2022) - [j47]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): 1466-1473 (2022) - [j46]Dan You, Shouguang Wang, Carla Seatzu:
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks. IEEE Trans. Syst. Man Cybern. Syst. 52(4): 2398-2411 (2022) - 2021
- [j45]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): 219-226 (2021) - [i3]Dan You, Shouguang Wang, Carla Seatzu:
Generalized Current-State Opacity With Dynamically Changing Secrets. CoRR abs/2103.00234 (2021) - 2020
- [j44]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: 16676-16688 (2020) - [j43]Liwei Cao, Xiaoning Jiang, Yumei Zhao, Shouguang Wang, Dan You, Xianli Xu:
A Survey of Network Attacks on Cyber-Physical Systems. IEEE Access 8: 44219-44227 (2020) - [j42]Ye Guo, Xiaoning Jiang, Chen Guo, Shouguang Wang, Oussama Karoui:
Overview of Opacity in Discrete Event Systems. IEEE Access 8: 48731-48741 (2020) - [j41]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: 203712-203723 (2020)
2010 – 2019
- 2019
- [j40]Xin Guo, Shouguang Wang, Dan You, Zhifu Li, Xiaoning Jiang:
A Siphon-Based Deadlock Prevention Strategy for S3PR. IEEE Access 7: 86863-86873 (2019) - [j39]Wentai Zheng, Yuyue Du, Shouguang Wang, Liang Qi:
Repair Process Models Containing Non-Free-Choice Structures Based on Logic Petri Nets. IEEE Access 7: 105132-105145 (2019) - [j38]Qiaoli Zhuang, Wenzhan Dai, Shouguang Wang, Jingjing Du, Qiuhong Tian:
An MIP-Based Deadlock Prevention Policy for Siphon Control. IEEE Access 7: 153782-153790 (2019) - [j37]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: 155805-155817 (2019) - [j36]Ning Ran, Jinyuan Hao, Zijian Dong, Zhou He, Zhiheng Liu, Yuan Ruan, Shouguang Wang:
K-Codiagnosability Verification of Labeled Petri Nets. IEEE Access 7: 185055-185062 (2019) - [j35]Dan You, ShouGuang Wang, Carla Seatzu:
Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions. Inf. Sci. 501: 635-654 (2019) - [j34]Dan You, ShouGuang Wang, Carla Seatzu:
Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs. IEEE Trans. Autom. Control. 64(10): 4353-4360 (2019) - [c24]Qiaoli Zhuang, Dan You, Wenzhan Dai, Shouguang Wang, Jingiing Du:
An iterative Deadlock Prevention Policy Based on siphons. ICNSC 2019: 242-246 - 2018
- [j33]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: 4255-4265 (2018) - [j32]Ning Ran, Shouguang Wang, Wenhui Wu:
Event Feedback Supervision for a Class of Petri Nets With Unobservable Transitions. IEEE Access 6: 6920-6926 (2018) - [j31]Li Yin, Zhiwu Li, Naiqi Wu, Shouguang Wang, Ting Qu:
Fault Diagnosis in Partially Observed Petri Nets Using Redundancies. IEEE Access 6: 7541-7556 (2018) - [j30]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: 43732-43742 (2018) - [j29]Dan You, Shouguang Wang, Hao Dou, Wenli Duo:
A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets. IEEE Access 6: 48577-48587 (2018) - [j28]Qiaoli Zhuang, Wenzhan Dai, Shouguang Wang, Fan Ning:
Deadlock Prevention Policy for S4PR Nets Based on Siphon. IEEE Access 6: 50648-50658 (2018) - [j27]Shouguang Wang, Dan You, Mengchu Zhou:
New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets. Sci. China Inf. Sci. 61(12): 129104:1-129104:3 (2018) - [j26]Mengdi Gan, ShouGuang Wang, Zhijun Ding, MengChu Zhou, Wenhui Wu:
An Improved Mixed-Integer Programming Method to Compute Emptiable Minimal Siphons in S3PR Nets. IEEE Trans. Control. Syst. Technol. 26(6): 2135-2140 (2018) - [j25]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): 1403-1410 (2018) - [c23]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: 4369-4374 - 2017
- [j24]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: 6780-6790 (2017) - [j23]Ning Ran, Hongye Su, Shouguang Wang:
An improved approach to test diagnosability of bounded petri nets. IEEE CAA J. Autom. Sinica 4(2): 297-303 (2017) - [j22]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): 565-577 (2017) - [j21]Dan You, ShouGuang Wang, MengChu Zhou:
Computation of strict minimal siphons in a class of Petri nets based on problem decomposition. Inf. Sci. 409: 87-100 (2017) - [j20]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: 403-416 (2017) - [j19]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): 2603-2606 (2017) - [j18]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): 4173-4179 (2017) - [c22]Dan You, Shouguang Wang, Wenzhan Dai, Wenhui Wu:
Approach for minimal-siphon computation in S4PR. SMC 2017: 3733-3738 - 2016
- [j17]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): 933-950 (2016) - [j16]ShouGuang Wang, Dan You, Chengying Wang:
Optimal supervisor synthesis for petri nets with uncontrollable transitions: A bottom-up algorithm. Inf. Sci. 363: 261-273 (2016) - [j15]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): 1953-1958 (2016) - [c21]Mengdi Gan, Zhijun Ding, Shouguang Wang, Wenhui Wu, Mengchu Zhou:
Deadlock control of multithreaded software based on Petri nets: A brief review. ICNSC 2016: 1-5 - [c20]Dan You, ShouGuang Wang, Carla Seatzu:
A new linear constraint transformation approach for Petri nets with uncontrollable transitions. WODES 2016: 258-263 - 2015
- [j14]ShouGuang Wang, Mengdi Gan, MengChu Zhou:
Macro liveness graph and liveness of ω-independent unbounded nets. Sci. China Inf. Sci. 58(3): 1-10 (2015) - [j13]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): 321-330 (2015) - [j12]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): 88-103 (2015) - [j11]Dan You, Shouguang Wang, Mengchu Zhou:
Synthesis of Monitor-Based Liveness-Enforcing Supervisors for 𝕊3 PR With ξ-Resources. IEEE Trans. Syst. Man Cybern. Syst. 45(6): 967-975 (2015) - [c19]ShouGuang Wang, Carla Seatzu, Lingyun Huang:
A three-stage deadlock prevention strategy for S3PR nets. CASE 2015: 286-291 - [c18]ShouGuang Wang, Dan You, Carla Seatzu, Alessandro Giua:
Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning. CDC 2015: 356-361 - [c17]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: 498-502 - [c16]ShouGuang Wang, Dan You, MengChu Zhou:
Controllability of complex siphons for deadlock prevention in Systems of Simple Sequential Processes with Resources. ICRA 2015: 3820-3825 - [c15]ShouGuang Wang, MengChu Zhou, Mengdi Gan, Dan You, Yue Li:
New reachability trees for unbounded Petri nets. ICRA 2015: 3862-3867 - [i2]ShouGuang Wang, Dan You, MengChu Zhou, Carla Seatzu:
Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions. CoRR abs/1501.04777 (2015) - 2014
- [j10]ShouGuang Wang, Miao Liu:
Comments on "Liveness of an extended S3PR" [Automatica 46 (2010) 1008-1018]. Autom. 50(8): 2199-2200 (2014) - [j9]Fan Ning, Xingxing Li, Shouguang Wang, Qiaoli Zhuang:
A Method Based on Depth-first Search to Compute All Minimal Siphons. J. Softw. 9(8): 2148-2153 (2014) - [j8]Zuohua Ding, MengChu Zhou, ShouGuang Wang:
Ordinary Differential Equation-Based Deadlock Detection. IEEE Trans. Syst. Man Cybern. Syst. 44(10): 1435-1454 (2014) - [i1]Shouguang Wang, Jing Yang, Mengchu Zhou:
Comments on 'Maximally permissive supervisor synthesis based on a new constraint transformation method'. CoRR abs/1406.6591 (2014) - 2013
- [j7]Miao Liu, Shouguang Wang, Zhiwu Li:
Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation. J. Appl. Math. 2013: 315894:1-315894:11 (2013) - [j6]Shouguang Wang, Chengying Wang, Yanping Yu:
Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places. ACM Trans. Embed. Comput. Syst. 12(1): 2:1-2:18 (2013) - [j5]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): 932-940 (2013) - [j4]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): 1248-1255 (2013) - [c14]XuanXuan Guan, ShouGuang Wang, Lida Dong, Jing Yang:
New controllability condition for WS3PR nets. ICCA 2013: 1290-1295 - [c13]Yue Li, ShouGuang Wang, Jing Yang:
A new reachability tree for unbounded Petri nets. ICCA 2013: 1296-1301 - 2012
- [j3]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): 226-237 (2012) - [j2]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): 1206-1215 (2012) - [c12]Shouguang Wang, Yue Li, Chengying Wang, Mengchu Zhou:
Computation of all minimal siphons in Petri nets. ICNSC 2012: 46-51 - 2011
- [j1]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): 338-340 (2011) - [c11]ShouGuang Wang, Chengying Wang, MengChu Zhou:
Necessary and sufficient conditions for resultant siphons to be controlled. ACC 2011: 4484-4489 - [c10]ShouGuang Wang, MengChu Zhou, Chengying Wang:
Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets. CASE 2011: 399-404 - [c9]ShouGuang Wang, Chengying Wang, MengChu Zhou:
A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions. ICRA 2011: 3745-3750 - [c8]ShouGuang Wang, Chengying Wang, MengChu Zhou:
Optimal siphon-based deadlock prevention policy for a class of Petri nets in automation. SMC 2011: 826-831 - 2010
- [c7]Shouguang Wang, Chengying Wang, Yanping Yu:
A method of computing strict minimal siphons in an S3PR based on resource circuits. CDC 2010: 2785-2790 - [c6]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: 1445-1449
2000 – 2009
- 2004
- [c5]Shouguang Wang, Gangfeng Yan:
Synthesis of Petri nets controller for the constraints involving marking vector and Parikh vector. SMC (2) 2004: 1705-1710 - [c4]Shouguang Wang, Senlin Zhang, Gangfeng Yan:
Synthesis of Petri net controller to enforce conjunction of GMEC using observer. SMC (2) 2004: 1752-1757 - [c3]Shouguang Wang, Gangfeng Yan:
Synthesis of Petri net controller based local incidence matrix. SMC (2) 2004: 1758-1763 - [c2]Meiqin Liu, Senlin Zhang, Gangfeng Yan, Shouguang Wang:
A neural network model and its application. SMC (6) 2004: 5864-5869 - [c1]Meiqin Liu, Gangfeng Yan, Shouguang Wang:
Neural-model based robust H∞ controllers for discrete-time nonlinear systems: an BMI approach. SMC (6) 2004: 5876-5881
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-09-21 23:40 CEST 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:
