Search for theoretical approaches to the studyo of cyber-physical systems and environments with intelligent control
R.N. Abutalipov, A.U. Zammoev, G.V. Chernyshev
Upload the full text
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
For citation. Abutalipov R.N., Zammoev A.U., Chernyshev G.V. Search for theoretical approaches to the study of cyber-physical systems and environments with intelligent control. News of the Kabardino-Balkarian Scientific Center of RAS. 2024. Vol. 26. No. 6. Pp. 26–44. DOI: 10.35330/1991-6639-2024-26-6-26-44