Masashi Mizoguchi, Toshimitsu Ushio. Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 104-A(11):1593-1602, 2021. [doi]
@article{MizoguchiU21,
title = {Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems},
author = {Masashi Mizoguchi and Toshimitsu Ushio},
year = {2021},
doi = {10.1587/transfun.2021eap1002},
url = {https://doi.org/10.1587/transfun.2021eap1002},
researchr = {https://researchr.org/publication/MizoguchiU21},
cites = {0},
citedby = {0},
journal = {IEICE Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {104-A},
number = {11},
pages = {1593-1602},
}