Использование автоматного программирования для построения систем управления мобильными роботами В. О. Клебан, А. А. Шалыто Кафедра компьютерных технологий.

Презентация:



Advertisements
Похожие презентации
Применение автоматного программирования во встраиваемых системах В. О. Клебан, А. А. Шалыто Санкт-Петербургский государственный университет информационных.
Advertisements

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механики и оптики 2009 г.
Виртуальная лаборатория для первоначального обучения проектированию программ Н. Н. Красильников, В. Г. Парфенов, Ф. Н. Царев, А. А. Шалыто Кафедра компьютерных.
1 Метод сокращенных таблиц для генерации автоматов с большим числом входных воздействий Автор Научный руководитель В. Н. Точилин А. А. Шалыто Санкт-Петербургский.
Введение в автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механики и оптики 2009 г.
Докладчик: Бульёнов А. В., аспирант Научный руководитель: Шалыто А. А., д. т. н., профессор, зав. кафедрой КТ Методы автоматного программирования в разработке.
Применение метода представления функции переходов с помощью абстрактных конечных автоматов в генетическом программировании Царев Ф. Н. Научный руководитель.
Обзор маршрутов проектирования прикладного программного обеспечения для ПЛИС/ASIC/SoC на основе языков С/С++ Аспирант: Колесников Е.И. Научный руководитель:
Верификация автоматных программ Г. А. Корнеев А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механики и оптики.
Применение генетического программирования для реализации систем со сложным поведением Санкт-Петербургский Государственный Университет Информационных Технологий,
Нейро-автоматное управление в машинном обучении Выполнил: Губин Ю.А. ст. гр Руководитель: Шалыто А.А. д.т.н, проф., зав. каф. ТП, СПбГУ ИТМО.
Технология верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода Руководитель проекта – А. А. Шалыто Докладчик.
«Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами» Санкт-Петербург 2010 Алексеев. С. А. гр Научный руководитель:
Генерация вероятностных автоматов методами Reinforcement Learning Выполнил: Иринёв А. В. Руководитель: Шалыто А. А.
Движение за открытую проектную документацию Анатолий Шалыто Кафедра Компьютерные технологии Санкт-Петербургский государственный университет.
Автоматное программирование А.А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механики и оптики 2007 г.
Linux Summit 2004, Хельсинки Движение за открытую проектную документацию Анатолий Шалыто Кафедра Компьютерные технологии Санкт-Петербургский.
Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования» Научный руководитель Шалыто А. А. Кафедра компьютерных технологий Кафедра.
Графическая нотация наследования автоматных классов Данил Шопырин ЗАО «Транзас Технологии» Анатолий Шалыто СПбГУ ИТМО.
Текстовый язык автоматного программирования В. С. Гуров, М. А. Мазин, А. А. Шалыто.
Транксрипт:

Использование автоматного программирования для построения систем управления мобильными роботами В. О. Клебан, А. А. Шалыто Кафедра компьютерных технологий Санкт-Петербургского государственного университета информационных технологий, механики и оптики

2 Введение Парадигма автоматного программирования состоит в представлении программ как систем автоматизированных объектов.

3 Задача Рассмотрим в качестве примера применения автоматного программирования проектирование модуля свободного движения мобильного мини- робота КВАРК-М.

4 Дальномер Граф переходов автомата управления поворотным столом A-Rangefinder

5 Дальномер

6 Двигатели A-Path A-Motor

7 Расчетный модуль

8 Программирование всех уровней системы выполнялось на основе автоматного подхода. При этом на верхнем уровне применялось три автомата, на среднем – пять, а на нижнем – одиннадцать (два из них – гибридные, а четыре – однотипные). При помощи гибридных автоматов осуществляется контроль и управление скоростью вращения гусениц (используется пять законов непрерывного управления). Результаты

9 Реализация UniMod – исполняемый UML MetaAuto, средство преобразования диаграмм в исходные коды

10 Спасибо за внимание