Семинар НУЛ ПОИС "Синтез супервизоров (Supervisor synthesis)"

23 сентября в 18:10 пройдет семинар научно-учебной лаборатории процессно-ориентированных информационных систем 

"Синтез супервизоров (Supervisor synthesis)"

Докладчик – Юрий Глебович Карпов, профессор Санкт-Петербургского Политехнического университета.

Аннотация. В докладе будет рассмотрен сравнительно новый метод построения системы управления, обеспечивающей координированное поведение нескольких процессов, специфицированных в виде дискретных систем переходов с конечным числом состояний, управляемых событиями.

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

Метод впервые описан около 30 лет назад:

P. Ramadge and W. M. Wonham, “The control of discrete event systems,” Proceedings of the IEEE, vol. 77, no. 1, pp. 81–98, 1989.

Лекция будет прочитана в рамках курса «Модальные логики и многоагентные системы», который проходит в МИЭМ (Таллинская, 34) по вторникам, с 16:40 до 19:30 (аудитория 506, начало занятий с 17.09). В данном курсе основные идеи модальных логик и некоторые практические их результаты будут рассматриваться с точки зрения их приложения к решению важных проблем анализа и синтеза многоагентных систем искусственного интеллекта.

Покровский бульвар, 11, корпус D, аудитория D502.
Время проведения: 18:10-19:30.

Студентам, преподавателям и сотрудникам вход свободный.
Для заказа разовых пропусков просьба обращаться к менеджеру лаборатории Ксении Жеребцовой по адресу kzherebczova@hse.ru