Supervisory Control of Petri Nets in the Presence of Replacement Attacks
You, Dan, Wang, ShouGuang, Zhou, MengChu, Seatzu, Carla
Published in IEEE transactions on automatic control (01.03.2022)
Published in IEEE transactions on automatic control (01.03.2022)
Get full text
Journal Article
Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs
You, Dan, Wang, ShouGuang, Seatzu, Carla
Published in IEEE transactions on automatic control (01.10.2019)
Published in IEEE transactions on automatic control (01.10.2019)
Get full text
Journal Article
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
You, Dan, Wang, Shouguang, Seatzu, Carla
Published in IEEE transactions on systems, man, and cybernetics. Systems (01.04.2022)
Published in IEEE transactions on systems, man, and cybernetics. Systems (01.04.2022)
Get full text
Journal Article
Optimal siphon-based deadlock prevention policy for a class of Petri nets in automation
ShouGuang Wang, ChengYing Wang, MengChu Zhou
Published in 2011 IEEE International Conference on Systems, Man, and Cybernetics (01.10.2011)
Published in 2011 IEEE International Conference on Systems, Man, and Cybernetics (01.10.2011)
Get full text
Conference Proceeding
Frequent Itemset-Driven Search for Finding Minimal Node Separators and Its Application to Air Transportation Network Analysis
Zhou, Yangming, Zhang, Xiaze, Geng, Na, Jiang, Zhibin, Wang, Shouguang, Zhou, MengChu
Published in IEEE transactions on intelligent transportation systems (01.08.2023)
Published in IEEE transactions on intelligent transportation systems (01.08.2023)
Get full text
Journal Article
Supervisor Synthesis for Petri Nets With Uncontrollable and Unobservable Transitions
Ran, Ning, Li, Tingting, Wang, Shouguang, He, Zhou
Published in IEEE transactions on automation science and engineering (01.04.2024)
Published in IEEE transactions on automation science and engineering (01.04.2024)
Get full text
Journal Article
Bridge Bidding via Deep Reinforcement Learning and Belief Monte Carlo Search
Qiu, Zizhang, Wang, Shouguang, You, Dan, Zhou, MengChu
Published in IEEE/CAA journal of automatica sinica (01.10.2024)
Published in IEEE/CAA journal of automatica sinica (01.10.2024)
Get full text
Journal Article
New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets
Wang, Shouguang, You, Dan, Zhou, Mengchu
Published in Science China. Information sciences (01.12.2018)
Published in Science China. Information sciences (01.12.2018)
Get full text
Journal Article