Aleksandr Larionov

Comput., May, 2024

2022

On Checking Observability of Formal Languages in DES Control Problems.

[BibT_eX]

[DOI]

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

Action Planning for Robots using the First Order Logic Calculus of Positively Constructed Formulas.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Control, 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

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

[BibT_eX]

[DOI]