Nadezhda V. Nagul

According to our database, Nadezhda V. Nagul authored at least 13 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of seven.

2024

Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed Formulas.

Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul

Comput., May, 2024

2022

On Checking Observability of Formal Languages in DES Control Problems.

Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul

Proceedings of the 8th International Conference on Control, 2022

2021

Positively Constructed Formulas-Based Approach to Mobile Robot Control Using DES.

Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul

Proceedings of the 44th International Convention on Information, 2021

Modular discrete event systems control based on logic inference.

Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul

Proceedings of the 3rd International Workshop on Information, 2021

2020

On Checking Controllability of Specification Languages for DES.

Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul

Proceedings of the 43rd International Convention on Information, 2020

The construction of controllable sublanguage of specification for DES via PCFs based inference.

Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul

Proceedings of the 2nd International Workshop on Information, 2020

Logic inference based construction of a supervisor for a discrete event system.

Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul

Proceedings of the 2nd International Workshop on Information, 2020

2019

PCF-based formalization of the parallel composition of automata.

Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul

Proceedings of the 1st International Workshop on Information, 2019

2018

The formal logic approach for checking the observability of a specification language on DES functioning.

Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul

Proceedings of the 41st International Convention on Information and Communication Technology, 2018

2017

On the properties of discrete-event systems with observable states.

Nadezhda V. Nagul

Proceedings of the 40th International Convention on Information and Communication Technology, 2017

The formal description of discrete-event systems using positively constructed formulas.

Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul

Proceedings of the 40th International Convention on Information and Communication Technology, 2017

2016

Generating conditions for preserving the properties of controlled discrete event systems.

Nadezhda V. Nagul

Autom. Remote. Control., 2016

Logical-algebraic equations application in discrete-event systems studying.

Nadezhda V. Nagul

Proceedings of the 39th International Convention on Information and Communication Technology, 2016