4 citations · 4 across the 5 of their papers we have counts for
4 papers · 1 filter
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…
A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems
Kuize Zhang
The state inference problem and fault diagnosis/prediction problem are fundamental topics in many areas. In this paper, we consider discrete-event systems (DESs) modeled by finite-…
Revisiting delayed strong detectability of discrete-event systems
Kuize Zhang, Alessandro Giua
Among notions of detectability for a discrete-event system (DES), strong detectability implies that after a finite number of observations to every output/label sequence generated b…
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…