Страница публикации
Метод позитивно-образованных формул для управления группой автономных подводных роботов
Авторы: Давыдов А.В., Ларионов А.А., Терехин И.Н.
Журнал: Тр. XII Всерос. совещания по проблемам управления (ВСПУ-14, Москва, 16-19 июля 2014г.)
Том:
Номер:
Год: 2014
Отчётный год: 2014
Издательство: ИПУ РАН
Местоположение издательства: Москва
URL:
Аннотация: Исчисление позитивно-образованных формул разрабатывалось С.Н. Васильевым и А.К. Жерловым как логическое средство для описания и решения задач планирования и управления. В данном докладе рассматривается дальнейшее развитие исчисления и, на примере, представляется подход к применению логи- ческого вывода для верхнего уровня управления группой автономных подводных роботов.
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 1
Публикация в печати: 0
Добавил в систему: