109 citations · 222 across the 19 of their papers we have counts for
4 papers · 1 filter
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…
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…