1 citations · 1 across the 3 of their papers we have counts for
3 papers
eess.SY2022
A Uniform Framework for Diagnosis of Discrete-Event Systems with Unreliable Sensors using Linear Temporal Logic
Weijie Dong, Xiang Yin, Shaoyuan Li
In this paper, we investigate the diagnosability verification problem of partially-observed discrete-event systems (DES) subject to unreliable sensors. In this setting, upon the oc…
eess.SY2022★ 1 cited
Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness
Weijie Dong, Shang Gao, Xiang Yin +1
In this paper, we revisit the fault diagnosis problem of discrete-event systems (DES) under non-deterministic observations. Non-deterministic observation is a general observation m…
eess.SY2022
Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information
Xinyi Yu, Weijie Dong, Xiang Yin +1
Online monitoring aims to evaluate or to predict, at runtime, whether or not the behaviors of a system satisfy some desired specification. It plays a key role in safety-critical cy…