Страница публикации

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

Авторы: Нагул Н.В.

Журнал: Технические проблемы освоения Мирового океана

Том: 6

Номер:

Год: 2015

Отчётный год: 2015

Издательство:

Местоположение издательства:

URL:

Проекты:

DOI:

Аннотация: Одной из основных проблем теории супервизорного управления дискретно-событийными системами является возрастание размерности при построении супервизоров на основе модели системы и спецификации на ее требуемое поведение. При применении редуцирующих алгоритмов требуется обеспечить сохранение желательных свойств супервизоров. В докладе показано, как метод логико-алгебраических уравнений, позволяющий в терминах морфизмов алгебраических систем,к которым предварительно сводятся исследуемые системы, генерировать условия сохранения свойств, применяется в задачах редукции, возникающих в теории ДСС. Показано сохранение основных свойств супервизора при его упрощении, а такжекак исследование ДСС с наблюдаемыми состояниями может быть сведено к исследованию систем, где частично наблюдаемы только события.

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет

Публикация в печати: 0