175 citations · 192 across the 19 of their papers we have counts for
4 papers · 1 filter
A unified concurrent-composition method to state/event inference and concealment in discrete-event systems
Kuize Zhang
Discrete-event systems usually consist of discrete states and transitions between them caused by spontaneous occurrences of labelled (aka partially-observed) events. Due to the par…
New methods for verifying strong periodic detectability and strong periodic D-detectability of discrete-event systems
Kuize Zhang
In this paper, in discrete-event systems modeled by finite-state automata (FSAs), we show new thinking on the tools of detector and concurrent composition and derive two new algori…
Strong current-state and initial-state opacity of discrete-event systems
Xiaoguang Han, Kuize Zhang, Jiahui Zhang +2
Opacity, as an important property in information-flow security, characterizes the ability of a system to keep some secret information from an intruder. In discrete-event systems, b…
Diagnosability of labeled automata
Kuize Zhang, Joerg Raisch
In this paper, we formulate a notion of diagnosability for labeled weighted automata over a class of dioids which admit both positive and negative numbers as well as vectors. The w…