Поиск теоретических подходов для исследования киберфизических систем и сред с интеллектуальным управлением

Р. Н. Абуталипов, А. У. Заммоев, Г. В. Чернышев

Аннотация: В рамках исследований бионаноробототехники актуальной является разработка методологических подходов, интегрирующих междисциплинарные знания. С этой целью предложена архитектурная модель когнитивной инфокоммуникационной системы (КИКС), основанной на принципах доменного моделирования. В работе анализируются возможности применения теории категорий и интуиционистской логики для формализованного описания и предсказания характеристик биоинтегрированных киберфизических систем и сред с интеллектуальным управлением. Предложен метод представления топологической структуры КИКС посредством концепции «предпучка». Для повышения точности и эффективности моделирования рекомендовано использование современных инструментальных средств, таких как гомотопическая теория типов, помощники по доказательству теорем, языки функционального и логического программирования, дискретно-событийные имитационные модели.

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

Для цитирования. Абуталипов Р. Н., Заммоев А. У., Чернышев Г. В. Поиск теоретических подходов для исследования киберфизических систем и сред с интеллектуальным управлением // Известия КабардиноБалкарского научного центра РАН. 2024. Т. 26. № 6. С. 26–44. DOI: 10.35330/1991-6639-2024-26-6-26-44