3 citations · 4 across the 3 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2024
Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
Bingzhuo Zhong, Weijie Dong, Xiang Yin +1
Diagnosability is a system theoretical property characterizing whether fault occurrences in a system can always be detected within a finite time. In this paper, we investigate the…
eess.SY2024★ 3 cited
On Approximate Opacity of Stochastic Control Systems
Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas +1
This paper investigates an important class of information-flow security property called opacity for stochastic control systems. Opacity captures whether a system's secret behavior…