Детальная информация
Название | Обзор применения формальных методов в робототехнике // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2016. – № 1 (236) |
---|---|
Авторы | Мордвинов Дмитрий Александрович ; Литвинов Юрий Викторович |
Организация | Санкт-Петербургский государственный университет ; "Инструменты и методы анализа 2015", научная конференция ; Министерство образования и науки Российской Федерации |
Выходные сведения | Санкт-Петербург: Изд-во Политехн. ун-та, 2016 |
Коллекция | Общая коллекция |
Тематика | Радиоэлектроника ; Искусственный интеллект. Экспертные системы ; робототехника ; роботы ; формальные методы анализа ; формальные методы ; темпоральные логики ; поведение роботов ; робототехнические системы ; сети Петри ; Петри сети ; формализмы ; марковские модели ; динамическая верификация |
УДК | 004.8 |
ББК | 32.813 |
Тип документа | Статья, доклад |
Тип файла | |
Язык | Русский |
DOI | 10.5862/JCSTCS.236.8 |
Права доступа | Свободный доступ из сети Интернет (чтение, печать, копирование) |
Ключ записи | RU\SPSTU\edoc\32278 |
Дата создания записи | 18.08.2016 |
Представлен обзор применения формальных методов в контексте робототехники. Рассмотрены недавние работы, посвященные спецификациям поведения роботов в терминах темпоральных логик, применению идей подхода model checking к таким системам. Также рассмотрено применение формальных методов анализа сетей Петри и моделирования поведения робототехнических систем с их помощью. Отдельное внимание уделено верификации гибридных систем, применению алгебр процессов для спецификации поведения параллельных систем, а также использованию других подходов для верификации и синтеза программ поведения роботов.
This paper is a survey of applying formal methods in the robotics field. We consider a number of recent works on robotic behavior specification in terms of temporal logics and using the model checking approach. Formal analysis techniques for Petri nets and robotics systems modeling using those methods are also considered. Verification of hybrid systems, application of process algebras for concurrent systems and other approaches for synthesis and verification of robotics controllers are described. We survey both fundamental papers that lay a foundation for the entire branches of research and recent papers from the top conferences of the last five years hoping to cover most of the actively developed research topics.
Количество обращений: 777
За последние 30 дней: 16