Детальная информация

Мордвинов, Дмитрий Александрович. Обзор применения формальных методов в робототехнике [Электронный ресурс] = Survey on formal methods in robotics / Д. А. Мордвинов, Ю. В. Литвинов. — Электрон. текстовые дан. (1 файл : 429 КБ) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2016. – № 1 (236) [Электронный ресурс]. — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/j16-239.pdf>. — <URL:http://doi.org/10.5862/JCSTCS.236.8>.

Дата создания записи: 8/18/2016

Тематика: Радиоэлектроника; Искусственный интеллект. Экспертные системы; робототехника; роботы; формальные методы анализа; формальные методы; темпоральные логики; поведение роботов; робототехнические системы; сети Петри; Петри сети; формализмы; марковские модели; динамическая верификация

УДК: 004.8

ББК: 32.813

Коллекции: Общая коллекция

Ссылки: DOI

Разрешенные действия: Прочитать Загрузить (0.4 Mb) You need Flash Player to read document

Группа: Anonymous

Сеть: Internet

Аннотация

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

Права на использование объекта хранения

Место доступа Группа пользователей Действие
FL SPbPU Local Network All Прочитать Печать Загрузить
-> Internet All Прочитать Печать Загрузить

Статистика использования документа

stat Количество обращений: 329
За последние 30 дней: 1
Подробная статистика