1 citations · 1 across the 1 of their papers we have counts for
3 papers
math.OC2026★ 1 cited
Fault Diagnosis and Prognosis in Partially-Observed Discrete Event Systems with Delayed Observations
Jiwei Wang, Simone Baldi, Wenwu Yu +1
Fault diagnosis and prognosis in discrete event systems are studied in the scenario where the observations are possibly received with delay. To address this scenario, two condition…
eess.SY2024
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…
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…