Например, Бобцов

МАТЕМАТИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ СИНТЕЗА ТЕХНОЛОГИЙ И ПЛАНОВ РАБОТЫ КИБЕРФИЗИЧЕСКИХ СИСТЕМ

Аннотация:

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

Ключевые слова:

Статьи в номере