TONG, YIN
TONG, YIN
DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems
2024-01-01 Ma, Z.; Tong, Y.; Seatzu, C.
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets
2023-01-01 Li, Y.; Tong, Y.; Demuro, M.; Giua, A.
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker
2022-01-01 Tong, Y; Wang, Yc; Giua, A
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions
2022-01-01 Lan, H; Tong, Y; Seatzu, C
Verification of -step and infinite-step opacity of bounded labeled Petri nets
2022-01-01 Tong, Yin; Lan, Hao; Seatzu, Carla
Analysis of strong and strong periodic detectability of bounded labeled Petri nets
2021-01-01 Lan, H; Tong, Y; Seatzu, C
Comments on “A new approach for the verification of infinite-step and K-step opacity using two-way observers” [Automatica 80 (2017) 162–171]
2020-01-01 Lan, H.; Tong, Y.; Guo, J.; Giua, A.
Detection and Prevention of Cyber-Attacks in Networked Control Systems
2020-01-01 Li, Y.; Tong, Y.; Giua, A.
Verification of C-detectability using Petri nets
2020-01-01 Lan, H.; Tong, Y.; Guo, J.; Seatzu, C.
Current-state opacity enforcement in discrete event systems under incomparable observations
2018-01-01 Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro
Decentralized Opacity Enforcement in Discrete Event Systems Using Supervisory Control
2018-01-01 Tong, Yin; Cai, Kai; Giua, Alessandro
PetriBaR: A MATLAB Toolbox for Petri Nets Implementing Basis Reachability Approaches
2018-01-01 Liu, Siqi; Tong, Yin; Seatzu, Carla; Giua, Alessandro
Basis marking representation of Petri net reachability spaces and its application to the reachability problem
2017-01-01 Ma, Ziyue; Tong, Yin; Li, Zhiwu; Giua, Alessandro
Decidability of opacity verification problems in labeled Petri net systems
2017-01-01 Tong, Y; Li, Z; Seatzu, Carla; Giua, Alessandro
Marking Estimation in Labelled Petri nets by the Representative Marking Graph
2017-01-01 Ma, Ziyue; Tong, Yin; Li, Zhiwu; Giua, Alessandro
Observation Structures and Opacity Problems in Discrete Event Systems
2017-06-09
Verification of State-Based Opacity Using Petri Nets
2017-01-01 Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro
On the Equivalence of Observation Structures for Petri Net Generators
2016-01-01 Tong, Y; Li, Z; Giua, Alessandro
Observation Equivalence of Petri Net Generators
2014-01-01 Tong, Y; Li, Z; Giua, Alessandro
General Observation Structures for Petri Nets
2013-01-01 Tong, Y; Li, Zhiwu; Giua, A