Artem Davydov

13 papers C 2Journal 1Unranked 10
YearRankTypeTitle / Venue / Authors
2024 J jnl
Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed Formulas.
Comput.
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2022 C conf
On Checking Observability of Formal Languages in DES Control Problems.
CoDIT
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2021 — conf
Modular discrete event systems control based on logic inference.
ICCS-DE
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2021 — conf
Positively Constructed Formulas-Based Approach to Mobile Robot Control Using DES.
MIPRO
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2020 C conf
Action Planning for Robots using the First Order Logic Calculus of Positively Constructed Formulas.
CoDIT
Artem Davydov, Aleksandr Larionov
2020 — conf
Logic inference based construction of a supervisor for a discrete event system.
ICCS-DE
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2020 — conf
On Checking Controllability of Specification Languages for DES.
MIPRO
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2020 — conf
The construction of controllable sublanguage of specification for DES via PCFs based inference.
ICCS-DE
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2019 — conf
PCF-based formalization of the parallel composition of automata.
ICCS-DE
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2018 — conf
Logic level of control for robot groups using the method of positively constructed formulas.
MIPRO
Artem Davydov
2018 — conf
The formal logic approach for checking the observability of a specification language on DES functioning.
MIPRO
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2017 — conf
The formal description of discrete-event systems using positively constructed formulas.
MIPRO
Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul
2016 — conf
Positive constructed formulas preprocessing for automatic deduction.
MIPRO
Evgeny A. Cherkashin, Artem Davydov, Alexander Larionov