The following pages link to Yin Tong (Q255527):
Displaying 15 items.
- A new integral formula for the angle between intersected submanifolds (Q255528) (← links)
- On the kinematic formula of the total mean curvature matrix (Q515105) (← links)
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- \( \mathbb{Q} \)-learning algorithm in solving consensusability problem of discrete-time multi-agent systems (Q2021323) (← links)
- Verification of C-detectability using Petri nets (Q2023240) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets (Q2125506) (← links)
- Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'' (Q2208612) (← links)
- Decidability of opacity verification problems in labeled Petri net systems (Q2407162) (← links)
- On the Equivalence of Observation Structures for Petri Net Generators (Q2980390) (← links)
- Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem (Q5282361) (← links)
- Verification of State-Based Opacity Using Petri Nets (Q5352631) (← links)
- (Q5381469) (← links)
- Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems (Q6080230) (← links)
- Verification of pattern-pattern diagnosability in partially observed discrete event systems (Q6575913) (← links)
