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

Logic level of control for robot groups using the method of positively constructed formulas

Тип публикации: Материал конференции

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

Авторы: Davydov A.

Журнал: Proc. 41st Intern. Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO 2018)

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

Номера страниц: 979-983

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

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

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

DOI: 10.23919/MIPRO.2018.8400179

Аннотация: The use of the logic calculus of positively-constructed formulas (PCF) for generating plans of actions for groups of underwater robots is considered in this paper. These actions are supposed to be managed by the high level of some control system and plans can be generated in automatic or interactive mode. An example of high-level control implementation for a group of autonomous underwater robots on the basis of formalization of the subject area using the PCFs is presented.

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

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

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

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

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

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