Yajuan Sun, Hai Lin. Bisimilarity enforcing supervisory control of nondeterministic discrete event systems. In American Control Conference, ACC 2012, Montreal, QC, Canada, June 27-29, 2012. pages 6102-6107, IEEE, 2012. [doi]
@inproceedings{SunL12-18,
title = {Bisimilarity enforcing supervisory control of nondeterministic discrete event systems},
author = {Yajuan Sun and Hai Lin},
year = {2012},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6315066},
researchr = {https://researchr.org/publication/SunL12-18},
cites = {0},
citedby = {0},
pages = {6102-6107},
booktitle = {American Control Conference, ACC 2012, Montreal, QC, Canada, June 27-29, 2012},
publisher = {IEEE},
isbn = {978-1-4577-1095-7},
}