Relative predictability of failure event occurrences and its opacity-based test algorithm. - Rui Zhao 026; Fuchun Liu; Jianxin Tan (Int. J. Control, 2019)

Verification of safe diagnosability of stochastic discrete-event systems. - Fuchun Liu; Pengbiao Yang; Rui Zhao 026; Zbigniew Dziong (Int. J. Control, 2022)

Decentralized Failure Prognosis of Stochastic Discrete-Event Systems and a Test Algorithm. - Weihua Cao; Fuchun Liu; Rui Zhao 026 (IEEE Trans Autom. Sci. Eng., 2022)

Reliable Co-Prognosability of Decentralized Stochastic Discrete-Event Systems and a Polynomial-Time Verification. - Hui Liao; Fuchun Liu; Rui Zhao 026 (IEEE Trans. Cybern., 2022)