Aleksandr Larionov

11 papers C 2Journal 1Unranked 8
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
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