Yin Tong

50 papers C 5Journal 31Unranked 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Distributed Model Predictive Control for Real-Time Automatic Train Regulation of Metro Networks With Transfer Connections.
IEEE Trans Autom. Sci. Eng.
Yin Tong, Graziana Cavone, Jiate Luo, Carla Seatzu, Mariagrazia Dotoli
2025 J jnl
Resilient Supervisor Synthesis for Labeled Petri Nets Against Sensor Attacks.
IEEE Trans. Autom. Control.
Gang Xie, Yin Tong, Xiaomin Wang, Carla Seatzu
2025 — conf
Virtual Coupling Train Following Control Using High Order Control Barrier Functions.
ITSC
Yike Li, Yin Tong, Alessandro Giua
2024 — conf
Safe Optimal Train Formation Control in Virtual Coupling Using Control Barrier Functions.
CASE
Yike Li, Yin Tong, Alessandro Giua
2024 J jnl
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems.
IEEE Trans. Autom. Control.
Ziyue Ma, Yin Tong, Carla Seatzu
2023 — conf
Automatic Metro Train Regulation Using Adaptive Headway for Large Passenger Flows.
CASE
Zhengyu Zhang, Yin Tong, Graziana Cavone
2023 — conf
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets.
ATAED/PN4TT@Petri Nets
Yike Li, Yin Tong, Marco Demuro, Alessandro Giua
2023 J jnl
Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems.
IEEE Trans. Autom. Control.
Yin Tong, Ziyue Ma
2022 J jnl
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker.
IEEE Control. Syst. Lett.
Yin Tong, Yucheng Wang, Alessandro Giua
2022 C conf
An Integrated Model Predictive Control Method for the Rescheduling of Metro Traffic with Backup Trains
ACC
Yin Tong, Wei Xu, Mariagrazia Dotoli, Graziana Cavone
2022 J jnl
Consensusability and Global Optimality of Discrete-Time Linear Multiagent Systems.
IEEE Trans. Cybern.
Tao Feng, Jilie Zhang, Yin Tong, Huaguang Zhang
2022 J jnl
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions.
IEEE Trans Autom. Sci. Eng.
Hao Lan, Yin Tong, Carla Seatzu
2022 J jnl
Verification of K-step and infinite-step opacity of bounded labeled Petri nets.
Autom.
Yin Tong, Hao Lan, Carla Seatzu
2021 — conf
A Service-Oriented Metro Traffic Regulation Method for Improving Operation Performance.
ITSC
Jiate Luo, Yin Tong, Graziana Cavone, Mariagrazia Dotoli
2021 J jnl
A Service-oriented Metro Traffic Regulation Method for Improving Operation Performance.
CoRR
Jiate Luo, Yin Tong, Graziana Cavone, Mariagrazia Dotoli
2021 J jnl
Benchmarks of Extended Basis Reachability Graphs.
CoRR
Yin Tong
2021 J jnl
Q-learning algorithm in solving consensusability problem of discrete-time multi-agent systems.
Autom.
Tao Feng, Jilie Zhang, Yin Tong, Huaguang Zhang
2021 — conf
State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations.
CDC
Yin Tong, Jiate Luo, Carla Seatzu
2020 J jnl
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.
Hao Lan, Yin Tong, Jin Guo, Alessandro Giua
2020 J jnl
Initial-State Estimation of Multi-Channel Networked Discrete Event Systems.
IEEE Control. Syst. Lett.
Yue Yao, Yin Tong, Hao Lan
2020 J jnl
Verification of C-detectability using Petri nets.
Inf. Sci.
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
2019 J jnl
A framework for identifying dysregulated chromatin regulators as master regulators in human cancer.
Bioinform.
Beibei Ru, Jianlong Sun, Qingzheng Kang, Yin Tong, Jiangwen Zhang
2019 — conf
Current-State Opacity Verification in Modular Discrete Event Systems.
CDC
Yin Tong, Hao Lan
2019 — conf
Design of the Safety Control Logic for Railway Stations Based on Petri Nets.
CAA SAFEPROCESS
Yike Li, Yin Tong, Jin Guo
2019 — conf
HAZOP Quantitative Analysis of the Balise Based on the Improved CUOWGA - Sharpley Value.
CAA SAFEPROCESS
Xintong Chu, Jin Guo, Yin Tong
2019 J jnl
MR4Cancer: a web server prioritizing master regulators for cancer.
Bioinform.
Beibei Ru, Yin Tong, Jiangwen Zhang
2019 J jnl
TISIDB: an integrated repository portal for tumor-immune system interactions.
Bioinform.
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
2019 J jnl
Verification of C-detectability Using Petri Nets.
CoRR
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
2019 J jnl
Verification of Detectability Using Petri Nets and Detector.
CoRR
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
2019 C conf
Verification of Detectability in Labeled Petri Nets.
ACC
Yin Tong, Hao Lan, Jin Guo
2019 J jnl
Verification of Detectability in Petri Nets Using Verifier Nets.
CoRR
Hao Lan, Yin Tong, Carla Seatzu, Jin Guo
2019 J jnl
Verification of infinite-step and K-step opacity Using Petri Nets.
CoRR
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu
2018 — conf
A Test Path Generation Method Based on SSM Models.
QRS Companion
Hao Lan, Yin Tong, Jin Guo, Yadong Zhang, Yao Li, Chang Rao
2018 J jnl
CR2Cancer: a database for chromatin regulators in human cancer.
Nucleic Acids Res.
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
2018 J jnl
Current-state opacity enforcement in discrete event systems under incomparable observations.
Discret. Event Dyn. Syst.
Yin Tong, ZhiWu Li, Carla Seatzu, Alessandro Giua
2018 J jnl
Orthogonal Policy Gradient and Autonomous Driving Application.
CoRR
Mincong Luo, Yin Tong, Jiachi Liu
2018 J jnl
miRNACancerMAP: an integrative web server inferring miRNA regulation network for cancer.
Bioinform.
Yin Tong, Beibei Ru, Jiangwen Zhang
2017 J jnl
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem.
IEEE Trans. Autom. Control.
Ziyue Ma, Yin Tong, ZhiWu Li, Alessandro Giua
2017 J jnl
Decidability of opacity verification problems in labeled Petri net systems.
Autom.
Yin Tong, ZhiWu Li, Carla Seatzu, Alessandro Giua
2017 J jnl
Verification of State-Based Opacity Using Petri Nets.
IEEE Trans. Autom. Control.
Yin Tong, ZhiWu Li, Carla Seatzu, Alessandro Giua
2016 J jnl
On the Equivalence of Observation Structures for Petri Net Generators.
IEEE Trans. Autom. Control.
Yin Tong, ZhiWu Li, Alessandro Giua
2016 — conf
Supervisory enforcement of current-state opacity with uncomparable observations.
WODES
Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua
2016 J jnl
T Cell Repertoire Diversity Is Decreased in Type 1 Diabetes Patients.
Genom. Proteom. Bioinform.
Yin Tong, Zhoufang Li, Hua Zhang, Ligang Xia, Meng Zhang, Ying Xu, Zhanhui Wang, Michael W. Deem, Xiaojuan Sun, Jiankui He
2016 C conf
Verification of language-based opacity in Petri nets using verifier.
ACC
Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua
2015 C conf
Verification of current-state opacity using Petri nets.
ACC
Yin Tong, ZhiWu Li, Carla Seatzu, Alessandro Giua
2015 — conf
Verification of initial-state opacity in Petri nets.
CDC
Yin Tong, ZhiWu Li, Carla Seatzu, Alessandro Giua
2014 — conf
Observation Equivalence of Petri Net Generators.
WODES
Yin Tong, ZhiWu Li, Alessandro Giua
2013 C conf
General observation structures for Petri nets.
ETFA
Yin Tong, ZhiWu Li, Alessandro Giua
2012 J jnl
miRNASNP: a database of miRNA related SNPs and their effects on miRNA function.
BMC Bioinform.
Jing Gong, Yin Tong, Hong-Mei Zhang, An-Yuan Guo
1996 — conf
Deep feedforward networks: application to pattern recognition.
ICNN
Haroon Atique Babri, Yin Tong