109 citations · 222 across the 19 of their papers we have counts for
19 papers
Verification of - and Infinite-Step Strong/Weak Anonymity Using Concurrent Compositions
Jiahui Zhang, Kuize Zhang, Xiaoguang Han +1
Anonymity is an information flow property that provides privacy protection in the sense of non-uniqueness of system information at certain moments with respect to observations. The…
Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation
Wei Duan, Christoforos N. Hadjicostis, Zhiwu Li
Inspired by privacy problems where the behavior of a system should not be revealed to an external curious observer, we investigate event concealment and concealability enforcement…
Verification of Strong K-Step Opacity for Discrete-Event Systems
Xiaoguang Han, Kuize Zhang, Zhiwu Li
In this paper, we revisit the verification of strong K-step opacity (K-SSO) for partially-observed discrete-event systems modeled as nondeterministic finite-state automata. As a st…
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…
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…
Error- and Tamper-Tolerant State Estimation for Discrete Event Systems under Cost Constraints
Yuting Li, Christoforos N. Hadjicostis, Naiqi Wu +1
This paper deals with the state estimation problem in discrete-event systems modeled with nondeterministic finite automata, partially observed via a sensor measuring unit whose mea…
G-image Segmentation: Similarity-preserving Fuzzy C-Means with Spatial Information Constraint in Wavelet Space
Cong Wang, Witold Pedrycz, ZhiWu Li +2
G-images refer to image data defined on irregular graph domains. This work elaborates a similarity-preserving Fuzzy C-Means (FCM) algorithm for G-image segmentation and aims to dev…
A Novel Granular-Based Bi-Clustering Method of Deep Mining the Co-Expressed Genes
Kaijie Xu, Witold Pedrycz, Zhiwu Li +2
Traditional clustering methods are limited when dealing with huge and heterogeneous groups of gene expression data, which motivates the development of bi-clustering methods. Bi-clu…
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…
Residual-driven Fuzzy C-Means Clustering for Image Segmentation
Cong Wang, Witold Pedrycz, ZhiWu Li +1
Due to its inferior characteristics, an observed (noisy) image's direct use gives rise to poor segmentation results. Intuitively, using its noise-free image can favorably impact im…
Augmentation of the Reconstruction Performance of Fuzzy C-Means with an Optimized Fuzzification Factor Vector
Kaijie Xu, Witold Pedrycz, Zhiwu Li
Information granules have been considered to be the fundamental constructs of Granular Computing (GrC). As a useful unsupervised learning technique, Fuzzy C-Means (FCM) is one of t…
Granular Computing: An Augmented Scheme of Degranulation Through a Modified Partition Matrix
Kaijie Xu, Witold Pedrycz, Zhiwu Li +1
As an important technology in artificial intelligence Granular Computing (GrC) has emerged as a new multi-disciplinary paradigm and received much attention in recent years. Informa…
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…
Residual-Sparse Fuzzy -Means Clustering Incorporating Morphological Reconstruction and Wavelet frames
Cong Wang, Witold Pedrycz, ZhiWu Li +2
Instead of directly utilizing an observed image including some outliers, noise or intensity inhomogeneity, the use of its ideal value (e.g. noise-free image) has a favorable impact…
Kullback-Leibler Divergence-Based Fuzzy -Means Clustering Incorporating Morphological Reconstruction and Wavelet Frames for Image Segmentation
Cong Wang, Witold Pedrycz, ZhiWu Li +1
Although spatial information of images usually enhance the robustness of the Fuzzy C-Means (FCM) algorithm, it greatly increases the computational costs for image segmentation. To…
Joint State Estimation Under Attack of Discrete Event Systems
Qi Zhang, Carla Seatzu, Zhiwu Li +1
The problem of state estimation in the setting of partially-observed discrete event systems subject to cyber attacks is considered. An operator observes a plant through a natural p…
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…