Nadezhda V. Nagul

14 papers C 1Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2024 J jnl
Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed Formulas.
Comput.
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2024 J jnl
On the Application of the Calculus of Positively Constructed Formulas for the Study of Controlled Discrete-Event Systems.
Autom. Control. Comput. Sci.
A. V. Davydov, Alexander Larionov, Nadezhda V. Nagul
2022 C conf
On Checking Observability of Formal Languages in DES Control Problems.
CoDIT
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2021 — conf
Modular discrete event systems control based on logic inference.
ICCS-DE
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2021 — conf
Positively Constructed Formulas-Based Approach to Mobile Robot Control Using DES.
MIPRO
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2020 — conf
Logic inference based construction of a supervisor for a discrete event system.
ICCS-DE
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2020 — conf
On Checking Controllability of Specification Languages for DES.
MIPRO
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2020 — conf
The construction of controllable sublanguage of specification for DES via PCFs based inference.
ICCS-DE
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2019 — conf
PCF-based formalization of the parallel composition of automata.
ICCS-DE
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2018 — conf
The formal logic approach for checking the observability of a specification language on DES functioning.
MIPRO
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2017 — conf
On the properties of discrete-event systems with observable states.
MIPRO
Nadezhda V. Nagul
2017 — conf
The formal description of discrete-event systems using positively constructed formulas.
MIPRO
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2016 J jnl
Generating conditions for preserving the properties of controlled discrete event systems.
Autom. Remote. Control.
Nadezhda V. Nagul
2016 — conf
Logical-algebraic equations application in discrete-event systems studying.
MIPRO
Nadezhda V. Nagul