Liu, Fuchun; Yang, Pengbiao; Zhao, Rui; Dziong, Zbigniew Verification of safe diagnosability of stochastic discrete-event systems. (English) Zbl 1482.93385 Int. J. Control 95, No. 2, 372-379 (2022). MSC: 93C65 93E03 PDFBibTeX XMLCite \textit{F. Liu} et al., Int. J. Control 95, No. 2, 372--379 (2022; Zbl 1482.93385) Full Text: DOI
Zhao, Rui; Liu, Fuchun; Tan, Jianxin Relative predictability of failure event occurrences and its opacity-based test algorithm. (English) Zbl 1417.93208 Int. J. Control 92, No. 7, 1600-1608 (2019). MSC: 93C65 93B07 PDFBibTeX XMLCite \textit{R. Zhao} et al., Int. J. Control 92, No. 7, 1600--1608 (2019; Zbl 1417.93208) Full Text: DOI
Benmessahel, Bilal; Touahria, Mohamed; Nouioua, Farid Predictability of fuzzy discrete event systems. (English) Zbl 1378.93081 Discrete Event Dyn. Syst. 27, No. 4, 641-673 (2017). MSC: 93C65 93C42 68Q80 PDFBibTeX XMLCite \textit{B. Benmessahel} et al., Discrete Event Dyn. Syst. 27, No. 4, 641--673 (2017; Zbl 1378.93081) Full Text: DOI
Wang, Shouguang; Gan, Mengdi; Zhou, Mengchu Macro liveness graph and liveness of \(\omega\)-independent unbounded nets. (English) Zbl 1331.93148 Sci. China, Inf. Sci. 58, No. 3, Article ID 032201, 10 p. (2015). MSC: 93C65 05C90 93B03 PDFBibTeX XMLCite \textit{S. Wang} et al., Sci. China, Inf. Sci. 58, No. 3, Article ID 032201, 10 p. (2015; Zbl 1331.93148) Full Text: DOI Link