Yin Tong

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 40

Top Topics

Discrete Event Systems

State Estimation

Top Venues

IEEE Trans. Autom. Control.

Publications

Ziyue Ma, Yin Tong, Carla Seatzu
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems. IEEE Trans. Autom. Control. 69 (3) (2024)
Zhengyu Zhang, Yin Tong, Graziana Cavone
Automatic Metro Train Regulation Using Adaptive Headway for Large Passenger Flows. CASE (2023)
Yin Tong, Ziyue Ma
Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems. IEEE Trans. Autom. Control. 68 (7) (2023)
Yike Li, Yin Tong, Marco Demuro, Alessandro Giua
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets. ATAED/PN4TT@Petri Nets (2023)
Yin Tong, Wei Xu, Mariagrazia Dotoli, Graziana Cavone
. ACC (2022)
Yin Tong, Hao Lan, Carla Seatzu
Verification of K-step and infinite-step opacity of bounded labeled Petri nets. Autom. 140 (2022)
Hao Lan, Yin Tong, Carla Seatzu
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions. IEEE Trans Autom. Sci. Eng. 19 (2) (2022)
Tao Feng, Jilie Zhang, Yin Tong, Huaguang Zhang
Consensusability and Global Optimality of Discrete-Time Linear Multiagent Systems. IEEE Trans. Cybern. 52 (8) (2022)
Yin Tong, Yucheng Wang, Alessandro Giua
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker. IEEE Control. Syst. Lett. 6 (2022)
Jiate Luo, Yin Tong, Graziana Cavone, Mariagrazia Dotoli
A Service-Oriented Metro Traffic Regulation Method for Improving Operation Performance. ITSC (2021)
Tao Feng, Jilie Zhang, Yin Tong, Huaguang Zhang
Q-learning algorithm in solving consensusability problem of discrete-time multi-agent systems. Autom. 128 (2021)
Yin Tong
Benchmarks of Extended Basis Reachability Graphs. CoRR (2021)
Yin Tong, Jiate Luo, Carla Seatzu
State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations. CDC (2021)
Jiate Luo, Yin Tong, Graziana Cavone, Mariagrazia Dotoli
A Service-oriented Metro Traffic Regulation Method for Improving Operation Performance. CoRR (2021)
Hao Lan, Yin Tong, Jin Guo, Alessandro Giua
Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica 80 (2017) 162-171]. Autom. 122 (2020)
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
Verification of C-detectability using Petri nets. Inf. Sci. 528 (2020)
Yue Yao, Yin Tong, Hao Lan
Initial-State Estimation of Multi-Channel Networked Discrete Event Systems. IEEE Control. Syst. Lett. 4 (4) (2020)
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
Verification of Detectability Using Petri Nets and Detector. CoRR (2019)
Beibei Ru, Jianlong Sun, Qingzheng Kang, Yin Tong, Jiangwen Zhang
A framework for identifying dysregulated chromatin regulators as master regulators in human cancer. Bioinform. 35 (11) (2019)
Yin Tong, Hao Lan, Jin Guo
Verification of Detectability in Labeled Petri Nets. ACC (2019)
Hao Lan, Yin Tong, Carla Seatzu, Jin Guo
Verification of Detectability in Petri Nets Using Verifier Nets. CoRR (2019)
Yike Li, Yin Tong, Jin Guo
Design of the Safety Control Logic for Railway Stations Based on Petri Nets. CAA SAFEPROCESS (2019)
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
Verification of infinite-step and K-step opacity Using Petri Nets. CoRR (2019)
Xintong Chu, Jin Guo, Yin Tong
HAZOP Quantitative Analysis of the Balise Based on the Improved CUOWGA - Sharpley Value. CAA SAFEPROCESS (2019)
Beibei Ru, Ching Ngar Wong, Yin Tong, Jia Yi Zhong, Sophia Shek Wa Zhong, Wai Chung Wu, Ka Chi Chu, Choi Yiu Wong, Chit Ying Lau, Ian Chen, Nam Wai Chan, Jiangwen Zhang
TISIDB: an integrated repository portal for tumor-immune system interactions. Bioinform. 35 (20) (2019)
Beibei Ru, Yin Tong, Jiangwen Zhang
MR4Cancer: a web server prioritizing master regulators for cancer. Bioinform. 35 (4) (2019)
Yin Tong, Hao Lan
Current-State Opacity Verification in Modular Discrete Event Systems. CDC (2019)
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
Verification of C-detectability Using Petri Nets. CoRR (2019)
Hao Lan, Yin Tong, Jin Guo, Yadong Zhang, Yao Li, Chang Rao
A Test Path Generation Method Based on SSM Models. QRS Companion (2018)
Yin Tong, Beibei Ru, Jiangwen Zhang
miRNACancerMAP: an integrative web server inferring miRNA regulation network for cancer. Bioinform. 34 (18) (2018)
Mincong Luo, Yin Tong, Jiachi Liu
Orthogonal Policy Gradient and Autonomous Driving Application. CoRR (2018)
Beibei Ru, Jianlong Sun, Yin Tong, Ching Ngar Wong, Aditi Chandra, Acacia Tsz So Tang, Larry Ka Yue Chow, Wai Lam Wun, Zarina Levitskaya, Jiangwen Zhang
CR2Cancer: a database for chromatin regulators in human cancer. Nucleic Acids Res. 46 (Database-Issue) (2018)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Current-state opacity enforcement in discrete event systems under incomparable observations. Discret. Event Dyn. Syst. 28 (2) (2018)
Ziyue Ma, Yin Tong, Zhiwu Li, Alessandro Giua
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem. IEEE Trans. Autom. Control. 62 (3) (2017)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Decidability of opacity verification problems in labeled Petri net systems. Autom. 80 (2017)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Verification of State-Based Opacity Using Petri Nets. IEEE Trans. Autom. Control. 62 (6) (2017)
Yin Tong, ZhiWu Li, Alessandro Giua
On the Equivalence of Observation Structures for Petri Net Generators. IEEE Trans. Autom. Control. 61 (9) (2016)
Yin Tong, Zhoufang Li, Hua Zhang, Ligang Xia, Meng Zhang, Ying Xu, Zhanhui Wang, Michael W. Deem, Xiaojuan Sun, Jiankui He
T Cell Repertoire Diversity Is Decreased in Type 1 Diabetes Patients. Genom. Proteom. Bioinform. 14 (6) (2016)
Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua
Verification of language-based opacity in Petri nets using verifier. ACC (2016)
Yin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua
Supervisory enforcement of current-state opacity with uncomparable observations. WODES (2016)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Verification of current-state opacity using Petri nets. ACC (2015)
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Verification of initial-state opacity in Petri nets. CDC (2015)
Yin Tong, Zhiwu Li, Alessandro Giua
Observation Equivalence of Petri Net Generators. WODES (2014)
Yin Tong, Zhiwu Li, Alessandro Giua
General observation structures for Petri nets. ETFA (2013)
Jing Gong, Yin Tong, Hong-Mei Zhang, An-Yuan Guo
miRNASNP: a database of miRNA related SNPs and their effects on miRNA function. BMC Bioinform. 13 (S-18) (2012)
Haroon Atique Babri, Yin Tong
Deep feedforward networks: application to pattern recognition. ICNN (1996)