2 papers
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.SY2020
A Framework for Current-State Opacity under Dynamic Information Release Mechanism
Junyao Hou, Xiang Yin, Shaoyuan Li
Opacity is an important information-flow security property that characterizes the plausible deniability of a dynamic system for its "secret" against eavesdropping attacks. As an in…