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