Yin Tong

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verification of pattern-pattern diagnosability in partially observed discrete event systems IEEE Transactions on Automatic Control	2024-07-21	Paper
Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems IEEE Transactions on Automatic Control	2023-10-02	Paper
Verification of $K$-step and infinite-step opacity of bounded labeled Petri nets Automatica	2022-04-14	Paper
Analysis of strong and strong periodic detectability of bounded labeled Petri nets Nonlinear Analysis. Hybrid Systems	2021-12-13	Paper
Verification of C-detectability using Petri nets Information Sciences	2021-05-03	Paper
$ \mathbb{Q} $-learning algorithm in solving consensusability problem of discrete-time multi-agent systems Automatica	2021-04-26	Paper
Comments on: ``A new approach for the verification of infinite-step and $K$-step opacity using two-way observers Automatica	2020-11-03	Paper
An ONC-characterization of alternating group ${A_n}$ where ${5 \le n \le 13}$	2019-06-21	Paper
Current-state opacity enforcement in discrete event systems under incomparable observations Discrete Event Dynamic Systems	2018-10-08	Paper
Decidability of opacity verification problems in labeled Petri net systems Automatica	2017-09-28	Paper
Verification of State-Based Opacity Using Petri Nets IEEE Transactions on Automatic Control	2017-09-08	Paper
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem IEEE Transactions on Automatic Control	2017-07-27	Paper
On the Equivalence of Observation Structures for Petri Net Generators IEEE Transactions on Automatic Control	2017-05-03	Paper
On the kinematic formula of the total mean curvature matrix Taiwanese Journal of Mathematics	2017-03-09	Paper
A new integral formula for the angle between intersected submanifolds Journal of Inequalities and Applications	2016-03-09	Paper

Research outcomes over time

This page was built for person: Yin Tong