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

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

Том: 27

Номер: 5

Год: 2022

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

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

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

URL:

Проекты:

Разработка методов анализа и синтеза систем управления группировками автономных роботов на основе событий

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: Нет

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