Конференция "Инструменты и методы анализа программ - 2015"

Обзор применения формальных методов в робототехнике

Д. А. Мордвинов, Ю. В. Литвинов

Санкт-Петербургский государственный университет, математико-механический факультет

Аннотация: Представлен обзор применения формальных методов в контексте робототехники. Рассмотрены недавние работы, посвященные спецификациям поведения роботов в терминах темпоральных логик, применению идей подхода model checking к таким системам. Также рассмотрено применение формальных методов анализа сетей Петри и моделирования поведения робототехнических систем с их помощью. Отдельное внимание уделено верификации гибридных систем, применению алгебр процессов для спецификации поведения параллельных систем, а также использованию других подходов для верификации и синтеза программ поведения роботов.

Ключевые слова: формальные методы, робототехника, темпоральные логики, формальная верификация, синтез формальных систем.

УДК: 51-74

DOI: 10.5862/JCSTCS.236.9