Zhong, Wenjing; Zhao, Jinjing; Hu, Hesuan Non-interference assessment in colored net systems via integer linear programming. (English) Zbl 07804496 Inf. Sci. 658, Article ID 120027, 18 p. (2024). MSC: 68-XX 93-XX PDFBibTeX XMLCite \textit{W. Zhong} et al., Inf. Sci. 658, Article ID 120027, 18 p. (2024; Zbl 07804496) Full Text: DOI
Yang, Jingkai; Deng, Weilin; Qiu, Daowen Current-state opacity and initial-state opacity of modular discrete event systems. (English) Zbl 1505.93157 Int. J. Control 95, No. 11, 3037-3049 (2022). MSC: 93C65 PDFBibTeX XMLCite \textit{J. Yang} et al., Int. J. Control 95, No. 11, 3037--3049 (2022; Zbl 1505.93157) Full Text: DOI