Yin Tong

Available identifiers

Publication	Date of Publication	Type
Verification of pattern-pattern diagnosability in partially observed discrete event systems	2024-07-21	Paper
Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems	2023-10-02	Paper
Verification of $K$-step and infinite-step opacity of bounded labeled Petri nets	2022-04-14	Paper
Analysis of strong and strong periodic detectability of bounded labeled Petri nets	2021-12-13	Paper
Verification of C-detectability using Petri nets	2021-05-03	Paper
$ \mathbb{Q} $-learning algorithm in solving consensusability problem of discrete-time multi-agent systems	2021-04-26	Paper
Comments on: ``A new approach for the verification of infinite-step and $K$-step opacity using two-way observers	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	2018-10-08	Paper
Decidability of opacity verification problems in labeled Petri net systems	2017-09-28	Paper
Verification of State-Based Opacity Using Petri Nets	2017-09-08	Paper
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem	2017-07-27	Paper
On the Equivalence of Observation Structures for Petri Net Generators	2017-05-03	Paper
On the kinematic formula of the total mean curvature matrix	2017-03-09	Paper
A new integral formula for the angle between intersected submanifolds	2016-03-09	Paper

This page was built for person: Yin Tong