A Survey Of Network Attacks On Cyber-Physical Systems
Cao, Liwei, Jiang, Xiaoning, Zhao, Yumei, Wang, Shouguang, You, Dan, Xu, Xianli
Published in IEEE access (01.01.2020)
Published in IEEE access (01.01.2020)
Get full text
Journal Article
Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions
Shouguang Wang, Dan You, MengChu Zhou, Seatzu, Carla
Published in IEEE transactions on automatic control (01.07.2016)
Published in IEEE transactions on automatic control (01.07.2016)
Get full text
Journal Article
Analysis of the Abutment Movements of High Arch Dams due to Reservoir Impoundment
Wang, Shouguang, Liu, Yaoru, Yang, Qiang, Wang, Xingwang
Published in Rock mechanics and rock engineering (01.05.2020)
Published in Rock mechanics and rock engineering (01.05.2020)
Get full text
Journal Article
Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis
Luo, Jiliang, Ni, Huijuan, Wu, Weimin, Wang, Shouguang, Zhou, Mengchu
Published in IEEE transactions on automatic control (01.01.2015)
Published in IEEE transactions on automatic control (01.01.2015)
Get full text
Journal Article
An improved approach to test diagnosability of bounded petri nets
Ran, Ning, Su, Hongye, Wang, Shouguang
Published in IEEE/CAA journal of automatica sinica (01.04.2017)
Published in IEEE/CAA journal of automatica sinica (01.04.2017)
Get full text
Journal Article
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches
You, Dan, Karoui, Oussama, Wang, Shouguang
Published in IEEE/CAA journal of automatica sinica (01.02.2022)
Published in IEEE/CAA journal of automatica sinica (01.02.2022)
Get full text
Journal Article
A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR
Wang, ShouGuang, You, Dan, Zhou, MengChu
Published in IEEE transactions on automatic control (01.08.2017)
Published in IEEE transactions on automatic control (01.08.2017)
Get full text
Journal Article
A Deadlock Prevention Policy for a Class of Multithreaded Software
Duo, Wenli, Jiang, Xiaoning, Karoui, Oussama, Guo, Xin, You, Dan, Wang, Shouguang, Ruan, Yuan
Published in IEEE access (2020)
Published in IEEE access (2020)
Get full text
Journal Article
Fluid Inclusion, H-O, S, Pb and noble gas isotope studies of the Aerhada Pb-Zn-Ag deposit, Inner Mongolia, NE China
Ke, Liangliang, Zhang, Hongyu, Liu, Jiajun, Zhai, Degao, Guo, Donghang, Yang, Jiekun, Tan, Qiang, Xu, Yongwang, Zhang, Mei, Wang, Shouguang
Published in Ore geology reviews (01.08.2017)
Published in Ore geology reviews (01.08.2017)
Get full text
Journal Article
SVM-BiLSTM: A Fault Detection Method for the Gas Station IoT System Based on Deep Learning
Jiahao, Yao, Jiang, Xiaoning, Wang, Shouguang, Jiang, Kelei, Yu, Xiaohan
Published in IEEE access (2020)
Published in IEEE access (2020)
Get full text
Journal Article
Macro liveness graph and liveness of ω-independent unbounded nets
Wang, ShouGuang, Gan, MengDi, Zhou, MengChu
Published in Science China. Information sciences (01.03.2015)
Published in Science China. Information sciences (01.03.2015)
Get full text
Journal Article
A Reduced Reachability Tree for a Class of Unbounded Petri Nets
Wang, Shouguang, Gan, Mengdi, Zhou, Mengchu, You, Dan
Published in IEEE/CAA journal of automatica sinica (10.10.2015)
Published in IEEE/CAA journal of automatica sinica (10.10.2015)
Get full text
Journal Article
Case Report: Small Bowel Obstruction Owing to Self-Anchoring Barbed Suture Device After TAPP Repair
Zheng, Longbo, Yin, Xiangyi, Liu, Huasheng, Wang, Shouguang, Hu, Jilin
Published in Frontiers in surgery (11.02.2021)
Published in Frontiers in surgery (11.02.2021)
Get full text
Journal Article