25.06.2023
Семинар «Инжиниринг современных информационных систем»
28 июня 2023 г. (среда), 14:00 (10:00 МСК)
Тема:
Моделирование событийно–дискретных систем (на примере задачи регулирования потоков машин с ограничениями)
Докладчик:
Шорников Юрий Владимирович (д. т. н., ИАиЭ СО РАН)
Аннотация: В докладе рассматривается пример использования гибридно-автоматного подхода для моделирования и верификации событийно–дискретных систем. В качестве модельной задачи выбрана задача управления потоками машин через мост (система Rodin).
Ссылка на вебинар для подключения -- https://meet.google.com/iqb-gbix-azj