RUS ENG

< Новые подходы к описанию квазициклических кодов
05.10.2012 08:00 Давность: 8 yrs
Категория: Семинар

Синтез распределенного супервизорного управления в дискретно-событийных системах по LTL спецификации

Алексей Беляев, каф. РВКС, СПбГПУ


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