Семинар «Инжиниринг современных информационных систем»

28 июня 2023 г. (среда), 14:00 (10:00 МСК)

Тема:
Моделирование событийно–дискретных систем (на примере задачи регулирования потоков машин с ограничениями)

Докладчик:
Шорников Юрий Владимирович (д. т. н., ИАиЭ СО РАН)

Аннотация: В докладе рассматривается пример использования гибридно-автоматного подхода для моделирования и верификации событийно–дискретных систем. В качестве модельной задачи выбрана задача управления потоками машин через мост (система Rodin).

Ссылка на вебинар для подключения -- https://meet.google.com/iqb-gbix-azj

Страница семинара