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

On events processing in a formal logical approach to control of discrete event systems

Тип публикации: Статья в журнале

Тип материала: Текст

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

Журнал: Computational Technologies

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

Том: 27

Номера страниц: 89-100

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

Номер: 5

Год публикации: 2022

Отчетный год: 2022

DOI: 10.25743/ICT.2022.27.5.009

Аннотация: The paper provides an insight into the control of automata-based discrete event systems with the help of the calculus of positively constructed formulas. It is shown how the knowledge available in the system may be exploited during the inference of such formulas for events processing and supervisor implementation. The approach described may be applied at different levels of a robot or a robot group control system. As an illustration, the problem of mobile robots pushing a block to a target area is considered

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

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

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

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

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

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