2 citations · 11 across the 26 of their papers we have counts for
5 papers · 1 filter
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…
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks
Shuo Yang, Xiang Yin, Shaoyuan Li +1
In this paper, we investigate the problem of planning an optimal infinite path for a single robot to achieve a linear temporal logic (LTL) task with security guarantee. We assume t…
Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems
Shuo Yang, Xiang Yin
This paper investigates an important informationflow security property called opacity in partially-observed discrete-event systems. We consider the presence of a passive intruder (…
Opacity Enforcing Supervisory Control using Non-deterministic Supervisors
Yifan Xie, Xiang Yin, Shaoyuan Li
In this paper, we investigate the enforcement of opacity via supervisory control in the context of discrete-event systems. A system is said to be opaque if the intruder, which is m…
Modeling and Analysis of Networked Discrete Event Systems with Multiple Control Channels
Zhaocong Liu, Xiang Yin, Shaoyuan Li
In this paper, we propose a novel framework for modeling and analysis of networked discrete-event systems (DES). We assume that the plant is controlled by a feedback supervisor who…