Fuchun Liu, Hai Lin, Zbigniew Dziong. Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm. Automatica, 47(4):782-788, 2011. [doi]
@article{LiuLD11,
title = {Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm},
author = {Fuchun Liu and Hai Lin and Zbigniew Dziong},
year = {2011},
doi = {10.1016/j.automatica.2011.01.066},
url = {http://dx.doi.org/10.1016/j.automatica.2011.01.066},
tags = {control systems, testing},
researchr = {https://researchr.org/publication/LiuLD11},
cites = {0},
citedby = {0},
journal = {Automatica},
volume = {47},
number = {4},
pages = {782-788},
}