RAS Energy, Mechanics & ControlАвтоматика и телемеханика Automation and Remote Control

  • ISSN (Print) 0005-2310
  • ISSN (Online) 2413-9777

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

PII
10.31857/S0005231025010073-1
DOI
10.31857/S0005231025010073
Publication type
Article
Status
Published
Authors
Volume/ Edition
Volume / Issue number 1
Pages
114-130
Abstract
Рассматриваются вопросы моделирования объектов и систем на основе графического представления автоматов с использованием алгебраических методов. Решается задача синтеза автоматов на основе построения алгебры их графоидов. С этой целью существующие операции над автоматами переносятся на их графоиды. С учетом дополнительных требований, которые могут возникать при анализе предметной области, вводятся новые операции. Тем самым определяется алгебра графоидов автоматов, позволяющая осуществлять синтез графоидов автоматных моделей с помощью предложенного авторами алгоритма. Доказываются утверждения, подтверждающие корректность этого алгоритма. Рассматривается численный пример синтеза графоида автоматной модели совместного действия функциональных групп в зоне чрезвычайной ситуации.
Keywords
Date of publication
01.01.2025
Year of publication
2025
Number of purchasers
0
Views
13

References

  1. 1. Калман Р.Э., ФалбП.Л., АрбибМ.А. Очерки по математической теории систем. Пер. с англ. Наппельбаума Э.Л. Под ред. Цыпкина Я.З. М.: Едиториал УРСС, 2004. 400 с.
  2. 2. Сысоев В.В., Меньших В.В., Солодуха Р.А., Забияко С.В. Исследование взаимодействий в сети конечных детерминированных автоматов // Радиотехника. 2000. № 9. С. 65–67.
  3. 3. Меньших В.В., Никитенко В.А. Численный метод агрегирования автоматных моделей с использованием алгебраических операций над автоматами // Проблемы управления. 2023. № 6. С. 66–75.
  4. 4. Гапанович Д.А., Сухомлин В.А. Алгебра конечных автоматов как математическая модель цифрового двойника умного производства // Современные информационные технологии и ИТ-образование. 2022. Т. 18. № 2. С. 353–366.
  5. 5. Гапанович Д.А., Сухомлин В.А. Моделирование функционирования шахты средствами алгебры конечных автоматов DTA // Современные информационные технологии и ИТ-образование. 2022. Т. 18. № 3. С. 634–643.
  6. 6. Volkova K.M. Conducting a synthesis of a digital automaton for an automated firefighting system // Bulletin of the South Ural State University. Series: Computer Technologies, Automatic Control, Radio Electronics. 2021. Vol. 21. No. 1. P. 49–58.
  7. 7. Широкова Е.В., Евтушенко Н.В. Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений // Современная наука: актуальные проблемы теории и практики. Сер.: Естеств. и техн. науки. 2023. № 8. С. 143–150.
  8. 8. Соловьев В.В. Синтез быстрых конечных автоматов на программируемых логических интегральных схемах путем расщепления внутренних состояний // Изв. РАН. Теория и системы управления. 2022. № 3. С. 69–80.
  9. 9. Меньших В.В., Корчагин А.В. Структурные модели взаимодействия подразделений силовых ведомств при возникновении чрезвычайных ситуаций техногенного характера // Тр. Академии управления МВД России. 2015. № 2(34). С. 54–58.
  10. 10. Меньших В.В., Самороковский А.Ф., Середа Е.Н., Горлов В.В. Моделирование коллективных действий сотрудников органов внутренних дел. Воронеж: Воронеж. ин-т МВД РФ, 2017. 236 с.
  11. 11. Меньших В.В., Горлов В.В., Никитенко В.А. Учет синергетических эффектов при композиции автоматных моделей действий подразделений силовых ведомств, участвующих в ликвидации чрезвычайных обстоятельств // Вестн. Воронеж. ин-та МВД России. 2023. № 2. С. 60–68.
  12. 12. Harmanis J., Stearns R. Algebraic structure theory of sequential machines. N.-Y.: Prentice-Hall Inc., 1966. 211 p.
  13. 13. Villa T., Yevtushenko N., Brayton R.K., Mishchenko A., Petrenko A., Sangiovanni Vincentelli A.L. The unknown component problem: theory and applications. Springer, 2012. 311 p.
  14. 14. Горбатов В.А. Фундаментальные основы дискретной математики. Информационная математика. М.: Наука. Физматлит, 2000. 544 с.
  15. 15. Мелихов А.Н. Ориентированные графы и конечные автоматы. М.: Наука, 1971. 416 с.
QR
Translate

Индексирование

Scopus

Scopus

Scopus

Crossref

Scopus

Higher Attestation Commission

At the Ministry of Education and Science of the Russian Federation

Scopus

Scientific Electronic Library