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

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

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

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

Том:

Номер:

Год: 2020

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

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

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

URL:

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

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

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

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

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

Добавил в систему: