Шалыто
Анатолий
Абрамович

д.т.н., профессор, заведующий кафедрой технологии программирования СПбГУ ИТМО

Автоматное управление, эволюционные алгоритмы, верификация на моделях

Большинство ответственных технических систем являются событийными, а используемое в них управление является автоматным. Для таких систем может осуществляться ко-дизайн – поведение как аппаратной. так и программной части может быть описано с помощью автоматов. Автоматы могут быть либо построены эвристически, либо выращены с помощью эволюционных алгоритмов. Программы, реализующие поведение рассматриваемого класса систем, называются автоматными. Такие программы могут быть эффективно верифицированы на основе метода Model Checking.

Если хотите выступить в этой секции (на этом семинаре), то напишите письмо с тезисами своего выступления:

Цель и название

Инициаторы

Место проведения

График работы

Научная программа

Секции-семинары

Публикации и сроки

Оформление тезисов

Контест

Программный комитет

Оргкомитет

Документы

Оптимизация затрат

Адреса и телефоны

Отчёты о работе

Булычев Д.Ю.

Бурова И.Г.

Вяткина К.В.

Герасимов М.А.

Граничин О.Н.

Демьянович Ю.К.

Кириленко Я.А.

Косовский Н.К.

Крук Е.А.

Леонов Г.А.

Лучин Р.М.

Матвеев А.С.

Молдовян А.А.

Нестеров В.М.

Новиков Б.А.

Сафонов В.О.

Суворов В.А.

Терехов А.Н.

Тимофеев А.В.

Фахрутдинов Р.Ш.

Фёдоров А.Р.

Фрадков А.Л.

Шалыто А.А.