TY - JOUR AU - Gapanovich, Dmitry Antonovich AU - Sukhomlin, Vladimir Alexandrovich PY - 2022/07/20 TI - Алгебра конечных автоматов как математическая модель цифрового двойника умного производства JF - Современные информационные технологии и ИТ-образование; Том 18 № 2 (2022): Современные информационные технологии и ИТ-образованиеDO - 10.25559/SITITO.18.202202.353-366 KW - N2 - Статья посвящена разработке алгебры конечных автоматов специального вида DTA (Digital Twin Algebra), предназначенной для математического моделирования поведения цифровых двойников производства. Основное внимание уделяется изучению операций композиции де-терминированных конечных автоматов, позволяющих строить модели составных активов из более простых. В алгебру DTA включены как общеизвестные операции, например, операция прямого произведения автоматов и операция суперпозиции автоматов, так и вновь введенные операции, включая: операции группирования конечных автоматов в параллельный блок, груп-пирования иерархической структуры, системной композиции, ассоциации между автоматами, рекурсивного вызова автомата, асинхронного вызова автомата.Предложенныйматематиче-ский аппарат может использоваться для разработки формальных моделей физических активов производства, их цифровых двойников, а также моделей поведения киберфизических систем, включающих как физические, так и виртуальные активы. UR - http://sitito.cs.msu.ru/index.php/SITITO/article/view/852