2 citations · 11 across the 26 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 2 cited
Opacity of nondeterministic transition systems: A (bi)simulation relation approach
Kuize Zhang, Xiang Yin, Majid Zamani
In this paper, we propose several opacity-preserving (bi)simulation relations for general nondeterministic transition systems (NTS) in terms of initial-state opacity, current-state…
cs.LO2018★ 2 cited
Deciding Detectability for Labeled Petri Nets
Tomas Masopust, Xiang Yin
Detectability of discrete event systems (DESs) is a property to determine a priori whether the current and subsequent states can be determined based on observations. In this paper,…