3 papers
cs.LO2026
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…
eess.SY2025
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…
cs.FL2024
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.…