Artem Davydov

According to our database, Artem Davydov authored at least 15 papers between 2011 and 2022.

Collaborative distances:

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

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

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

Artem Davydov, Aleksandr Larionov

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

Logic level of control for robot groups using the method of positively constructed formulas.

Artem Davydov

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

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

Positive constructed formulas preprocessing for automatic deduction.

Evgeny A. Cherkashin, Artem Davydov, Alexander Larionov

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

2014

An optimal control module of sustainable natural resources consumption control synthesis for decision support systems.

Evgeny A. Cherkashin, S. Badmatsyrenova, Igor N. Vladimirov, Anastasia K. Popova, A. V. Davydov

Proceedings of the 37th International Convention on Information and Communication Technology, 2014

2011

On the calculus of positively constructed formulas for automated theorem proving.

A. V. Davydov, A. A. Larionov, Evgeny A. Cherkashin

Autom. Control. Comput. Sci., 2011

Theorem proving software, based on method of positively-constructed formulae.

A. A. Larionov, Evgeny A. Cherkashin, A. V. Davydov

Proceedings of the MIPRO, 2011