1 citations · 1 across the 2 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2020
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…
eess.SY2020★ 1 cited
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 (…