Nadezhda V. Nagul

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 13

Top Topics

Timed Petri Nets

Partially Observed

Specification Languages

Top Venues

Autom. Remote. Control.

Publications

Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed Formulas. Comput. 12 (5) (2024)
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
On Checking Observability of Formal Languages in DES Control Problems. CoDIT (2022)
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
Modular discrete event systems control based on logic inference. ICCS-DE (2021)
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
Positively Constructed Formulas-Based Approach to Mobile Robot Control Using DES. MIPRO (2021)
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
The construction of controllable sublanguage of specification for DES via PCFs based inference. ICCS-DE (2020)
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
On Checking Controllability of Specification Languages for DES. MIPRO (2020)
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
Logic inference based construction of a supervisor for a discrete event system. ICCS-DE (2020)
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
PCF-based formalization of the parallel composition of automata. ICCS-DE (2019)
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
The formal logic approach for checking the observability of a specification language on DES functioning. MIPRO (2018)
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
The formal description of discrete-event systems using positively constructed formulas. MIPRO (2017)
Nadezhda V. Nagul
On the properties of discrete-event systems with observable states. MIPRO (2017)
Nadezhda V. Nagul
Logical-algebraic equations application in discrete-event systems studying. MIPRO (2016)
Nadezhda V. Nagul
Generating conditions for preserving the properties of controlled discrete event systems. Autom. Remote. Control. 77 (4) (2016)