Проектные процедуры автоматизированного синтеза дискретно-событийных систем группового управления мобильными роботами

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