Concepedia

Yin Tong

YT

28

Publications

1K

Citations

14

H-Index

2015

Active since

Affiliations

University of Cagliari(Current)

Southwest Jiaotong University

Xidian University

Université de Toulon

Centre National de la Recherche Scientifique

Yin Tong is an author at University of Cagliari specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringVerificationComputer EngineeringProcess ControlAutomated ReasoningInformation Security

Publications per year

2015–2024

28

Publications

28

Verification of State-Based Opacity Using Petri Nets

Yin Tong, Zhiwu Li, Carla Seatzu et al. · IEEE Transactions on Automatic Control · 2016 · 269 citations · Full text

Petri Net, Engineering, Reachability Problem +19

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem

Ziyue Ma, Yin Tong, Zhiwu Li et al. · IEEE Transactions on Automatic Control · 2016 · 139 citations · Full text

Petri Net, Reachability Analysis, Engineering +14

Current-state opacity enforcement in discrete event systems under incomparable observations

Yin Tong, Zhiwu Li, Carla Seatzu et al. · Discrete Event Dynamic Systems · 2017 · 108 citations

Engineering, Discrete Event System, State Observer +9

On the Equivalence of Observation Structures for Petri Net Generators

Yin Tong, Zhiwu Li, Alessandro Giua · IEEE Transactions on Automatic Control · 2015 · 72 citations

Petri Net, Engineering, Reachability Problem +12

Decidability of opacity verification problems in labeled Petri net systems

Yin Tong, Zhiwu Li, Carla Seatzu et al. · Automatica · 2017 · 66 citations · Full text

Petri Net, Opacity Verification Problems, Engineering +9

Rows per page

1–5 of 28