Gennady A. Oparin, Vera Bogdanova, Anton A. Pashinin. Investigation of observability property of controlled binary dynamical systems: a logical approach. In Igor V. Bychkov, Andrei Tchernykh, Alexander G. Feoktistov, editors, Proceedings of the 3rd International Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2021, Irkutsk, Russia, July 5-9, 2021. Volume 2913 of CEUR Workshop Proceedings, pages 129-138, CEUR-WS.org, 2021. [doi]
@inproceedings{OparinBP21a,
title = {Investigation of observability property of controlled binary dynamical systems: a logical approach},
author = {Gennady A. Oparin and Vera Bogdanova and Anton A. Pashinin},
year = {2021},
url = {http://ceur-ws.org/Vol-2913/paper11.pdf},
researchr = {https://researchr.org/publication/OparinBP21a},
cites = {0},
citedby = {0},
pages = {129-138},
booktitle = {Proceedings of the 3rd International Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2021, Irkutsk, Russia, July 5-9, 2021},
editor = {Igor V. Bychkov and Andrei Tchernykh and Alexander G. Feoktistov},
volume = {2913},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}