Nadezhda V. Nagul

Proceedings of the 8th International Conference on Control, 2022

2021

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

[BibT_eX]

[DOI]

Proceedings of the 44th International Convention on Information, 2021

Modular discrete event systems control based on logic inference.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Information, 2021

2020

On Checking Controllability of Specification Languages for DES.

[BibT_eX]

[DOI]

Proceedings of the 43rd International Convention on Information, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Information, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Information, 2020

2019

PCF-based formalization of the parallel composition of automata.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2017

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2016

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

[BibT_eX]

[DOI]

Autom. Remote. Control., 2016

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

[BibT_eX]

[DOI]