Segui
Shouguang Wang
Shouguang Wang
Zhejiang Gongshang Univeristy
Email verificata su zjgsu.edu.cn - Home page
Titolo
Citata da
Citata da
Anno
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
1062017
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
1022011
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
982020
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
762011
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
632017
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
612017
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
592013
A Siphon-Based Deadlock Prevention Strategy for S3PR
X Guo, S Wang, D You, Z Li, X Jiang
IEEE Access 7, 86863-86873, 2019
562019
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
532013
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
432017
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
432014
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
402015
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
382015
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
302020
Synthesis of Monitor-Based Liveness-Enforcing Supervisors for PR With -Resources
D You, S Wang, M Zhou
IEEE Transactions on Systems, Man, and Cybernetics: Systems 45 (6), 967-975, 2015
292015
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
292015
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
282019
Macro liveness graph and liveness of ω-independent unbounded nets
SG Wang, MD Gan, MC Zhou
Science China. Information Sciences 58 (3), 1-10, 2015
282015
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
262017
A deadlock prevention policy for a class of multithreaded software
W Duo, X Jiang, O Karoui, X Guo, D You, S Wang, Y Ruan
IEEE Access 8, 16676-16688, 2020
242020
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20