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

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

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

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

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

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

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

Номера страниц: 3960-3967

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

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

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

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

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

Адрес издателя: Москва

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

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

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

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

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

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

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

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