Logical-algebraic equations application in discrete-event systems studying. - Nadezhda V. Nagul (MIPRO, 2016)

Generating conditions for preserving the properties of controlled discrete event systems. - Nadezhda V. Nagul (Autom. Remote. Control., 2016)

The formal description of discrete-event systems using positively constructed formulas. - Artem Davydov; Aleksandr Larionov; Nadezhda V. Nagul (MIPRO, 2017)

On the properties of discrete-event systems with observable states. - Nadezhda V. Nagul (MIPRO, 2017)

The formal logic approach for checking the observability of a specification language on DES functioning. - Artem Davydov; Aleksandr Larionov; Nadezhda V. Nagul (MIPRO, 2018)

PCF-based formalization of the parallel composition of automata. - Artem Davydov; Aleksandr Larionov; Nadezhda V. Nagul (ICCS-DE, 2019)

Logic inference based construction of a supervisor for a discrete event system. - Artem Davydov; Aleksandr Larionov; Nadezhda V. Nagul (ICCS-DE, 2020)

The construction of controllable sublanguage of specification for DES via PCFs based inference. - Artem Davydov; Aleksandr Larionov; Nadezhda V. Nagul (ICCS-DE, 2020)

On Checking Controllability of Specification Languages for DES. - Artem Davydov; Aleksandr Larionov; Nadezhda V. Nagul (MIPRO, 2020)

Modular discrete event systems control based on logic inference. - Artem Davydov; Aleksandr Larionov; Nadezhda V. Nagul (ICCS-DE, 2021)

Positively Constructed Formulas-Based Approach to Mobile Robot Control Using DES. - Artem Davydov; Aleksandr Larionov; Nadezhda V. Nagul (MIPRO, 2021)

On Checking Observability of Formal Languages in DES Control Problems. - Artem Davydov; Aleksandr Larionov; Nadezhda V. Nagul (CoDIT, 2022)

Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed Formulas. - Artem Davydov; Aleksandr Larionov; Nadezhda V. Nagul (Comput., 2024)

On the Application of the Calculus of Positively Constructed Formulas for the Study of Controlled Discrete-Event Systems. - A. V. Davydov; Alexander Larionov; Nadezhda V. Nagul (Autom. Control. Comput. Sci., 2024)