On Checking Observability of Formal Languages in DES Control Problems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

The formal logic approach for checking the observability of a specification language on DES functioningArtem Davydov, Aleksandr Larionov, Nadezhda V. Nagul. miproBIS 2018: 938-943 [doi]

runs on WebDSL