Details

Title: Обзор применения формальных методов в робототехнике // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2016. –
Creators: Мордвинов Дмитрий Александрович; Литвинов Юрий Викторович
Organization: Санкт-Петербургский государственный университет; "Инструменты и методы анализа 2015", научная конференция; Министерство образования и науки Российской Федерации
Imprint: Санкт-Петербург: Изд-во Политехн. ун-та, 2016
Collection: Общая коллекция
Subjects: Радиоэлектроника; Искусственный интеллект. Экспертные системы; робототехника; роботы; формальные методы анализа; формальные методы; темпоральные логики; поведение роботов; робототехнические системы; сети Петри; Петри сети; формализмы; марковские модели; динамическая верификация
UDC: 004.8
LBC: 32.813
Document type: Article, report
File type: PDF
Language: Russian
DOI: 10.5862/JCSTCS.236.8
Rights: Свободный доступ из сети Интернет (чтение, печать, копирование)
Record key: RU\SPSTU\edoc\32278

Allowed Actions: Read Download (0.4 Mb)

Group: Anonymous

Network: Internet

Annotation

Представлен обзор применения формальных методов в контексте робототехники. Рассмотрены недавние работы, посвященные спецификациям поведения роботов в терминах темпоральных логик, применению идей подхода 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.

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
-> Internet All Read Print Download

Usage statistics

stat Access count: 646
Last 30 days: 12
Detailed usage statistics