Investigation of observability property of controlled binary dynamical systems: a logical approach

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]

Authors

Gennady A. Oparin

This author has not been identified. Look up 'Gennady A. Oparin' in Google

Vera Bogdanova

This author has not been identified. Look up 'Vera Bogdanova' in Google

Anton A. Pashinin

This author has not been identified. Look up 'Anton A. Pashinin' in Google