4 citations · 5 across the 2 of their papers we have counts for
4 papers
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs -- An Extended Version With Benchmarks
Chao Gu, Ziyue Ma, Zhiwu Li +1
In this paper, we study the problem of non-blockingness verification by tapping into the basis reachability graph (BRG). Non-blockingness is a property that ensures that all pre-sp…
A framework for the analysis of supervised discrete event systems under attack
Qi Zhang, Carla Seatzu, Zhiwu Li +1
This paper focuses on the problem of cyber attacks for discrete event systems under supervisory control. In more detail, the goal of the supervisor, who has a partial observation o…
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…