TONG, YIN

TONG, YIN  

DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA  

Mostra records
Risultati 1 - 19 di 19 (tempo di esecuzione: 0.031 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets 1-gen-2023 Li, Y.; Tong, Y.; Demuro, M.; Giua, A. - -
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker 1-gen-2022 Tong, Y; Wang, Yc; Giua, A IEEE CONTROL SYSTEMS LETTERS -
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions 1-gen-2022 Lan, H; Tong, Y; Seatzu, C IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING -
Verification of -step and infinite-step opacity of bounded labeled Petri nets 1-gen-2022 Tong, Yin; Lan, Hao; Seatzu, Carla AUTOMATICA -
Analysis of strong and strong periodic detectability of bounded labeled Petri nets 1-gen-2021 Lan, H; Tong, Y; Seatzu, C NONLINEAR ANALYSIS -
Comments on “A new approach for the verification of infinite-step and K-step opacity using two-way observers” [Automatica 80 (2017) 162–171] 1-gen-2020 Lan, H.; Tong, Y.; Guo, J.; Giua, A. AUTOMATICA -
Detection and Prevention of Cyber-Attacks in Networked Control Systems 1-gen-2020 Li, Y.; Tong, Y.; Giua, A. - ELSEVIER
Verification of C-detectability using Petri nets 1-gen-2020 Lan, H.; Tong, Y.; Guo, J.; Seatzu, C. INFORMATION SCIENCES -
Current-state opacity enforcement in discrete event systems under incomparable observations 1-gen-2018 Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro DISCRETE EVENT DYNAMIC SYSTEMS -
Decentralized Opacity Enforcement in Discrete Event Systems Using Supervisory Control 1-gen-2018 Tong, Yin; Cai, Kai; Giua, Alessandro - IEEE (Institute of Electrical and Electronics Engineers)
PetriBaR: A MATLAB Toolbox for Petri Nets Implementing Basis Reachability Approaches 1-gen-2018 Liu, Siqi; Tong, Yin; Seatzu, Carla; Giua, Alessandro - -
Basis marking representation of Petri net reachability spaces and its application to the reachability problem 1-gen-2017 Ma, Ziyue; Tong, Yin; Li, Zhiwu; Giua, Alessandro IEEE TRANSACTIONS ON AUTOMATIC CONTROL -
Decidability of opacity verification problems in labeled Petri net systems 1-gen-2017 Tong, Y; Li, Z; Seatzu, Carla; Giua, Alessandro AUTOMATICA -
Marking Estimation in Labelled Petri nets by the Representative Marking Graph 1-gen-2017 Ma, Ziyue; Tong, Yin; Li, Zhiwu; Giua, Alessandro - Elsevier B.V.
Observation Structures and Opacity Problems in Discrete Event Systems 9-giu-2017 - - Università degli Studi di Cagliari
Verification of State-Based Opacity Using Petri Nets 1-gen-2017 Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro IEEE TRANSACTIONS ON AUTOMATIC CONTROL -
On the Equivalence of Observation Structures for Petri Net Generators 1-gen-2016 Tong, Y; Li, Z; Giua, Alessandro IEEE TRANSACTIONS ON AUTOMATIC CONTROL -
Observation Equivalence of Petri Net Generators 1-gen-2014 Tong, Y; Li, Z; Giua, Alessandro - -
General Observation Structures for Petri Nets 1-gen-2013 Tong, Y; Li, Zhiwu; Giua, A - -