175 citations · 192 across the 19 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.OC2018★ 3 cited
On detectability of labeled Petri nets and finite automata
Kuize Zhang, Alessandro Giua
We study detectability properties for labeled Petri nets and finite automata. We first study weak approximate detectability (WAD) that implies that there exists an infinite observe…
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…