Logic inference based construction of a supervisor for a discrete event system

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]

Authors

Artem Davydov

This author has not been identified. Look up 'Artem Davydov' in Google

Aleksandr Larionov

This author has not been identified. Look up 'Aleksandr Larionov' in Google

Nadezhda V. Nagul

This author has not been identified. Look up 'Nadezhda V. Nagul' in Google