By this author

Algebraic Methods of Model Synthesis Based on the Graphical Representation of Automata

Issue number 1 from 01.01.2025

Рассматриваются вопросы моделирования объектов и систем на основе графического представления автоматов с использованием алгебраических методов. Решается задача синтеза автоматов на основе построения алгебры их графоидов. С этой целью существующие операции над автоматами переносятся на их графоиды. С учетом дополнительных требований, которые могут возникать при анализе предметной области, вводятся новые операции. Тем самым определяется алгебра графоидов автоматов, позволяющая осуществлять синтез графоидов автоматных моделей с помощью предложенного авторами алгоритма. Доказываются утверждения, подтверждающие корректность этого алгоритма. Рассматривается численный пример синтеза графоида автоматной модели совместного действия функциональных групп в зоне чрезвычайной ситуации.

39 0