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

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)

Язык публикации: english

Серия книг: CEUR Workshop Proceedings

Том: 2913

Номера страниц: 32-46

Количество страниц: 15

Год публикации: 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: Нет

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

Индексируется УБС: Нет

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

Индексируется ВАК: Нет

Индексируется CORE: Нет