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

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

Тип публикации: Статья в журнале

Тип материала: Текст

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

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

Язык публикации: russian

Том: 6

Номера страниц: 445-449

Количество страниц: 5

Год публикации: 2015

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

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

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

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

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

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

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

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