Verification of safe diagnosability of stochastic discrete-event systems

Fuchun Liu, Pengbiao Yang, Rui Zhao, Zbigniew Dziong. Verification of safe diagnosability of stochastic discrete-event systems. Int. J. Control, 95(2):372-379, 2022. [doi]

Abstract

Abstract is missing.