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

Применение исчисления позитивно-образованных формул для решения задачи неблокирующего супервизорного управления дискретно-событийными системами

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

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

Авторы: Давыдов А.В., Ларионов А.А., Нагул Н.В.

Журнал: Материалы конф. "Математическая теория управления и ее приложения" (МТУиП-2020, 7–8 октября 2020 г., Санкт-Петербург)

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

Номера страниц: 139-142

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

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

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

Издательство: Центральный научно-исследовательский институт "Электроприбор"

Местоположение издательства: Санкт-Петербург

Адрес издателя: Санкт-Петербург

Название издательства: Центральный научно-исследовательский институт "Электроприбор"

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

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

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

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

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

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

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