Abstract:
In the context of bionanorobotics research it is important to develop methodological
approaches that integrate interdisciplinary knowledge. For this purpose an architectural model of a
cognitive infocommunication system (CICS) based on the principles of domain modeling is proposed.
The paper analyzes the possibilities of applying category theory and intuitionistic logic for formalized
description and prediction of characteristics of biointegrated cyber-physical systems and environments
with intelligent control. A method for representing the topological structure of CICS using the concept of
a «presheaf» is proposed. To improve the accuracy and efficiency of modeling it is recommended to use
modern tools such as homotopy type theory, theorem proving assistants, functional and logical
programming languages, and discrete-event simulation models.
Keywords:
bionanorobotics, soft robotics, multicells engeneering living systems, category theory,
intuitionistic logic, presheaf, intelligent control, cognitive infocommunication system, cyber-physical
systems and environments, design
Citation:
R. N. Abutalipov, A. U. Zammoev, G. V. Chernyshev, “Search for theoretical approaches to the study
of cyber-physical systems and environments with intelligent control”, News of the Kabardino-Balkarian Scientific Center of the Russian Academy of Sciences, 26:6 (2024), 26–44
\Bibitem{AbuZamChe24}
\by R.~N.~Abutalipov, A.~U.~Zammoev, G.~V.~Chernyshev
\paper Search for theoretical approaches to the study
of cyber-physical systems and environments with intelligent control
\jour News of the Kabardino-Balkarian Scientific Center of the Russian Academy of Sciences
\yr 2024
\vol 26
\issue 6
\pages 26--44
\mathnet{http://mi.mathnet.ru/izkab909}
\crossref{https://doi.org/10.35330/1991-6639-2024-26-6-26-44}
\edn{https://elibrary.ru/CCVAZY}
Linking options:
https://www.mathnet.ru/eng/izkab909
https://www.mathnet.ru/eng/izkab/v26/i6/p26
This publication is cited in the following 1 articles:
Citation in format AMSBIB
Contact us: