Yang Liu, Zhaocong Liu, Xiang Yin 0003, Shaoyuan Li. An improved approach for verifying delayed detectability of discrete-event systems. Automatica, 124:109291, 2021. [doi]
@article{LiuLYL21,
title = {An improved approach for verifying delayed detectability of discrete-event systems},
author = {Yang Liu and Zhaocong Liu and Xiang Yin 0003 and Shaoyuan Li},
year = {2021},
doi = {10.1016/j.automatica.2020.109291},
url = {https://doi.org/10.1016/j.automatica.2020.109291},
researchr = {https://researchr.org/publication/LiuLYL21},
cites = {0},
citedby = {0},
journal = {Automatica},
volume = {124},
pages = {109291},
}