5 papers
Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
Sichen Ding, Zhiwu Li
Classical opacity theory for discrete-event systems relies strictly on observable event sequences, fundamentally failing to capture security breaches in hybrid architectures where…
Decentralized State Estimation and Opacity Verification Based on Partially Ordered Observation Sequences
Dajiang Sun, Christoforos N. Hadjicostis, Zhiwu Li
In this paper, we investigate state estimation and opacity verification problems within a decentralized observation architecture. Specifically, we consider a discrete event system…
Opacity Enforcement by Edit Functions Under Incomparable Observations
Wei Duan, Ruotian Liu, Maria Pia Fanti +2
As an information-flow privacy property, opacity characterizes whether a malicious external observer (referred to as an intruder) is able to infer the secret behavior of a system.…
Global and Local Error-Tolerant Decentralized State Estimation under Partially Ordered Observations
Dajiang Sun, Christoforos N. Hadjicostis, Zhiwu Li
We investigate decentralized state estimation for a discrete event system in a setting where the information received at a coordinator may be corrupted or tampered by a malicious a…
Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems
Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li
Opacity is a property that captures security concerns in cyber-physical systems and its verification plays a significant role. This paper investigates the verifications of K-step a…