Страница публикации

Modular discrete event systems control based on logic inference

Авторы: Davydov A., Larionov A., Nagul N.

Журнал: CEUR Workshop Proceedings: 3rd Intern. Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2021 (Irkutsk, 5-9 July 2021)

Том: 2913


Год: 2021

Отчётный год: 2021


Местоположение издательства:


Аннотация: The paper illustrates an application of the recently developed method of dealing with controlled automata-based discrete event systems with the help of logical inference. The method based on the calculus of positively constructed formulas is extended on the case of systems built out of sets of modules. Specifications restricting system behavior are also supposed to be modular. Due to the special features of the calculus of positively constructed formulas, it may be applied at the upper level of a robot group control system. The case study of mobile robots pushing a block to a target area is considered.

Индексируется WOS: 0

Индексируется Scopus: 1

Индексируется РИНЦ: 0

Публикация в печати: 0

Добавил в систему: