Yin Tong

Orcid: 0000-0003-1850-0188

According to our database1, Yin Tong authored at least 44 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems.
IEEE Trans. Autom. Control., March, 2024

2023
Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems.
IEEE Trans. Autom. Control., July, 2023

Automatic Metro Train Regulation Using Adaptive Headway for Large Passenger Flows.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets.
Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023

2022
Consensusability and Global Optimality of Discrete-Time Linear Multiagent Systems.
IEEE Trans. Cybern., 2022

Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions.
IEEE Trans Autom. Sci. Eng., 2022

A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker.
IEEE Control. Syst. Lett., 2022

Verification of K-step and infinite-step opacity of bounded labeled Petri nets.
Autom., 2022

An Integrated Model Predictive Control Method for the Rescheduling of Metro Traffic with Backup Trains<sup>*</sup>.
Proceedings of the American Control Conference, 2022

2021
Benchmarks of Extended Basis Reachability Graphs.
CoRR, 2021

Q-learning algorithm in solving consensusability problem of discrete-time multi-agent systems.
Autom., 2021

A Service-Oriented Metro Traffic Regulation Method for Improving Operation Performance.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Verification of C-detectability using Petri nets.
Inf. Sci., 2020

Initial-State Estimation of Multi-Channel Networked Discrete Event Systems.
IEEE Control. Syst. Lett., 2020

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., 2020

2019
Verification of infinite-step and K-step opacity Using Petri Nets.
CoRR, 2019

Verification of Detectability Using Petri Nets and Detector.
CoRR, 2019

Verification of Detectability in Petri Nets Using Verifier Nets.
CoRR, 2019

TISIDB: an integrated repository portal for tumor-immune system interactions.
Bioinform., 2019

MR4Cancer: a web server prioritizing master regulators for cancer.
Bioinform., 2019

A framework for identifying dysregulated chromatin regulators as master regulators in human cancer.
Bioinform., 2019

Current-State Opacity Verification in Modular Discrete Event Systems.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Design of the Safety Control Logic for Railway Stations Based on Petri Nets.
Proceedings of the CAA Symposium on Fault Detection, 2019

HAZOP Quantitative Analysis of the Balise Based on the Improved CUOWGA - Sharpley Value.
Proceedings of the CAA Symposium on Fault Detection, 2019

Verification of Detectability in Labeled Petri Nets.
Proceedings of the 2019 American Control Conference, 2019

2018
CR2Cancer: a database for chromatin regulators in human cancer.
Nucleic Acids Res., 2018

Current-state opacity enforcement in discrete event systems under incomparable observations.
Discret. Event Dyn. Syst., 2018

Orthogonal Policy Gradient and Autonomous Driving Application.
CoRR, 2018

miRNACancerMAP: an integrative web server inferring miRNA regulation network for cancer.
Bioinform., 2018

A Test Path Generation Method Based on SSM Models.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017
Verification of State-Based Opacity Using Petri Nets.
IEEE Trans. Autom. Control., 2017

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem.
IEEE Trans. Autom. Control., 2017

Decidability of opacity verification problems in labeled Petri net systems.
Autom., 2017

2016
On the Equivalence of Observation Structures for Petri Net Generators.
IEEE Trans. Autom. Control., 2016

T Cell Repertoire Diversity Is Decreased in Type 1 Diabetes Patients.
Genom. Proteom. Bioinform., 2016

Supervisory enforcement of current-state opacity with uncomparable observations.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Verification of language-based opacity in Petri nets using verifier.
Proceedings of the 2016 American Control Conference, 2016

2015
Verification of initial-state opacity in Petri nets.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Verification of current-state opacity using Petri nets.
Proceedings of the American Control Conference, 2015

2014
Observation Equivalence of Petri Net Generators.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013
General observation structures for Petri nets.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012
miRNASNP: a database of miRNA related SNPs and their effects on miRNA function.
BMC Bioinform., 2012

1996
Deep feedforward networks: application to pattern recognition.
Proceedings of International Conference on Neural Networks (ICNN'96), 1996


  Loading...