Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul. Logic inference based construction of a supervisor for a discrete event system. In Igor Bychkov, Andrei Tchernykh, Alexander G. Feoktistov, editors, Proceedings of the 2nd International Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2020, Irkutsk, Russia, July 6-7, 2020. Volume 2638 of CEUR Workshop Proceedings, pages 53-67, CEUR-WS.org, 2020. [doi]
@inproceedings{DavydovLN20,
title = {Logic inference based construction of a supervisor for a discrete event system},
author = {Artem Davydov and Aleksandr Larionov and Nadezhda V. Nagul},
year = {2020},
url = {http://ceur-ws.org/Vol-2638/paper5.pdf},
researchr = {https://researchr.org/publication/DavydovLN20},
cites = {0},
citedby = {0},
pages = {53-67},
booktitle = {Proceedings of the 2nd International Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2020, Irkutsk, Russia, July 6-7, 2020},
editor = {Igor Bychkov and Andrei Tchernykh and Alexander G. Feoktistov},
volume = {2638},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}