Liyong Lin, Alin Stefanescu, Weilin Wang, Rong Su, Walter Murray Wonham. Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates. Automatica, 87:290-300, 2018. [doi]
@article{LinSWSW18,
title = {Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates},
author = {Liyong Lin and Alin Stefanescu and Weilin Wang and Rong Su and Walter Murray Wonham},
year = {2018},
doi = {10.1016/j.automatica.2017.10.015},
url = {https://doi.org/10.1016/j.automatica.2017.10.015},
researchr = {https://researchr.org/publication/LinSWSW18},
cites = {0},
citedby = {0},
journal = {Automatica},
volume = {87},
pages = {290-300},
}