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

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

Тип публикации: Материал конференции

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

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

Журнал: Тр. XII Всерос. совещания по проблемам управления (ВСПУ-14, Москва, 16-19 июля 2014г.)

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

Номера страниц: 2575-2586

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

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

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

Издательство: ИПУ РАН

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

Адрес издателя: Москва

Название издательства: ИПУ РАН

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

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

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

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

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

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

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