|
Конференция "Инструменты и методы анализа программ - 2015"
Обзор применения формальных методов в робототехнике
Д. А. Мордвинов, Ю. В. Литвинов Санкт-Петербургский государственный университет, математико-механический факультет
Аннотация:
Представлен обзор применения формальных методов в контексте робототехники. Рассмотрены недавние работы, посвященные спецификациям поведения роботов в терминах темпоральных логик, применению идей подхода model checking к таким системам. Также рассмотрено применение формальных методов анализа сетей Петри и моделирования поведения робототехнических систем с их помощью. Отдельное внимание уделено верификации гибридных систем, применению алгебр процессов для спецификации поведения параллельных систем, а также использованию других подходов для верификации и синтеза программ поведения роботов.
Ключевые слова:
формальные методы, робототехника, темпоральные логики, формальная верификация, синтез формальных систем.
Образец цитирования:
Д. А. Мордвинов, Ю. В. Литвинов, “Обзор применения формальных методов в робототехнике”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2016, № 1(236), 84–107
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ntitu148 https://www.mathnet.ru/rus/ntitu/y2016/i1/p84
|
Статистика просмотров: |
Страница аннотации: | 218 | PDF полного текста: | 134 |
|