Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul. On Checking Observability of Formal Languages in DES Control Problems. In 8th International Conference on Control, Decision and Information Technologies, CoDIT 2022, Istanbul, Turkey, May 17-20, 2022. pages 1567-1572, IEEE, 2022. [doi]
@inproceedings{DavydovLN22,
title = {On Checking Observability of Formal Languages in DES Control Problems},
author = {Artem Davydov and Aleksandr Larionov and Nadezhda V. Nagul},
year = {2022},
doi = {10.1109/CoDIT55151.2022.9804002},
url = {https://doi.org/10.1109/CoDIT55151.2022.9804002},
researchr = {https://researchr.org/publication/DavydovLN22},
cites = {0},
citedby = {0},
pages = {1567-1572},
booktitle = {8th International Conference on Control, Decision and Information Technologies, CoDIT 2022, Istanbul, Turkey, May 17-20, 2022},
publisher = {IEEE},
isbn = {978-1-6654-9607-0},
}