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

Метод позитивно-образованных формул для управления группой автономных подводных роботов

Авторы: Давыдов А.В., Ларионов А.А., Терехин И.Н.

Журнал: Тр. XII Всерос. совещания по проблемам управления (ВСПУ-14, Москва, 16-19 июля 2014г.)

Том:

Номер:

Год: 2014

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

Издательство: ИПУ РАН

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

URL:

Аннотация: Исчисление позитивно-образованных формул разрабатывалось С.Н. Васильевым и А.К. Жерловым как логическое средство для описания и решения задач планирования и управления. В данном докладе рассматривается дальнейшее развитие исчисления и, на примере, представляется подход к применению логи- ческого вывода для верхнего уровня управления группой автономных подводных роботов.

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

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

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

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

Добавил в систему: