3 citations · 3 across the 3 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2022
Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems
Junyao Hou, Siyuan Liu, Xiang Yin +1
In this paper, we consider the problem of verifying pre-opacity for discrete-time control systems. Pre-opacity is an important information-flow security property that secures the i…
eess.SY2022★ 3 cited
A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems
Jianing Zhao, Xiang Yin, Shaoyuan Li
In this paper, we investigate property verification problems in partially-observed discrete-event systems (DES). Particularly, we are interested in verifying observational properti…