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

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

Издательство:

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

URL:

Проекты:

DOI:

Аннотация: 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: Нет

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