A survey of network attacks on cyber-physical systems L Cao, X Jiang, Y Zhao, S Wang, D You, X Xu
IEEE Access 8, 44219-44227, 2020
118 2020 A necessary and sufficient condition for a resource subset to generate a strict minimal siphon in S 4PR SG Wang, D You, MC Zhou
IEEE Transactions on Automatic Control 62 (8), 4173-4179, 2017
109 2017 A method to compute strict minimal siphons in a class of Petri nets based on loop resource subsets SG Wang, CY Wang, MC Zhou, ZW Li
IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2011
103 2011 Controllability conditions of resultant siphons in a class of Petri nets SG Wang, CY Wang, MC Zhou
IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2011
77 2011 A novel approach for constraint transformation in Petri nets with uncontrollable transitions S Wang, D You, C Seatzu
IEEE Transactions on Systems, Man, and Cybernetics: Systems 48 (8), 1403-1410, 2017
67 2017 A new modified reachability tree approach and its applications to unbounded Petri nets SG Wang, MC Zhou, ZW Li, CY Wang
IEEE Transactions on systems, man, and cybernetics: systems 43 (4), 932-940, 2013
63 2013 An improved approach to test diagnosability of bounded Petri nets N Ran, H Su, S Wang
IEEE/CAA Journal of Automatica Sinica 4 (2), 297-303, 2017
60 2017 A Siphon-Based Deadlock Prevention Strategy for S3 PR X Guo, S Wang, D You, Z Li, X Jiang
IEEE Access 7, 86863-86873, 2019
58 2019 Design of optimal monitor-based supervisors for a class of Petri nets with uncontrollable transitions SG Wang, CY Wang, MC Zhou
IEEE Transactions on Systems, Man, and Cybernetics: Systems 43 (5), 1248-1255, 2013
54 2013 An approach for enumerating minimal siphons in a subclass of Petri nets D You, S Wang, W Dai, W Wu, Y Jia
IEEE Access 6, 4255-4265, 2017
43 2017 Simultaneous reduction of Petri nets and linear constraints for efficient supervisor synthesis J Luo, H Ni, W Wu, S Wang, M Zhou
IEEE Transactions on Automatic Control 60 (1), 88-103, 2014
43 2014 A reduced reachability tree for a class of unbounded Petri nets S Wang, M Gan, M Zhou, D You
IEEE/CAA Journal of Automatica Sinica 2 (4), 345-352, 2015
40 2015 Characterization of admissible marking sets in Petri nets with uncontrollable transitions S Wang, D You, MC Zhou, C Seatzu
IEEE Transactions on Automatic Control 61 (7), 1953-1958, 2015
38 2015 Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming S Wang, W Duo, X Guo, X Jiang, D You, K Barkaoui, MC Zhou
IEEE/CAA Journal of Automatica Sinica 8 (1), 219-226, 2020
32 2020 Verification of fault-predictability in labeled Petri nets using predictor graphs D You, SG Wang, C Seatzu
IEEE Transactions on Automatic Control 64 (10), 4353-4360, 2019
30 2019 Synthesis of Monitor-Based Liveness-Enforcing Supervisors for D You, S Wang, M Zhou
IEEE Transactions on Systems, Man, and Cybernetics: Systems 45 (6), 967-975, 2015
30 2015 Design of a maximally permissive liveness‐enforcing supervisor with reduced complexity for automated manufacturing systems SG Wang, MC Zhou, WH Wu
Asian Journal of Control 17 (1), 190-201, 2015
30 2015 Supervisory control of Petri nets in the presence of replacement attacks D You, SG Wang, MC Zhou, C Seatzu
IEEE Transactions on Automatic Control 67 (3), 1466-1473, 2021
28 2021 Macro liveness graph and liveness of ω-independent unbounded nets SG Wang, MD Gan, MC Zhou
Science China. Information Sciences 58 (3), 1-10, 2015
28 2015 Fault diagnosis for discrete event systems modeled by bounded Petri nets N Ran, S Wang, H Su, C Wang
Asian Journal of Control 19 (4), 1532-1541, 2017
27 2017 
MengChu ZhouZGSU/NJITDirección de correo verificada de njit.edu