Статья: ПРИМЕНЕНИЕ МЕТОДОВ СИНТЕЗА СУПЕРВИЗОРА ПРИ ПРОЕКТИРОВАНИИ ДИСКРЕТНО-СОБЫТИЙНОЙ СИСТЕМЫ ГРУППОВОГО УПРАВЛЕНИЯ МОБИЛЬНЫМИ РОБОТАМИ

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