109 citations · 222 across the 19 of their papers we have counts for
6 papers · 1 filter
Supervisory Control of Multi-Agent Discrete-Event Systems with Partial Observation
Yingying Liu, Jan Komenda, Zhiwu Li
In this paper we investigate multi-agent discrete-event systems with partial observation. The agents can be divided into several groups in each of which the agents have similar (is…
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…
Extended Insertion Functions for Opacity Enforcement
Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li
Opacity is a confidentiality property that holds when certain secret strings of a given system cannot be revealed to an outside observer under any system activity. Opacity violatio…
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…
Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
Chao Gu, Ziyue Ma, Zhiwu Li +1
This paper proposes a semi-structural approach to verify the nonblockingness of a Petri net. We construct a structure, called minimax basis reachability graph (minimax-BRG): it pro…
On Scalable Supervisory Control of Multi-Agent Discrete-Event Systems
Yingying Liu, Kai Cai, Zhiwu Li
In this paper we study multi-agent discrete-event systems where the agents can be divided into several groups, and within each group the agents have similar or identical state tran…