Search for theoretical approaches to the study of cyber-physical systems and environments with intelligent control

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.