Artem Davydov

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 13

Top Topics

Timed Petri Nets

Partially Observed

Specification Language

Top Venues

Publications

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