Search Results for author: Junyao Hou

Found 2 papers, 0 papers with code

Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems

no code implementations8 Nov 2022 Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani

In this paper, we first introduce a concept of approximate pre-opacity by capturing the security level of control systems with respect to the measurement precision of the intruder.

A Framework for Current-State Opacity under Dynamic Information Release Mechanism

no code implementations9 Dec 2020 Junyao Hou, Xiang Yin, ShaoYuan Li

In this paper, we investigate the verification of current-state opacity for discrete-event systems under Orwellian-type observations, i. e., the system is allowed to re-interpret the observation of an event based on its future suffix.

Cannot find the paper you are looking for? You can Submit a new open access paper.