3 papers
cs.FL2026
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…
cs.FL2024
[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
Kuize Zhang, Xiaoguang Han, Alessandro Giua +1
In this paper, we consider labeled finite-state automata (LFSAs), extend some state estimation-based properties from a single agent to a finite ordered set of agents. We also exten…
cs.FL2024
Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
Xiaoguang Han, Kuize Zhang, Zhiwu Li
In this paper, we investigate the verification and enforcement of strong state-based opacity (SBO) in discrete-event systems modeled as partially-observed (nondeterministic) finite…